A Suite of Analysis Tools Based on a General Purpose Abstract Interpreter
No abstract available.
Related papers
- Absynthe: Abstract Interpretation-Guided Synthesis PLDI 2023
- Embedding an interpreted language using higher-order functions and types JFP 2011
- A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis CAV 2014
- Improving Thread-Modular Abstract Interpretation SAS 2021
- Abstract interpretation of distributed network control planes POPL 2020
- Compositional certified resource bounds PLDI 2015
- TSL: A System for Generating Abstract Interpreters and its Application to Machine-Code Analysis TOPLAS 2013
- Abstract Interpretation with Infinitesimals - Towards Scalability in Nonstandard Static Analysis VMCAI 2016