Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes
Abstract elided by the publisher.
Related papers
- Galois transformers and modular abstract interpreters: reusable metatheory for program analysis OOPSLA 2015
- Formal Verification of a C Value Analysis Based on Abstract Interpretation SAS 2013
- Goblint: Autotuning Thread-Modular Abstract Interpretation - (Competition Contribution) TACAS 2023
- Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution) TACAS 2023
- Improving Thread-Modular Abstract Interpretation SAS 2021
- Staged abstract interpreters: fast and modular whole-program analysis via meta-programming OOPSLA 2019
- Relational Thread-Modular Static Value Analysis by Abstract Interpretation VMCAI 2014
- Demanded abstract interpretation PLDI 2021