TY - GEN
T1 - VISUFLOW
T2 - 40th ACM/IEEE International Conference on Software Engineering, ICSE 2018
AU - Do, Lisa Nguyen Quang
AU - Krüger, Stefan
AU - Hill, Patrick
AU - Ali, Karim
AU - Bodden, Eric
N1 - Publisher Copyright:
© 2018 Authors.
PY - 2018/5/27
Y1 - 2018/5/27
N2 - 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
AB - 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
KW - Debugging
KW - Empirical software engineering
KW - IDE
KW - Static analysis
KW - survey
KW - user study
UR - http://www.scopus.com/inward/record.url?scp=85049697321&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85049697321&partnerID=8YFLogxK
U2 - 10.1145/3183440.3183470
DO - 10.1145/3183440.3183470
M3 - Conference contribution
AN - SCOPUS:85049697321
T3 - Proceedings - International Conference on Software Engineering
SP - 89
EP - 92
BT - Proceedings - International Conference on Software Engineering
PB - IEEE Computer Society
Y2 - 27 May 2018 through 3 June 2018
ER -