Property Checking Driven Abstract Interpretation-Based Static Analysis
Abstract elided by the publisher.
Related papers
- Static analysis with demand-driven value refinement OOPSLA 2019
- Demanded abstract interpretation PLDI 2021
- A demand-driven adaptive type analysis ICFP 2002
- Property-Driven Code Obfuscations Reinterpreting Jones-Optimality in Abstract Interpretation SAS 2022
- An abstract interpretation framework for termination POPL 2012
- Abstract Interpretation-Based Static Analysis of Mobile Ambients SAS 2001
- EXPLORER : query- and demand-driven exploration of interprocedural control flow properties OOPSLA 2015
- A Modular Soundness Theory for the Blackboard Analysis Architecture ESOP 2024