Analysis of Software Patches Using Numerical Abstract Interpretation
Abstract elided by the publisher.
Related papers
- Abstract semantic differencing via speculative correlation OOPSLA 2014
- Static Analysis by Abstract Interpretation of Numerical Programs and Systems, and FLUCTUAT SAS 2013
- Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation ECOOP 2021
- Reusing Caches and Invariants for Efficient and Sound Incremental Static Analysis ECOOP 2025
- Abstract Interpretation with Higher-Dimensional Ellipsoids and Conic Extrapolation CAV 2015
- Lifted termination analysis by abstract interpretation and its applications GPCE 2021
- Runtime Abstract Interpretation for Numerical Accuracy and Robustness VMCAI 2021
- Goblint: Autotuning Thread-Modular Abstract Interpretation - (Competition Contribution) TACAS 2023