MISRA C:2012 Rule 1.3 and the Dark Underbelly of C and C++

MISRA C is a set of guidelines for the safe use of the C programming language mainly targeted for its use in safety-critical...

How to Configure GrammaTech CodeSonar to Support Your Work from Home Environment

These are unusual times for businesses around the world and the people that work in them. All of a sudden, we have all the...

GrammaTech CodeSonar Analysis of a bug in wolfSSL

WolfSSL is a lightweight, portable, and embedded SSL/TLS library. Written in C it’s 20 times smaller than OpenSSL. The code...

The Role of Static Analysis in the EU Medical Devices Regulation (MDR)

The move to digitization and automation is happening in the medical industry as it is in others – almost every medical...

Bug-Injector Research Receives IEEE SCAM 2019 Distinguished Paper

During the International Working Conference on Source Code Analysis & Manipulation (SCAM), a GrammaTech research publication...