VISUFLOW a debugging environment for static analyses

Code developers in industry frequently use static analysis tools to detect and fix software defects in their code. But what about defects in the static analyses themselves? While debugging application code is a difficult, time-consuming task, debugging a static analysis is even harder. We have surve...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion) s. 89 - 92
Hlavní autoři: Do, Lisa Nguyen Quang, Krüger, Stefan, Hill, Patrick, Ali, Karim, Bodden, Eric
Médium: Konferenční příspěvek
Jazyk:angličtina
Vydáno: New York, NY, USA ACM 27.05.2018
Edice:ACM Conferences
Témata:
Computer bugs
Debugging
Empirical Software Engineering
Human-centered computing > Visualization > Empirical studies in visualization
IDE
Java
Navigation
Software and its engineering > Software creation and management > Software verification and validation > Software defect analysis > Software testing and debugging
Static analysis
Survey
Theory of computation > Semantics and reasoning > Program reasoning > Program analysis
User study
Visualization
static analysis
debugging
empirical software engineering
survey
IDE
user study
ISBN:145035663X, 9781450356633
ISSN:2574-1934
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:Code developers in industry frequently use static analysis tools to detect and fix software defects in their code. But what about defects in the static analyses themselves? While debugging application code is a difficult, time-consuming task, debugging a static analysis is even harder. We have surveyed 115 static analysis writers to determine what makes static analysis difficult to debug, and to identify which debugging features would be desirable for static analysis. Based on this information, we have created Visijflow, a debugging environment for static data-flow analysis. Visuflow is built as an Eclipse plugin, and supports analyses written on top of the program analysis framework Soot. The different components in Visuflow provide analysis writers with visualizations of the internal computations of the analysis, and actionable debugging features to support debugging static analyses. A video demo of Visuflow is available online: https://www.youtube.com/watch?v=BkEfBDwiuH4
ISBN:145035663X
9781450356633
ISSN:2574-1934
DOI:10.1145/3183440.3183470