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(opsem): add shadowmem annotations for {reset,is}_read, is_alloc,… #110

Closed priyasiddharth closed 3 years ago

priyasiddharth commented 3 years ago

… free