Software Assurance            Software Hardening            Autonomic Computing
Accelerating Automotive Software Safety with MISRA and Static Analysis

INTRODUCTION:

The MISRA C/C++ coding guidelines were created based on concerns about the ability to safely use the C and C++...

The Minefields of MISRA Coverage

INTRODUCTION:

Modern static analysis tools are typically used for two main purposes: finding bugs, and finding violations...

The Advantages of Hybrid Source and Binary Static Analysis

INTRODUCTION:

GrammaTech brought unique binary code analysis to the market in 2013. Before then, the only option for binary...

CodeSonar for JIRA (Plugin)

I'm pleased to inform the masses of our new integration plugin designed to work with CodeSonar and Atlassian JIRA Server...

Static Analysis, Safety-Critical Railway Software, and EN 50128

INTRODUCTION:

Transportation systems and, in particular, railway systems, are growing markets that increasingly rely on...