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

Fix assertion in AllocSiteInfo.cc #57

Closed igcontreras closed 4 years ago

agurfinkel commented 4 years ago

@caballa why not merged?