CPAlien: Shape Analyzer for CPAChecker - (Competition Contribution)
Abstract elided by the publisher.
Related papers
- Predator: A Shape Analyzer Based on Symbolic Memory Graphs - (Competition Contribution) TACAS 2014
- Block Abstraction Memoization for CPAchecker - (Competition Contribution) TACAS 2012
- CPA-RefSel: CPAchecker with Refinement Selection - (Competition Contribution) TACAS 2016
- CPAchecker with Adjustable Predicate Analysis - (Competition Contribution) TACAS 2012
- CPAchecker with Explicit-Value Analysis Based on CEGAR and Interpolation - (Competition Contribution) TACAS 2013
- CPAchecker with Sequential Combination of Explicit-State Analysis and Predicate Analysis - (Competition Contribution) TACAS 2013
- CPAchecker with Support for Recursive Programs and Floating-Point Arithmetic - (Competition Contribution) TACAS 2015
- CPAchecker with Sequential Combination of Explicit-Value Analyses and Predicate Analyses - (Competition Contribution) TACAS 2014