Pinned Loading

1. seahorn/seahorn seahorn/seahorn Public

   SeaHorn Verification Framework

   C 446 131

2. seahorn/crab seahorn/crab Public

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

   C++ 239 31

3. seahorn/clam seahorn/clam Public

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

   C 279 39

4. seahorn/sea-dsa seahorn/sea-dsa Public

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

   C++ 165 30

5. vbpf/prevail vbpf/prevail Public

   eBPF verifier based on abstract interpretation

   C++ 412 46

6. crabber crabber Public

   Run Crab analyzer on programs written in CrabIR (a simple goto-based language)

   C++ 2