Cyber Grand Challenge at the Smithsonian

The Cyber Grand Challenge was created by DARPA (Defense Advanced Research Projects Agency) to advance the state of security...

Domain Specific and Custom Error Checking in Advanced Static Analysis Tools

INTRODUCTION:

Static analysis tools ship with a default set of error checkers that cover the most common and important types...

Software Supply Chain: Risk and Reward

INTRODUCTION:

The recent interest in the so called “software supply chain” highlights the growing importance of using and...

Reduce Development Cost with Increased Defect Removal Rates

INTRODUCTION:

Inspections including code reviews have excellent return on investment. For example, one hour spent in...

How to Use Static Analysis to Improve NERC Critical Infrastructure Protection Compliance

INTRODUCTION:

Securing connected industrial control systems (ICS) or Supervisory Control and Data Acquisition (SCADA) for use...