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 nullptr dereference in LOG #19

Closed kuhar closed 6 years ago

kuhar commented 6 years ago

I had this fix locally for ages but forgot to commit it