search

diffblue / 2ls

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

Handle comparison of freed pointers in assertions #143

Closed viktormalik closed 4 years ago

viktormalik commented 4 years ago

Until now, we only handled correct comparison of freed pointers in normal conditions, not in assertions.

viktormalik commented 4 years ago

@peterschrammel this is a feature request from a student writing a paper where he performs some experiments with 2LS. It would be great if you could merge it ASAP. Thanks