[Back]

A. Prantl, J. Knoop, M Schordan:
"Persistent Analysis Results";
Talk: 26. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte", Bad Honnef; 2009-05-04 - 2009-05-06; in: "Programmiersprachen und Rechenkonzepte", Technischer Bericht des Instituts für Informatik der Christian-Albrechts Universität zu Kiel, 0811 / Kiel (2009), 12 pages.

In this article we propose a new approach for storing the results of static program analyses to make them persistent and accessible for future use by both application programmers and tools. There are two key ideas. First, to attach the analysis results to the source code instead of the intermediate representation or the control-flow graph; we call this behaviour-carrying code. Second, to prepare this code to make analysis results automatically checkable by both static and dynamic verifiers. This opens up multiple new applications for program and tool development for compiler developers and more generally software engineers.

The approach has been implemented in the SATIrE source-to-source analysis framework using the Termite program transformation library. First experiments show encouraging results and proved already valuable to increase the quality of analyzer implementations.

Static program analysis, BCC, SATIrE, Termite, source-to-source