Property Probes: Source Code-Based Exploration of Program Analysis Results

Explore property probes, a mechanism for interactive exploration of partial program analysis results in terms of source code during editing. Learn about the node locator data structure that maps between source code spans and program representation nodes, enabling robust identification of probed nodes after code modifications. Discover a client-server based tool supporting property probes and its applications in debugging and understanding program analyses. Examine the tool's evaluation across multiple languages and analyses, including a full Java compiler and intraprocedural dataflow analysis tool. Gain insights into the negligible probe overhead, even when analyzing large projects, and understand the architecture, technical issues, terminology, and step types involved in implementing property probes.