[Back]

V. Pavlu, M. Schordan:
"Measuring Shape Analysis Precision";
Poster: Junior Scientist Conference 2010, Vienna; 2010-04-07 - 2010-04-09; in: "Junior Scientist Conference 2010", (2010), ISBN: 978-3-200-01797-9; 75 - 76.

Shape analysis is a static program analysis technique for discovering properties of heap-allocated data structures. It is crucial to finding software bugs or to verify high-level correctness properties. Various analyses have been introduced but their relation in terms of precision often remains unclear as different analyses use different abstractions of the heap.
The aim of our work is to compare the precision of shape analyses. We propose a novel algorithm based on three-valued logic that extracts alias sets from shape graphs. Smaller sets are more precise and indicate a more precise underlying shape analysis. Using this metric, we experimentally compare - for the first time - the relative quality of the state-of-the-art graph-based shape analyses and make recommendations concerning the combination of analysis parameters.

shape analyse, evaluation, precision, alias analysis

http://publik.tuwien.ac.at/files/PubDat_185441.pdf

Project Head Andreas Krall:
Optimale Code Erzeugung für explizit parallele Prozessoren