Property Probes: Source Code Based Exploration of Program Analysis Results
Includes DemoResearch PaperIn Person
We present property probes, a mechanism for helping a developer interactively explore partial program analysis results in terms of the source program, and as the program is edited. A node locator data structure is introduced that maps between source code spans and program representation nodes, and that helps identify probed nodes in a robust way, after modifications to the source code. We have developed a client-server based tool supporting property probes, and argue that it is very helpful in debugging and understanding program analyses. We have evaluated our tool on several languages and analyses, including a full Java compiler and a tool for intraprocedural dataflow analysis.
Our performance results show that the probe overhead is negligible even when analyzing large projects.
|Presentation Slides (Property Probes - SLE 2022.pdf)||2.20MiB|
Wed 7 DecDisplayed time zone: Auckland, Wellington change
13:30 - 15:00
|The Semantics of PluralsVirtualSLE Body of Knowledge|
|Gradual Grammars: Syntax in Levels and LocalesVirtualResearch Paper|
SLEDOI Pre-print Media Attached
|Property Probes: Source Code Based Exploration of Program Analysis ResultsIncludes DemoResearch PaperIn Person|
Anton Risberg Alaküla Lund University, Görel Hedin Lund University, Niklas Fors Lund University, Adrian Pop Linköping UniversityDOI Media Attached File Attached