* ICSE 2018 *
Sun 27 May - Sun 3 June 2018 Gothenburg, Sweden
Thu 31 May 2018 11:30 - 12:00 at E1/B room - Static analysis Chair(s): Anne Koziolek

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 Visuflow, 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

Thu 31 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30
Static analysisDEMO - Demonstrations at E1/B room
Chair(s): Anne Koziolek Karlsruhe Institute of Technology
AnATLyzer: An Advanced IDE for ATL Model Transformations
DEMO - Demonstrations
Pre-print Media Attached
VisuFlow: a Debugging Environment for Static Analyses
DEMO - Demonstrations
Lisa Nguyen Quang Do Paderborn University, Stefan Krüger , Patrick Hill , Karim Ali University of Alberta, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
Link to publication Pre-print
SQLInspect: A Static Analyzer to Inspect Database Usage in Java Applications
DEMO - Demonstrations
Csaba Nagy , Anthony Cleve University of Namur