Abstract Debuggers: Exploring Program Behaviors Using Static Analysis Results
This program is tentative and subject to change.
Traditional, or concrete, debuggers allow developers to step through programs and explore the corresponding concrete program states—developers can query (and modify) current values of program variables. This exploration enables developers to formulate and refine hypotheses about program behaviors. We propose the novel notion of \emph{abstract debuggers}, which allow developers to explore abstract program states, as computed by sound static analyzers. Giving developers the ability to interactively explore abstract states (which encompass the program’s potential concrete states) empowers them to work with hypotheses that are true for all program executions: they can examine and rule out false positives, or better understand a static analysis’s declaration that some code is indeed safe. Abstract debuggers’ interfaces, reminiscent of conventional debuggers, aim to make navigating and interpreting static analysis results more straightforward. We have formalized the concept, applied it by implementing a tool that leverages the static analyzer Goblint, and illustrate its usefulness through case studies.
This program is tentative and subject to change.
Thu 24 OctDisplayed time zone: Pacific Time (US & Canada) change
16:00 - 17:40 | |||
16:00 25mTalk | Abstract Debuggers: Exploring Program Behaviors Using Static Analysis Results Onward! Papers Karoliine Holter University of Tartu, Estonia, Juhan Oskar Hennoste University of Tartu, Patrick Lam University of Waterloo, Simmo Saan University of Tartu, Estonia, Vesal Vojdani University of Tartu | ||
16:30 25mTalk | Scimitar: Functional Programs as Optimization Problems Onward! Papers | ||
17:00 25mTalk | Software Engineering Methods For AI-Driven Deductive Legal Reasoning Onward! Papers Rohan Padhye Carnegie Mellon University Pre-print |