ISSTA/ECOOP 2024 (series) / DEBT 2024 (series) / Second Workshop on Future Debugging Techniques /
Abstract Debugging with GobPie
Thu 19 Sep 2024 16:10 - 16:30 at EI 1 Petritsch - DEBT Demo Session & Closing
We introduce GobPie, an IDE integration designed to enhance the usability and explainability of the abstract interpretation-based static analyzer Goblint. GobPie features abstract debugging, a novel approach to presenting static analysis results. Abstract debugging complements traditional debugging methods by making program analysis results more visible, with the goal of helping to identify and resolve rare but real software issues. Unlike traditional debugging, which involves step-by-step execution to observe concrete states, abstract debugging uses static analysis results to simulate the same steps, offering insights into all possible execution paths.
Thu 19 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Thu 19 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
15:30 - 17:00 | |||
15:30 20mDemonstration | Concolic Multiverse Debugging DEBT Maarten Steevens Ghent University, Belgium, Tom Lauwaerts Universiteit Gent, Belgium, Christophe Scholliers Universiteit Gent, Belgium DOI | ||
15:50 20mDemonstration | Reversible Debugging of Erlang Programs in CauDEr DEBT DOI | ||
16:10 20mDemonstration | Abstract Debugging with GobPie DEBT Karoliine Holter University of Tartu, Estonia, Juhan Oskar Hennoste University of Tartu, Simmo Saan University of Tartu, Estonia, Patrick Lam University of Waterloo, Vesal Vojdani University of Tartu DOI Media Attached | ||
16:30 20mDemonstration | Localizer - a visual debugging assistant for Python programs DEBT Shehroz Khan Åbo Akademi University, Gaadha Sudheerbabu Åbo Akademi University, Dragos Truscan Åbo Akademi University, Tanwir Ahmad Åbo Akademi University DOI | ||
16:50 10mDay closing | Closing by the workshop organizers DEBT |
Information for Participants
Thu 19 Sep 2024 15:30 - 17:00 at EI 1 Petritsch - DEBT Demo Session & Closing
Info for room EI 1 Petritsch: