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

Attempted to fix issue 113 #115

Closed shaobo-he closed 3 years ago

shaobo-he commented 3 years ago

@caballa I think I saw some CI failure for this, but it should be dependent on the change. Can't find the failure now. This looks good to me, but I want to check with you before rebasing.

Hi @agurfinkel, I just applied the changes to other similar warning messages.