Verifying Recursive Programs Using Intraprocedural Analyzers
No abstract available.
Related papers
- A Formally-Verified C Static Analyzer POPL 2015
- The Top-Down Solver Verified: Building Confidence in Static Analyzers CAV 2024
- Beyond Relooper: recursive translation of unstructured control flow to structured control flow (functional pearl) ICFP 2022
- Verifying correct usage of atomic blocks and typestate OOPSLA 2008
- Efficient Computation of Interprocedural Definition-Use Chains TOPLAS 1994
- Property Probes: Source Code Based Exploration of Program Analysis Results SLE 2022
- Faster Algorithms for Algebraic Path Properties in Recursive State Machines with Constant Treewidth POPL 2015
- Analyzing recursive programs using a fixed-point calculus PLDI 2009