Pinned Loading

1. seahorn seahorn Public

   SeaHorn Verification Framework

   C 478 134

2. clam clam Public

   Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Note**: use development branch dev14.

   C 286 41

3. crab crab Public

   A library for building abstract interpretation-based analyses. **Note**: use development branch `dev`.

   C++ 251 33

4. sea-dsa sea-dsa Public

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

   C++ 168 35

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 20 14