SeaHorn

seahorn

SeaHorn Verification Framework

clam

Static Analyzer for LLVM bitcode based on Abstract Interpretation

crab

A library for building abstract interpretation-based analyses

sea-dsa

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

llvm-dsa

LLVM DSA fork for SeaHorn

verify-c-common

seahorn-tutorial

Supplementary files for SSFT 2015 summer school

llvm-seahorn

LLVM components that are modified for SeaHorn

verifyTrusty

ldd

Library for Decision Diagrams over Linear Arithmetic

ebpf-verifier

A new eBPF verifier, using abstract interpretation

seahorn-ext-deps

Binaries for external dependencies needed to build/use SeaHorn

seatooling

Examples of using clang-libtooling

sygspacer

Syntax based invariant synthesis using Spacer

benchexec

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

clang

Mirror of official clang git repository located at http://llvm.org/git/clang. Updated every five minutes.

elina

Apron Library together with an old version of ELINA (The ETH LIbrary for Numerical Analysis)

klee

KLEE Symbolic Virtual Machine

sea-cut

C/C++ refactoring tool for library abstractions

z3

The Z3 Theorem Prover

seahorn.github.io

github-pages repository

crab-pplite

Crab abstract domain wrapper for PPLite domains

mlir2crab

A MLIR frontend for Crab

seahorn-doc

Documentations and tutorial for SeaHorn

seamock

SeaMock is a mocking framework for verification

SeaSTL

C++ STL implementation for SeaHorn

sv-benchmarks

SVCOMP 2015 with some tweaks to fix undefined behavior

verify-mbedtls

Verification jobs for the mbedtls project

verify-rust

Verify rust programs using seahorn