Filter out calles that are not type-compatible during resolution of indirect calls

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

Closed caballa closed 3 years ago