Arithmetic Strengthening for Shape Analysis
No abstract available.
Related papers
- Arithmetizing Shape Analysis CAV 2025
- Shape Analysis via Second-Order Bi-Abduction CAV 2014
- THOR: A Tool for Reasoning about Shape and Arithmetic CAV 2008
- Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic SAS 2006
- Strengthening Induction-Based Race Checking with Lightweight Static Analysis VMCAI 2011
- Sound and robust solid modeling via exact real arithmetic and continuity ICFP 2019
- Do You Even Lift? Strengthening Compiler Security Guarantees against Spectre Attacks POPL 2025
- Spatial Interpolants ESOP 2015