Software Assurance            Software Hardening            Autonomic Computing
VDC finds IoT fueling faster software development but with greater requirements for security protection

INTRODUCTION:

VDC’s recent report “Software Assembly Practices Necessitate More Precautions” highlights a significant...

Finding Bugs is Only the Beginning

I sometimes describe our main commercial product, CodeSonar, as a “defect detection tool.” While this is a convenient...

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

The Minefields of MISRA Coverage

INTRODUCTION:

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

Understanding DARPA's Cyber Grand Challenge: Laundromat Edition

Team TechX won second place in the DARPA Cyber Grand Challenge (CGC) last week. TechX is a collaboration between GrammaTech...