Coming out of the niche?

Abstract

The strongest successes of static analysis so far have been, on the one hand, sound analysis on safety-critical embedded systems, a rather niche market, on the other hand static analysis for finding bugs in more ordinary programs. Can the gap be bridged? 
View Slides

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics