Automatically Detecting and Mitigating Issues in Program Analyzers
dc.contributor.author | Mansur, Muhammad Numair | |
dc.contributor.editor | Herrmann, Andrea | |
dc.date.accessioned | 2024-07-26T10:37:42Z | |
dc.date.available | 2024-07-26T10:37:42Z | |
dc.date.issued | 2024 | |
dc.description.abstract | This dissertation tackles two major challenges that impede the incorporation of static analysis tools into software development workflows, despite their potential to detect bugs and vulnerabilities in software before deployment. The first challenge addressed is unintentional unsoundness in program analyzers, such as SMT solvers and Datalog engines, which are susceptible to undetected soundness issues that can lead to severe consequences, particularly in safety-critical software. The dissertation presents novel, publicly available techniques that detected over 55 critical soundness bugs in these tools. The second challenge is balancing soundness, precision, and performance in static analyzers, which struggle with integration into diverse development scenarios due to their inability to scale and adapt to different program sizes and resource constraints. To combat this, the dissertation introduces an approach to automatically tailor abstract interpreters to specific code and resource conditions and presents a method for horizontally scaling analysis tools in cloud-based platforms. | en |
dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/44196 | |
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 | Soundness | |
dc.subject | Precision | |
dc.subject | Performance | |
dc.subject | Scalability | |
dc.subject | tool | |
dc.title | Automatically Detecting and Mitigating Issues in Program Analyzers | en |
dc.type | Text/Journal Article | |
mci.reference.pages | 68-69 |
Dateien
Originalbündel
1 - 1 von 1
Vorschaubild nicht verfügbar
- Name:
- Denert2023_7_Mansur.pdf
- Größe:
- 141.75 KB
- Format:
- Adobe Portable Document Format