Forester: From Heap Shapes to Automata Predicates - (Competition Contribution)
No abstract available.
Related papers
- Forester: Shape Analysis Using Tree Automata - (Competition Contribution) TACAS 2015
- Fully Automated Shape Analysis Based on Forest Automata CAV 2013
- Forest Automata for Verification of Heap Manipulation CAV 2011
- Run Forester, Run Backwards! - (Competition Contribution) TACAS 2016
- 2LS: Memory Safety and Non-termination - (Competition Contribution) TACAS 2018
- CPAlien: Shape Analyzer for CPAChecker - (Competition Contribution) TACAS 2014
- Predator: A Shape Analyzer Based on Symbolic Memory Graphs - (Competition Contribution) TACAS 2014
- Inductive Synthesis of Inductive Heap Predicates OOPSLA 2025