Try-Mopsa: Relational Static Analysis in Your Pocket
Abstract elided by the publisher.
Related papers
- Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution) TACAS 2023
- DelExp: A Relational Container Abstraction: with Applications to Compositional Analysis ECOOP 2026
- Opportunities beyond single-core microprocessors PPoPP 2009
- Compositional Static Value Analysis for Higher-Order Numerical Programs ECOOP 2025
- Mopsa-C: Towards Incorrectness and Termination Verdicts (Competition Contribution) TACAS 2026
- Mopsa-C with Trace Partitioning and Autosuggestions (Competition Contribution) TACAS 2025
- Mopsa-C: Improved Verification for C Programs, Simple Validation of Correctness Witnesses (Competition Contribution) TACAS 2024
- Static Type Analysis by Abstract Interpretation of Python Programs ECOOP 2020