Skip to content
@seahorn

SeaHorn

An LLVM-based verification framework

Pinned Loading

  1. seahorn seahorn Public

    SeaHorn Verification Framework

    C 468 130

  2. clam clam Public

    Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev14.

    C 286 41

  3. crab crab Public

    A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.

    C++ 248 32

  4. sea-dsa sea-dsa Public

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

    C++ 168 32

  5. seahorn-tutorial seahorn-tutorial Public

    Supplementary files for SSFT 2015 summer school

    LLVM 12 2

  6. verify-c-common verify-c-common Public

    C 20 15

Repositories

Showing 10 of 32 repositories
  • sea-dsa Public

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

    seahorn/sea-dsa’s past year of commit activity
    C++ 168 32 13 5 Updated Dec 4, 2025
  • seaurchin-llvm Public Forked from llvm/llvm-project

    The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. This version of LLVM is designed to work with SeaUrchin.

    seahorn/seaurchin-llvm’s past year of commit activity
    LLVM 0 15,879 0 0 Updated Jul 30, 2025
  • verify-rust Public

    Verify rust programs using seahorn

    seahorn/verify-rust’s past year of commit activity
    Jupyter Notebook 1 1 2 0 Updated Jul 25, 2025
  • seaurchin Public Forked from rust-lang/rust

    Empowering Rust to build reliable and efficient software.

    seahorn/seaurchin’s past year of commit activity
    Rust 1 15,032 0 0 Updated Jun 9, 2025
  • seahorn Public

    SeaHorn Verification Framework

    seahorn/seahorn’s past year of commit activity
    C 468 130 21 9 Updated May 27, 2025
  • crab Public

    A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.

    seahorn/crab’s past year of commit activity
    C++ 248 Apache-2.0 32 6 0 Updated Oct 23, 2024
  • seamock Public

    SeaMock is a mocking framework for verification

    seahorn/seamock’s past year of commit activity
    CMake 1 BSD-2-Clause 0 0 0 Updated Sep 19, 2024
  • seaurchin-rust Public

    Rust to SEA-IR compiler

    seahorn/seaurchin-rust’s past year of commit activity
    1 MIT 0 0 0 Updated Jul 13, 2024
  • verify-c-common Public
    seahorn/verify-c-common’s past year of commit activity
    C 20 15 7 5 Updated May 30, 2024
  • seahorn.github.io Public

    github-pages repository

    seahorn/seahorn.github.io’s past year of commit activity
    JavaScript 0 5 0 0 Updated May 14, 2024
View all repositories

Most used topics

Loading…