search

diffblue / 2ls

Static Analyzer and Verifier
http://www.cprover.org/2LS
Other
43 stars 22 forks source link

Improvements for SV-COMP 2020 #139

Closed viktormalik closed 4 years ago

viktormalik commented 4 years ago

There are multiple things implemented:

With these changes, we have no false results in heap-related categories (except for 2 long-known false positives).