Diffpoints: Breakpoints Comparing Values of Variables
This program is tentative and subject to change.
Debugging is an integral, yet time-consuming and cognitively demanding part of software development. While common debugging tools allow for a detailed inspection of current variable values, they do not offer a clear visualization of their evolution over time. When comparing states at different execution points, they rely on the programmer’s memory or auxiliary console outputs. In this paper, we present Diffpoints, a novel debugging tool that introduces new types of breakpoints to enable the automatic capture and comparison of variable states between multiple points of program execution. Two distinct types, namely line and group diffpoints, are supported, and to match variables from different stack traces, a heuristic is used. Diffpoints are implemented as an extension for the IntelliJ IDEA development environment. We conducted a preliminary user study and plan further evaluation.
This program is tentative and subject to change.
Tue 6 OctDisplayed time zone: Pacific Time (US & Canada) change
10:30 - 12:00 | Program Analysis, Verification & DebuggingSPLASH/ISSTA Tool Demonstrations at OCC 202 Chair(s): Vesal Vojdani University of Tartu | ||
10:30 18mPaper | FlowLog: Re-thinking Datalog for Fast and Extensible Static Analysis SPLASH/ISSTA Tool Demonstrations A: Zhenghong Yu University of Wisconsin-Madison, A: Hangdong Zhao Microsoft Gray Systems Lab, A: Wanzhu Hou University of Wisconsin-Madison, A: Paraschos Koutris University of Wisconsin-Madison | ||
10:48 18mTalk | Fusion: A Fold and Unfold Annotation Synthesis Tool for Viper-Based Verification SPLASH/ISSTA Tool Demonstrations A: Joonghoon Lee Korea University, A: Nicolas Klose ETH Zurich, A: Seokhyun Lee Korea University, South Korea, A: Peter Müller ETH Zurich, A: Hakjoo Oh Korea University | ||
11:06 18mPaper | VarCHEKER: A Variability-based Static Analyzer for Python Applications SPLASH/ISSTA Tool Demonstrations A: Chin Khor Iowa State University, A: Robyn Lutz Iowa State University, A: Amir Niaraki Musco Sports Lighting | ||
11:24 18mPaper | Iekkë: A Bounded-Round Partial-Order Encoding Verification Tool for Concurrent C Programs SPLASH/ISSTA Tool Demonstrations A: Paolo Di Biase Gran Sasso Science Institute, A: Bernd Fischer Stellenbosch University, A: Salvatore La Torre Università degli Studi di Salerno, A: Peter Schrammel Diffblue Ltd, A: Gennaro Parlato University of Molise | ||
11:42 18mPaper | Diffpoints: Breakpoints Comparing Values of Variables SPLASH/ISSTA Tool Demonstrations A: Filip Čmilňák Technical University of Košice, A: Matúš Sulír Technical University of Košice, A: Milan Nosáľ ValeSoft, s.r.o. Link to publication Media Attached | ||