Pinned Loading

1. seahorn seahorn Public

   SeaHorn Verification Framework

   C 451 131

2. clam clam Public

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

   C 279 40

3. crab crab Public

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

   C++ 241 32

4. sea-dsa sea-dsa Public

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

   C++ 165 32

5. seahorn-tutorial seahorn-tutorial Public

   Supplementary files for SSFT 2015 summer school

   LLVM 11 2

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

   C 17 14