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...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion) S. 89 - 92
Hauptverfasser: Do, Lisa Nguyen Quang, Krüger, Stefan, Hill, Patrick, Ali, Karim, Bodden, Eric
Format: Tagungsbericht
Sprache:Englisch
Veröffentlicht: New York, NY, USA ACM 27.05.2018
Schriftenreihe:ACM Conferences
Schlagworte:
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
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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