All Git Users → seahorn

5 open source projects by seahorn

[ Open user page on Github ]

Static Analyzer for LLVM bitcode based on Abstract Interpretation

✭ 143

c static-analysis llvm program-analysis

CoRnucopia of ABstractions: a library for building abstract interpretation-based analyses

✭ 102

static-analysis program-analysis

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

✭ 90

static-analysis llvm verification

SeaHorn Verification Framework

✭ 270

c static-analysis llvm verification program-analysis model-checking

Static Analyzer for LLVM bitcode based on Abstract Interpretation

✭ 180

c C++CMake python llvm static-analysis program-analysis invariants software-verification abstract-interpretation

1-5 of 5 user projects