Predator: A Shape Analyzer Based on Symbolic Memory Graphs - (Competition Contribution)
Abstract elided by the publisher.
Related papers
- Symbiotic 7: Integration of Predator and More - (Competition Contribution) TACAS 2020
- Predator Hunting Party (Competition Contribution) TACAS 2015
- Predator: A Tool for Verification of Low-Level List Manipulation - (Competition Contribution) TACAS 2013
- Predator: A Verification Tool for Programs with Dynamic Linked Data Structures - (Competition Contribution) TACAS 2012
- CPAlien: Shape Analyzer for CPAChecker - (Competition Contribution) TACAS 2014
- PredatorHP Revamped (Not Only) for Interval-Sized Memory Regions and Memory Reallocation (Competition Contribution) TACAS 2020
- Symbiotic 8: Beyond Symbolic Execution - (Competition Contribution) TACAS 2021
- Extending DIVINE with Symbolic Verification Using SMT - (Competition Contribution) TACAS 2019