search

seahorn / sea-dsa

A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
Other
157 stars 29 forks source link

Assertion failing in AllocSiteInfo.cc #56

Closed igcontreras closed 4 years ago

igcontreras commented 4 years ago

Instructions of this form:

%239 = tail call i8* @malloc(i64 0) #7, !dbg !6247

cause this assertion to fail.

agurfinkel commented 4 years ago

This is a bug. Can you change the assert to be >=?

igcontreras commented 4 years ago

Done in https://github.com/seahorn/sea-dsa/pull/57

igcontreras commented 4 years ago

Commit c301addc1328e4767654a4f02e72ed09ad0bb84c