Skip to content
@seahorn

SeaHorn

An LLVM-based verification framework

Pinned Loading

  1. seahorn seahorn Public

    SeaHorn Verification Framework

    C 442 130

  2. clam clam Public

    Static Analyzer for LLVM bitcode based on Abstract Interpretation

    C 278 37

  3. crab crab Public

    A library for building abstract interpretation-based analyses

    C++ 237 32

  4. sea-dsa sea-dsa Public

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

    C++ 162 29

  5. seahorn-tutorial seahorn-tutorial Public

    Supplementary files for SSFT 2015 summer school

    LLVM 11 2

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

    C 16 14

Repositories

Showing 10 of 32 repositories
  • 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 13,474 0 0 Updated Dec 7, 2024
  • 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 12,498 0 0 Updated Dec 6, 2024
  • crab Public

    A library for building abstract interpretation-based analyses

    seahorn/crab’s past year of commit activity
    C++ 237 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
  • seahorn Public

    SeaHorn Verification Framework

    seahorn/seahorn’s past year of commit activity
    C 442 130 18 9 Updated Sep 4, 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
  • 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++ 162 29 10 1 Updated Jun 13, 2024
  • verify-c-common Public
    seahorn/verify-c-common’s past year of commit activity
    C 16 14 7 5 Updated May 30, 2024
  • verify-rust Public

    Verify rust programs using seahorn

    seahorn/verify-rust’s past year of commit activity
    Rust 0 1 1 0 Updated May 14, 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