SeaHorn

Pinned Loading

1. seahorn seahorn Public

   SeaHorn Verification Framework

   C 478 134

2. clam clam Public

   Static Analyzer for LLVM based on the Crab Abstract Interpretation Library. Support up to LLVM 18

   C 286 41

3. crab crab Public

   A library for building abstract interpretation-based analyses.

   C++ 253 33

4. sea-dsa sea-dsa Public

   Context, field, and array-sensitive heap analysis for LLVM 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