SeaHorn

Crab is an Abstract Interpretation library. This build includes Apron and Ldd-boxes libraries

Crab is an Abstract Interpretation library. This build includes Elina library

SeaHorn Verification Framework (https://github.com/seahorn/seahorn)

Crab (https://github.com/seahorn/crab)

Static Analysis based on Abstract Interpretation for LLVM 14 (https://github.com/seahorn/clam)

Docker image for Crab dependencies

Tutorial about Crab in Dagsthul (07/10/2023)

Crab is an Abstract Interpretation Library. This build includes Apron library.

Static Analysis based on Abstract Interpretation for LLVM 10

An analysis framework for LLVM 10

SeaHorn for LLVM 5.0

Clam for LLVM 5.0

Clam for LLVM 8.0

Dependencies for SeaHorn LLVM 5.0

SeaHorn for LLVM 3.8

Dependencies for Clam LLVM 8.0

Dependencies for SeaHorn LLVM 3.8