Software Assurance            Software Hardening            Autonomic Computing
Domain Specific and Custom Error Checking in Advanced Static Analysis Tools

INTRODUCTION:

Static analysis tools ship with a default set of error checkers that cover the most common and important...

Enhancing Code Reviews with Static Analysis

INTRODUCTION:

Code reviews (or inspections) are an effective way to reduce defects in software projects. In fact, defect...

Managing Third-Party Code Security and Quality with Binary Analysis

INTRODUCTION:

According to VDC Research, 45% of embedded projects involve outsourcing product development. The use of...

Automated Binary Code Analysis for Software Forensics

INTRODUCTION:

In my last post, I talked about extending the term software forensics to include any investigation of...