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

feat: add set/get_shadowmem to memdef/use respectively #146

Closed priyasiddharth closed 2 years ago

priyasiddharth commented 2 years ago

Note: this setter and getter is for opsem shadowmem