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

refactor(seamemoryaccess): make getID() a public method #78

Closed priyasiddharth closed 4 years ago

priyasiddharth commented 4 years ago

Also added type check in getMemoryAccessForShadow

priyasiddharth commented 4 years ago

Any comments on this? I don't think the build failure is caused by this change.