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 Role of Static Analysis in a Secure Software Development Lifecycle

INTRODUCTION:

"When should static analysis be applied?" The answer to this question is fairly straightforward: "whenever...

The Advantages of Hybrid Source and Binary Static Analysis

INTRODUCTION:

GrammaTech brought unique binary code analysis to the market in 2013. Before then, the only option for binary...

Static Analysis, Safety-Critical Railway Software, and EN 50128

INTRODUCTION:

Transportation systems and, in particular, railway systems, are growing markets that increasingly rely on...

Using Static Analysis to Improve IIoT Device Security

INTRODUCTION:

The Industrial Internet of Things is unique in that devices that compose industrial control systems are often...