Beitrag zur Bewertungsmethodik auf der ISSTA'24 angenommen
In "Total Recall? How Good are Static Call Graphs Really?" entwickeln wir eine neue Methodik für Benchmarks.
Die Erstellung eines statischen Aufrufgraphen ist ein grundlegender Baustein der statischen Programmanalyse. Viele andere Analysen basieren auf dem resultierenden Aufrufgraphen und erben direkt dessen Ungenauigkeiten und Fehler. Daher sollte ein möglichst präziser und vollständiger Aufrufgraph das Ziel dieses Schrittes sein. In der Praxis ist es jedoch nicht so einfach, die Ergebnisse der Aufrufgraphengenerierung zu bewerten, insbesondere unter realistischen Bedingungen.
In unserer neuen Veröffentlichung "Total Recall? How Good are Static Call Graphs Really?", die gerade auf dem ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) angenommen wurde, konstruieren wir dynamische Baselines, die einen realistischen Aufrufgraphen für einen bestimmten Einstiegspunkt zeigen. Dies ermöglicht uns, die Qualität der statischen Aufrufgraphenkonstruktion zu untersuchen. Das Papier ist eine Zusammenarbeit mit der Software Technology Group von Prof. Mira Mezini an der TU Darmstadt.
Das ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) ist das führende Forschungssymposium zum Thema Softwaretest und -analyse. Es bringt Akademiker, Forscher aus der Industrie und Praktiker zusammen, um neue Ideen, Probleme und Erfahrungen bei der Analyse und dem Test von Softwaresystemen auszutauschen. Es hat ein CORE-Ranking von A.
Total Recall? How Good are Static Call Graphs Really?
Dominik Helm, Sven Keidel, Anemone Kampkötter, Johannes Düsing, Tobias Roth, Ben Hermann, Mira Mezini
In Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2024).
DOI: https://doi.org/10.1145/3650212.3652114
Artifact: https://doi.org/10.5281/zenodo.10888532
- Preprint PDF (1 MB)