Umann Kristóf; Horváth Gábor; Porkoláb Zoltán: Uncovering hidden dependencies: constructing intelligible path witnesses using dataflow analyses. In: Acta cybernetica, (26) 3. pp. 713-747. (2024)
Előnézet |
Cikk, tanulmány, mű
cybernetica_026_numb_003_713-747.pdf Letöltés (1MB) | Előnézet |
Absztrakt (kivonat)
The lack of sound, concise and comprehensive error reports emitted by a static analysis tool can cause increased fixing cost, bottleneck at the availability of experts and even may undermine the trust in static analysis as a method. This paper presents novel techniques to improve the quality of bug reports for static analysis tools that employ symbolic execution. With the combination of data and control dependency analysis, we can identify the relevance of particular code snippets that were previously missing from the report. We demonstrated the benefits of our approach by implementing an improved bug report generator algorithm for the Clang Static Analyzer. After being tested by the open source community our solution became enabled by default in the tool.
| Mű típusa: | Cikk, tanulmány, mű |
|---|---|
| Befoglaló folyóirat/kiadvány címe: | Acta cybernetica |
| Dátum: | 2024 |
| Kötet: | 26 |
| Szám: | 3 |
| ISSN: | 2676-993X |
| Oldalak: | pp. 713-747 |
| Nyelv: | angol |
| Kiadó: | University of Szeged, Institute of Informatics |
| Kiadás helye: | Szeged |
| Befoglaló mű URL: | https://acta.bibl.u-szeged.hu/86904/ |
| DOI: | 10.14232/actacyb.299805 |
| Kulcsszavak: | Statikus analízis, Programanalízis, Szoftvertechnológia, Szoftverbiztonság |
| Megjegyzések: | Bibliogr.: p. 742-747. ; ill. ; összefoglalás angol nyelven |
| Szakterület: | 01. Természettudományok 01. Természettudományok > 01.02. Számítás- és információtudomány |
| Feltöltés dátuma: | 2025. ápr. 15. 21:21 |
| Utolsó módosítás: | 2025. ápr. 16. 07:23 |
| URI: | http://acta.bibl.u-szeged.hu/id/eprint/86992 |
 |
Tétel nézet |
