Software Assurance            Software Hardening            Autonomic Computing
Don’t trust any input! Prevent vulnerabilities from becoming exploits with tainted data analysis

INTRODUCTION:

One of the most common attack vectors is user (or other) input into a system. It's very risky to...

Advanced Driver Assistance, Safety, and Static Analysis
INTRODUCTION:

Advanced Driver Assistance Systems (ADAS) are a key area of innovation in automotive electronics, but their...

How Static Analysis Improves Safety and Security for Multicore Platforms

INTRODUCTION:

Multicore processors are ubiquitous in embedded devices but still pose a challenge for developing...

Is Your Codebase Too Male?

CodeSonar’s users can sometimes come up with very interesting code properties to check. Last week I had a conversation with...

An Ounce of Prevention: Software hardening for securing IoT devices

INTRODUCTION:

Every IoT and embedded device manufacturer endeavors to field secure and safe products. However, even with the...