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

Added Functions to Spec Language and Refactored DsaLocal #75

Closed AVassilev98 closed 4 years ago

agurfinkel commented 4 years ago

@AVassilev98 please cleanup commit history so that only good commits are present and all bad commits are either removed or squashed

agurfinkel commented 4 years ago

looks good. clang-format (if you haven't). I'm ready to merge