Revamping TVLA: Making Parametric Shape Analysis Competitive
Abstract elided by the publisher.
Related papers
- PredatorHP Revamped (Not Only) for Interval-Sized Memory Regions and Memory Reallocation (Competition Contribution) TACAS 2020
- Forester: Shape Analysis Using Tree Automata - (Competition Contribution) TACAS 2015
- Parametric Shape Analysis via 3-Valued Logic POPL 1999
- Parametric shape analysis via 3-valued logic TOPLAS 2002
- TVLA: A System for Implementing Static Analyses SAS 2000
- Boolean Algebra of Shape Analysis Constraints VMCAI 2004
- CPAlien: Shape Analyzer for CPAChecker - (Competition Contribution) TACAS 2014
- Predator: A Shape Analyzer Based on Symbolic Memory Graphs - (Competition Contribution) TACAS 2014