Modular Collaborative Program Analysis

dc.contributor.author	Helm, Dominik
dc.contributor.editor	Herrmann, Andrea
dc.date.accessioned	2024-07-26T10:37:41Z
dc.date.available	2024-07-26T10:37:41Z
dc.date.issued	2024
dc.description.abstract	Static analyses are essential to ensure the efficiency and security of software. They face challenges as we use ever more and ever more complex software. We address these challenges by enabling collaborative analyses composed of small, maintainable modules. In this thesis, we propose the blackboard analysis architecture that allows independent modules to collaborate using a central data store. This architecture is framework-independent, applicable to a broad range of static analyses regardless of their implementation paradigm, and allows for modular soundness proofs. Using four case studies and an extensive evaluation, we show how the blackboard analysis architecture allows improving the soundness, precision, and scalability of static analyses and fosters the exploration of trade-offs between these qualities.	en
dc.identifier.uri	https://dl.gi.de/handle/20.500.12116/44189
dc.language.iso	en
dc.pubPlace	Bonn
dc.publisher	Gesellschaft für Informatik e.V.
dc.relation.ispartof	Softwaretechnik-Trends Band 44, Heft 2
dc.relation.ispartofseries	Softwaretechnik-Trends
dc.subject	Static Analysis
dc.subject	Modularity
dc.title	Modular Collaborative Program Analysis	en
dc.type	Text/Journal Article
mci.reference.pages	56-57

Dateien

1 - 1 von 1