Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses
No abstract available.
Related papers
- Class analyses as abstract interpretations of trace semantics TOPLAS 2003
- How to Do a Million Watchpoints: Efficient Debugging Using Dynamic Instrumentation CC 2008
- Analyzing Program Analyses POPL 2015
- The language, optimizer, and tools mess CGO 2011
- Exploring C semantics and pointer provenance POPL 2019
- A Modular Soundness Theory for the Blackboard Analysis Architecture ESOP 2024
- Compositional Analysis of Modular Logic Programs POPL 1993
- Automata and fixpoints for asynchronous hyperproperties POPL 2021