SeaHorn

icon location An LLVM-based verification framework

Results 5 repositories owned by SeaHorn

seahorn

430
Stars
132
Forks
Watchers

SeaHorn Verification Framework

verified publisher icon seahorn

clam

263
Stars
37
Forks
Watchers

Static Analyzer for LLVM bitcode based on Abstract Interpretation

verified publisher icon seahorn

crab

221
Stars
32
Forks
Watchers

A library for building abstract interpretation-based analyses

verified publisher icon seahorn

sea-dsa

155
Stars
30
Forks
Watchers

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

verified publisher icon seahorn

llvm-dsa

20
Stars
7
Forks
Watchers

LLVM DSA fork for SeaHorn

verified publisher icon seahorn