A Calculational Approach to Control-Flow Analysis by Abstract Interpretation
No abstract available.
Related papers
- Control-flow analysis of function calls and returns by abstract interpretation ICFP 2009
- Trace-based control-flow analysis PLDI 2021
- Hypercollecting semantics and its application to static analysis of information flow POPL 2017
- An abstract interpretation for SPMD divergence on reducible control flow graphs POPL 2021
- An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries VMCAI 2009
- Efficient Abstract Interpretation via Selective Widening OOPSLA 2025
- Infinitary Control Flow Analysis: a Collecting Semantics for Closure Analysis POPL 1997
- Denotational Abstract Interpretation of Logic Programs TOPLAS 1994