Arbeit zu Modularer Statischer Analyse auf ASE '23 veröffentlicht

Unser Forschungspapier Persisting and Reusing Results of Static Program Analyses on a Large Scale wurde auf der ASE 2023 in Luxemburg angenommen. In unserer Arbeit untersuchen wir 40 aktuelle Implementierungen statischer Programmanalysen (SPAs) hinsichtlich des Formats und der Semantik ihrer Ergebnisse. Wir stellen fest, dass zwar immer mehr Analysen modular aufgebaut sind - und daher von der Verwendung von Teilergebnissen oder vorberechneten Ergebnissen profitieren würden - in der Praxis solche Ergebnisse jedoch selten dokumentiert oder gar aufbewahrt werden. Um dieses Problem anzugehen, schlagen wir SPARRI vor, ein neuartiges Werkzeug für die Veröffentlichung, Wiederverwendung und Indizierung von Ergebnissen von SPAs in einem einheitlichen, erklärbaren Ergebnisformat. SPARRI bietet eingebaute Funktionen zur Referenzierung von Software-Artefakten, die sich auf Maven Central befinden, ist aber erweiterbar, um beliebige Ökosysteme und Repositories zu unterstützen. Unsere Evaluierung von SPARRI zeigt, dass die Wiederverwendung von Teilergebnissen die Ausführungszeit für Aufgaben wie die Erstellung von Callgraphen um bis zu 92% reduzieren kann. Darüber hinaus sehen wir Potenzial für die Anwendung in anderen Forschungsbereichen wie empirische Software-Studien, Benchmark-Erstellung und Artefakt-Evaluation.