Software Assurance            Software Hardening            Autonomic Computing
The Role of Static Analysis in ISA/IEC 62443 Secure Product Development Lifecycle


The ISA/IEC 62443 standard (formerly ISA 99) is a set of process standards for secure development of products...

GrammaTech CodeSonar for Binary Code

Beyond Static Source Analysis

Thwarting Insider Attacks with Advanced Static Analysis


The security threat posed by insiders is often underestimated. According to an IBM study, 32% of attackers...

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


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