Alternatives and similar repositories for sea-dsa

Users that are interested in sea-dsa are comparing it to the libraries listed below

• seahorn / clam

  View on GitHub
  Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev1…
  ☆287Apr 21, 2024Updated last year
• seahorn / crab

  View on GitHub
  A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.
  ☆250Oct 23, 2024Updated last year
• mchalupa / dg

  View on GitHub
  [LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
  ☆524May 21, 2025Updated 8 months ago
• seahorn / seahorn

  View on GitHub
  SeaHorn Verification Framework
  ☆470May 27, 2025Updated 8 months ago
• sdasgup3 / validating-binary-decompilation

  View on GitHub
  Scalable Validator for Binary Lifters
  ☆62Jun 28, 2020Updated 5 years ago
• secure-software-engineering / phasar

  View on GitHub
  A LLVM-based static analysis framework.
  ☆1,029Feb 10, 2026Updated last week
• staticafi / symbiotic

  View on GitHub
  Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
  ☆335Feb 2, 2026Updated 2 weeks ago
• GaloisInc / cclyzerpp

  View on GitHub
  cclyzer++ is a precise and scalable pointer analysis for LLVM code.
  ☆149Jan 30, 2025Updated last year
• SVF-tools / SVF

  View on GitHub
  Static Value-Flow Analysis Framework for Source Code
  ☆1,646Feb 6, 2026Updated last week
• GaloisInc / yapall

  View on GitHub
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆68Mar 1, 2025Updated 11 months ago
• qingkaishi / context-sensitive-reachability

  View on GitHub
  Indexing reachability for context-sensitive data flow analysis.
  ☆12Jul 10, 2022Updated 3 years ago
• awen-li / PCA

  View on GitHub
  A data dependence analyzer for C program
  ☆20Jan 23, 2022Updated 4 years ago
• trailofbits / polytracker

  View on GitHub
  An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.
  ☆588Apr 8, 2025Updated 10 months ago
• travitch / whole-program-llvm

  View on GitHub
  A wrapper script to build whole-program LLVM bitcode files
  ☆730Dec 30, 2025Updated last month
• eurecom-s3 / symcc

  View on GitHub
  SymCC: efficient compiler-based symbolic execution
  ☆856May 12, 2025Updated 9 months ago
• davidtr1037 / chopper

  View on GitHub
  KLEE / CSE Project
  ☆48Apr 3, 2020Updated 5 years ago
• regehr / llvm-dataflow-info

  View on GitHub
  print information from LLVM dataflow analyses
  ☆13Jan 22, 2020Updated 6 years ago
• PLSysSec / sys

  View on GitHub
  Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
  ☆236Mar 14, 2022Updated 3 years ago
• vusec / dangzero

  View on GitHub
  ☆18Sep 4, 2023Updated 2 years ago
• ShiftLeftSecurity / llvm2cpg

  View on GitHub
  LLVM meets Code Property Graphs
  ☆96Feb 27, 2021Updated 4 years ago
• cuplv / dai

  View on GitHub
  DAI: Demanded Abstract Interpretation
  ☆16Sep 23, 2024Updated last year
• grievejia / andersen

  View on GitHub
  Andersen's inclusion-based pointer analysis re-implementation in LLVM
  ☆234Jun 19, 2019Updated 6 years ago
• GaloisInc / renovate

  View on GitHub
  A library for binary analysis and rewriting
  ☆49Sep 28, 2023Updated 2 years ago
• SRI-CSL / gllvm

  View on GitHub
  Whole Program LLVM: wllvm ported to go
  ☆332Apr 28, 2024Updated last year
• smackers / smack

  View on GitHub
  SMACK Software Verifier and Verification Toolchain
  ☆442Apr 18, 2025Updated 9 months ago
• andreafioraldi / FuzzSplore

  View on GitHub
  FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques
  ☆37Feb 6, 2021Updated 5 years ago
• sslab-gatech / qsym

  View on GitHub
  QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing
  ☆656Nov 23, 2022Updated 3 years ago
• GrammaTech / ddisasm

  View on GitHub
  A fast and accurate disassembler
  ☆739Jan 23, 2026Updated 3 weeks ago
• gryan11 / PGA

  View on GitHub
  Proximal Gradient Analysis open source release based on our USENIX Security 2021 paper: "Fine Grained Dataflow Analysis with Proximal Gra…
  ☆32Apr 29, 2021Updated 4 years ago
• evanmak / savior-source

  View on GitHub
  source code for savior fuzzer
  ☆127Oct 1, 2020Updated 5 years ago
• vhscampos / range-analysis

  View on GitHub
  Static range analysis for the LLVM compiler infrastructure.
  ☆56Oct 8, 2019Updated 6 years ago
• plast-lab / cclyzer

  View on GitHub
  A tool for analyzing LLVM bitcode using Datalog.
  ☆101Oct 2, 2020Updated 5 years ago
• seahorn / verify-c-common

  View on GitHub
  ☆20May 30, 2024Updated last year
• dafny-lang / xdsmith

  View on GitHub
  Fuzz testing for Dafny
  ☆13Jul 7, 2022Updated 3 years ago
• SoftSec-KAIST / Eclipser

  View on GitHub
  Grey-box Concolic Testing on Binary Code (ICSE '19)
  ☆156Oct 4, 2021Updated 4 years ago
• AFLplusplus / AFL-Snapshot-LKM

  View on GitHub
  A Linux Kernel Module that implements a fast snapshot mechanism for fuzzing.
  ☆141Aug 17, 2021Updated 4 years ago
• trailofbits / Honeybee

  View on GitHub
  An experimental high performance, fuzzing oriented Intel Processor Trace capture and analysis suite
  ☆131Feb 13, 2022Updated 4 years ago
• trailofbits / vast

  View on GitHub
  VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choo…
  ☆434Updated this week
• PLSysSec / haybale

  View on GitHub
  Symbolic execution of LLVM IR with an engine written in Rust
  ☆572Oct 27, 2023Updated 2 years ago