Hunting Memory Bugs in C Programs with Map2Check - (Competition Contribution)
No abstract available.
Related papers
- Map2Check Using LLVM and KLEE - (Competition Contribution) TACAS 2018
- Map2Check: Using Symbolic Execution and Fuzzing - (Competition Contribution) TACAS 2020
- Predator Hunting Party (Competition Contribution) TACAS 2015
- Goblint: Abstract Interpretation for Memory Safety and Termination - (Competition Contribution) TACAS 2024
- Compiler testing via a theory of sound optimisations in the C11/C++11 memory model PLDI 2013
- Wolverine: Battling Bugs with Interpolants - (Competition Contribution) TACAS 2012
- Hunting CUDA Bugs at Scale with cuFuzz OOPSLA 2026
- Finding and understanding bugs in C compilers PLDI 2011