Pinned

1. seahorn seahorn Public

   SeaHorn Verification Framework

   C 430 132

2. clam clam Public

   Static Analyzer for LLVM bitcode based on Abstract Interpretation

   C 259 37

3. crab crab Public

   A library for building abstract interpretation-based analyses

   C++ 220 32

4. sea-dsa sea-dsa Public

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

   C++ 154 30

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