2LS: Heap Analysis and Memory Safety (Competition Contribution)

Viktor Malik, Martin Hruska, Peter Schrammel +1

2LS is a framework for analysis of sequential C programs that can verify and refute program assertions and termination. The 2LS framework is built upon the CPROVER infrastructure a…