seahorn / sea-dsa

A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
164Updated 9 months ago

Alternatives and similar repositories for sea-dsa:

Users that are interested in sea-dsa are comparing it to the libraries listed below