Pinned Loading

1. seahorn/seahorn seahorn/seahorn Public

   SeaHorn Verification Framework

   C 441 130

2. seahorn/crab seahorn/crab Public

   A library for building abstract interpretation-based analyses

   C++ 236 32

3. seahorn/clam seahorn/clam Public

   Static Analyzer for LLVM bitcode based on Abstract Interpretation

   C 278 37

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

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

   C++ 162 29

5. vbpf/ebpf-verifier vbpf/ebpf-verifier Public

   eBPF verifier based on abstract interpretation

   C++ 392 44

6. crabber crabber Public

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

   C++ 2