Sound Abstract Nonexploitability Analysis
Abstract elided by the publisher.
Related papers
- Toward a Sound Analysis of Guarded LTI Loops with Inputs by Abstract Acceleration SAS 2017
- Sound and reusable components for abstract interpretation OOPSLA 2019
- Sound Non-Statistical Clustering of Static Analysis Alarms TOPLAS 2017
- Galois transformers and modular abstract interpreters: reusable metatheory for program analysis OOPSLA 2015
- Reusing Caches and Invariants for Efficient and Sound Incremental Static Analysis ECOOP 2025
- Compositional soundness proofs of abstract interpreters ICFP 2018
- On the computational soundness of cryptographically masked flows POPL 2008
- The Virtual Recency Abstraction: Strong Updates for Abstract Interpreters with Shared State ECOOP 2026