On the Complexity Analysis of Static Analyses
No abstract available.
Related papers
- MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors (Tool Insights Paper) ECOOP 2019
- Framework for Static Analysis of PHP Applications ECOOP 2015
- A Modular Soundness Theory for the Blackboard Analysis Architecture ESOP 2024
- May-happen-in-parallel analysis with static vector clocks CGO 2018
- Exploiting Sophisticated Static Analysis for Verilog PLDI 2026
- Dynamically managed data for CPU-GPU architectures CGO 2012
- PhASAR: An Inter-procedural Static Analysis Framework for C/C++ TACAS 2019
- Modular Abstract Definitional Interpreters for WebAssembly ECOOP 2023