Generic Combination of Heap and Value Analyses in Abstract Interpretation
No abstract available.
Related papers
- SSA Translation Is an Abstract Interpretation POPL 2023
- Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode VMCAI 2002
- Symbolic heap abstraction with demand-driven axiomatization of memory invariants OOPSLA 2010
- Sound and reusable components for abstract interpretation OOPSLA 2019
- Improving Thread-Modular Abstract Interpretation SAS 2021
- Compare less, defer more: scaling value-contexts based whole-program heap analyses CC 2019
- Improving Abstract Interpretations by Combining Domains TOPLAS 1995
- An Abstract Interpretation Framework for Input Data Usage ESOP 2018