Blogs (1) >>
ASE 2019
Sun 10 - Fri 15 November 2019 San Diego, California, United States
Fri 15 Nov 2019 11:00 - 11:30 at Cortez 1B - Explainability and Code Chair(s): Ilias Gerostathopoulos

Static code analysis is widely used to support the development of secure software. It helps developers detect potential bugs and security vulnerabilities in a program’s source code without executing it. While the potential benefits of static analysis tools are beyond question, their usability is often criticised and prevents software developers from using static analysis to its full potential. In the past decade, researchers have studied developer needs and opposed them to available static analysis tool functionalities. In this paper, we summarize the main design challenges for building usable static analysis tools, and show that they revolve around the notion of explainability. We present existing analysis tools and current research in static analysis usability, and detail how they approach those challenges. This leads us to proposing potential lines of future work in explainability for static analysis, namely turning static analysis tools into assistants and teachers.

Fri 15 Nov

11:00 - 12:30: EXPLAIN 2019 - Explainability and Code at Cortez 1B
Chair(s): Ilias GerostathopoulosTechnical University of Munich
explain-2019-papers11:00 - 11:30
Explaining Static Analysis - A Perspective
Marcus Nachtigall, Lisa Nguyen Quang DoGoogle, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
explain-2019-papers11:30 - 12:00
A Hybrid Editor for Fast Robot Mission Prototyping
Thomas WitteUlm University, Matthias TichyUlm University, Germany
explain-2019-papers12:00 - 12:30
Explaining Business Process Software with Fulib-Scenarios
Albert ZündorfKassel University, Sebastian CopeiKassel University, Ira DiethelmCarl von Ossietzky Universität Oldenburg / University of Oldenburg, Claude DraudeKassel University, Adrian KunzKassel University, Ulrich NorbisrathUniversity of Applied Sciences Upper Austria