Pinned Loading

1. seahorn/seahorn seahorn/seahorn Public

   SeaHorn Verification Framework

   C 436 129

2. seahorn/crab seahorn/crab Public

   A library for building abstract interpretation-based analyses

   C++ 230 33

3. seahorn/clam seahorn/clam Public

   Static Analyzer for LLVM bitcode based on Abstract Interpretation

   C 273 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++ 157 30

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

   eBPF verifier based on abstract interpretation

   C++ 376 39

6. crabber crabber Public

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

   C++ 2