Software Assurance            Software Hardening            Autonomic Computing
Human Factors in Evaluating Static Analysis Tools

INTRODUCTION:

Advanced static analysis tools are popular because they have proven effective at finding serious programming...

The Minefields of MISRA Coverage

INTRODUCTION:

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

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

How Software Quality Threatens the Success of the Internet of Things

The Nest is a highly innovative, electronic smart home thermostat manufactured by Alphabet (formerly Google). It is by all...

Using Benchmarks to Assess Static Analysis Tools

Researchers from Toyota recently published a paper entitled "Test Suites for Benchmarks of " at the 26th...