Modular Static Program Analysis
Abstract elided by the publisher.
Related papers
- Modular Static Analysis with Zonotopes SAS 2012
- Relational Thread-Modular Static Value Analysis by Abstract Interpretation VMCAI 2014
- Modular Static Analysis of String Manipulations in C Programs SAS 2018
- Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes VMCAI 2007
- Modular set-based analysis from contracts POPL 2006
- A Modular Static Cost Analysis for GPU Warp-Level Parallelism POPL 2026
- Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints - (Competition Contribution) TACAS 2021
- Static analysis of aspect interaction and composition in component models GPCE 2011