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
Originalbündel
1 - 1 von 1