sle2024s/paper09

SLE 2024 SI paper:
Property probes: Live exploration of program analysis results

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

• DOI: 10.1016/j.jss.2024.111980
• Extended version of Property Probes: Source Code Based Exploration of Program Analysis Results (SLE 2022)
• T4A: Workbenches
  • The core contribution is CodeProber, a tool mechanism (“property probes”) for interactively exploring program analysis results tied to AST nodes.
• T5B: Language Description Analysis
  • It supports debugging/understanding static analyses (e.g., attribute-grammar/RAG-based analyses) by inspecting computed properties on program representations.
• T5H: Usability
  • The emphasis on interactive, live feedback in an editor makes usability and developer experience a primary concern.
• T5F: Performance
  • The paper includes performance measurements showing probe overhead is negligible in the evaluated settings.

---

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