Mar 15, 2016: Ansgar Fehnker: Static program analysis with Goanna

March 15, 2016Static program analysis with Goanna
Room: HB 2FAnsgar Fehnker

In this talk I'll give an overview of the technologies underpinning the commercial C/C
program analyzer Goanna and we share some of the experiences in applying these technologies
to large industrial code bases. In particular, we highlight the core technologies of model
checking, abstract interpretation and SMT-based automatic trace refinement as well as their
interplay within the Goanna tool.