Pinned Loading

1. seahorn seahorn Public

   SeaHorn Verification Framework

   C 464 129

2. clam clam Public

   Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev14.

   C 285 40

3. crab crab Public

   A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.

   C++ 247 31

4. sea-dsa sea-dsa Public

   A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.

   C++ 167 31

5. seahorn-tutorial seahorn-tutorial Public

   Supplementary files for SSFT 2015 summer school

   LLVM 12 1

6. verify-c-common verify-c-common Public

   C 19 14