Software Assurance            Software Hardening            Autonomic Computing
Reducing Risk and Costs of DO-178B and DO-178C Certification with Static Analysis

INTRODUCTION:

DO-178C – “Software Considerations in Airborne Systems and Equipment Certification” – provides production...

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...

The Cyber Grand Challenge

Introduction

Several of us at GrammaTech, along with many talented people from UVA, recently participated in DARPA's Cyber...