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

Updates for sea-dsa to work with LLVM 12 #125

Closed shaobo-he closed 3 years ago