Incremental Algorithms for Inter-procedural Analysis of Safety Properties
No abstract available.
Related papers
- Scaling Inter-procedural Dataflow Analysis on the Cloud TOPLAS 2026
- Incremental, Inductive Coverability CAV 2013
- PhASAR: An Inter-procedural Static Analysis Framework for C/C++ TACAS 2019
- Constraint-Based Inter-Procedural Analysis of Parallel Programs ESOP 2000
- May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization SAS 2015
- Whale: An Interpolation-Based Algorithm for Inter-procedural Verification VMCAI 2012
- On inter-procedural analysis of programs with lists and data PLDI 2011
- Region-based shape analysis with tracked locations POPL 2005