SeaHorn

An LLVM-based verification framework

Pinned Repositories

clam
Static Analyzer for LLVM bitcode based on Abstract Interpretation
Language:C265 13 7037
crab
A library for building abstract interpretation-based analyses
Language:C++227 12 4132
ldd
Library for Decision Diagrams over Linear Arithmetic
Language:C3 5 01
llvm-dsa
LLVM DSA fork for SeaHorn
Language:C++20 7 47
llvm-seahorn
LLVM components that are modified for SeaHorn
Language:C++8 7 27
sea-dsa
A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
Language:C++155 12 5930
seahorn
SeaHorn Verification Framework
Language:C433 20 199131
seahorn-tutorial
Supplementary files for SSFT 2015 summer school
Language:LLVM11 7 12
verify-c-common
Language:C14 7 914
verifyTrusty
Language:C4 7 24

SeaHorn's Repositories

seahorn/seahorn
SeaHorn Verification Framework
Language:C433 20 199131
seahorn/clam
Static Analyzer for LLVM bitcode based on Abstract Interpretation
Language:C265 13 7037
seahorn/crab
A library for building abstract interpretation-based analyses
Language:C++227 12 4132
seahorn/sea-dsa
A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
Language:C++155 12 5930
seahorn/llvm-dsa
LLVM DSA fork for SeaHorn
Language:C++20 7 47
seahorn/verify-c-common
Language:C14 7 914
seahorn/seahorn-tutorial
Supplementary files for SSFT 2015 summer school
Language:LLVM11 7 12
seahorn/llvm-seahorn
LLVM components that are modified for SeaHorn
Language:C++8 7 27
seahorn/verifyTrusty
Language:C4 7 24
seahorn/ldd
Library for Decision Diagrams over Linear Arithmetic
Language:C3 5 01
seahorn/ebpf-verifier
A new eBPF verifier, using abstract interpretation
Language:C++2 2 61
seahorn/seahorn-ext-deps
Binaries for external dependencies needed to build/use SeaHorn
2 5 0
seahorn/seatooling
Examples of using clang-libtooling
Language:CMake2 7 02
seahorn/sygspacer
Syntax based invariant synthesis using Spacer
Language:Python2 6 0
seahorn/benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
Language:HTML1 6 0
seahorn/clang
Mirror of official clang git repository located at http://llvm.org/git/clang. Updated every five minutes.
Language:C++1 6 0
seahorn/elina
Apron Library together with an old version of ELINA (The ETH LIbrary for Numerical Analysis)
Language:C1 5 12
seahorn/klee
KLEE Symbolic Virtual Machine
Language:C++1 6 0
seahorn/sea-cut
C/C++ refactoring tool for library abstractions
Language:C++1 6 0
seahorn/z3
The Z3 Theorem Prover
Language:C++1 6 0
seahorn/seahorn.github.io
github-pages repository
Language:JavaScript0 5 05
seahorn/crab-pplite
Crab abstract domain wrapper for PPLite domains
Language:C++4 0
seahorn/mlir2crab
A MLIR frontend for Crab
Language:C++6 0
seahorn/seahorn-doc
Documentations and tutorial for SeaHorn
6 0
seahorn/seamock
SeaMock is a mocking framework for verification
Language:CMake4 0
seahorn/SeaSTL
C++ STL implementation for SeaHorn
seahorn/sv-benchmarks
SVCOMP 2015 with some tweaks to fix undefined behavior
Language:C6 0
seahorn/verify-mbedtls
Verification jobs for the mbedtls project
5 0
seahorn/verify-rust
Verify rust programs using seahorn
Language:Rust5 21