sle2022/paper10

SLE 2022 paper:
Property Probes: Source Code Based Exploration of Program Analysis Results

Anton Risberg Alaküla, Görel Hedin, Niklas Fors, Adrian Pop

• DOI: 10.1145/3567512.3567525
• Original shorter version of Property probes: Live exploration of program analysis results (SLE 2024 SI)
• T4F: Visualisation
  • Property probes provide interactive visualization/exploration of program analysis results in source code.
• T4A: Workbenches
  • It delivers tooling support to inspect and navigate analysis outcomes.
• T5H: Usability
  • The interface is designed to support developer comprehension and interactive investigation.

---

The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: June 2026.