Skip to content
@seahorn

SeaHorn

An LLVM-based verification framework

Pinned Loading

  1. seahorn seahorn Public

    SeaHorn Verification Framework

    C 434 131

  2. clam clam Public

    Static Analyzer for LLVM bitcode based on Abstract Interpretation

    C 266 37

  3. crab crab Public

    A library for building abstract interpretation-based analyses

    C++ 227 32

  4. sea-dsa sea-dsa Public

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

    C++ 155 30

  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 14 14

Repositories

Showing 10 of 31 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 0 12,757 0 0 Updated Jul 13, 2024
  • seaurchin-rust Public

    Rust to SEA-IR compiler

    seahorn/seaurchin-rust’s past year of commit activity
    0 MIT 0 0 0 Updated Jul 13, 2024
  • seahorn Public

    SeaHorn Verification Framework

    seahorn/seahorn’s past year of commit activity
    C 434 131 13 10 Updated Jun 17, 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++ 155 30 10 2 Updated Jun 13, 2024
  • verify-c-common Public
    seahorn/verify-c-common’s past year of commit activity
    C 14 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
  • crab Public

    A library for building abstract interpretation-based analyses

    seahorn/crab’s past year of commit activity
    C++ 227 Apache-2.0 32 6 4 Updated Apr 23, 2024
  • clam Public

    Static Analyzer for LLVM bitcode based on Abstract Interpretation

    seahorn/clam’s past year of commit activity
    C 266 Apache-2.0 37 2 1 Updated Apr 21, 2024
  • crab-pplite Public

    Crab abstract domain wrapper for PPLite domains

    seahorn/crab-pplite’s past year of commit activity
    C++ 0 0 0 0 Updated Apr 9, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…