Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
V. Pavlu, M. Schordan:
"Measuring Shape Analysis Precision";
Poster: Junior Scientist Conference 2010,
Vienna;
07.04.2010
- 09.04.2010; in: "Junior Scientist Conference 2010",
(2010),
ISBN: 978-3-200-01797-9;
S. 75
- 76.
Kurzfassung englisch:
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.
Schlagworte:
shape analyse, evaluation, precision, alias analysis
Elektronische Version der Publikation:
http://publik.tuwien.ac.at/files/PubDat_185441.pdf
Zugeordnete Projekte:
Projektleitung Andreas Krall:
Optimale Code Erzeugung für explizit parallele Prozessoren
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.