Software Assurance            Software Hardening            Autonomic Computing
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...

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