Optimized PredatorHP and the SV-COMP Heap and Memory Safety Benchmark - (Competition Contribution)
Abstract elided by the publisher.
Related papers
- PredatorHP Revamped (Not Only) for Interval-Sized Memory Regions and Memory Reallocation (Competition Contribution) TACAS 2020
- 2LS: Heap Analysis and Memory Safety - (Competition Contribution) TACAS 2020
- Dartagnan: Bounded Model Checking for Weak Memory Models (Competition Contribution) TACAS 2020
- Map2Check: Using Symbolic Execution and Fuzzing - (Competition Contribution) TACAS 2020
- CPAchecker 2.3 with Strategy Selection - (Competition Contribution) TACAS 2024
- Symbiotic-Witch: A Klee-Based Violation Witness Checker - (Competition Contribution) TACAS 2022
- Symbolic Pathfinder for SV-COMP - (Competition Contribution) TACAS 2019
- 2LS: Memory Safety and Non-termination - (Competition Contribution) TACAS 2018