Alternatives and similar repositories for awesome-symbolic-execution

Users that are interested in awesome-symbolic-execution are comparing it to the libraries listed below

• eurecom-s3 / symcc

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

  View on GitHub
  KLEE Symbolic Execution Engine
  ☆2,898Jan 3, 2026Updated last month
• enzet / symbolic-execution

  View on GitHub
  History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
  ☆495Aug 24, 2024Updated last year
• sslab-gatech / qsym

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

  View on GitHub
  Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software v…
  ☆4,049Dec 2, 2025Updated 2 months ago
• wcventure / FuzzingPaper

  View on GitHub
  Recent Fuzzing Paper
  ☆2,737Nov 4, 2025Updated 3 months ago
• 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
• eurecom-s3 / symqemu

  View on GitHub
  SymQEMU: Compilation-based symbolic execution for binaries
  ☆370May 5, 2025Updated 9 months ago
• S2E / s2e

  View on GitHub
  S2E: A platform for multi-path program analysis with selective symbolic execution.
  ☆510Feb 1, 2026Updated 2 weeks ago
• secure-software-engineering / phasar

  View on GitHub
  A LLVM-based static analysis framework.
  ☆1,029Updated this week
• XMUsuny / symbolic-execution-papers

  View on GitHub
  Recent symbolic execution papers and tools.
  ☆182May 16, 2025Updated 9 months ago
• SVF-tools / SVF

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

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

  View on GitHub
  A Dynamic Binary Instrumentation framework based on LLVM.
  ☆1,725Jan 14, 2026Updated last month
• trailofbits / maat

  View on GitHub
  Open-source symbolic execution framework: https://maat.re
  ☆648Sep 4, 2025Updated 5 months ago
• strongcourage / awesome-directed-fuzzing

  View on GitHub
  A curated list of awesome directed fuzzing research papers
  ☆582Dec 27, 2025Updated last month
• trailofbits / manticore

  View on GitHub
  Symbolic execution tool
  ☆3,835Nov 21, 2025Updated 2 months ago
• shellphish / driller

  View on GitHub
  Driller: augmenting AFL with symbolic execution!
  ☆965Mar 24, 2025Updated 10 months ago
• angr / angr

  View on GitHub
  A powerful and user-friendly binary analysis platform!
  ☆8,493Updated this week
• ercoppa / symbolic-execution-tutorial

  View on GitHub
  Tutorial on Symbolic Execution. Hands-on session is based on the angr framework.
  ☆135May 14, 2021Updated 4 years ago
• illera88 / Ponce

  View on GitHub
  IDA 2016 plugin contest winner! Symbolic Execution just one-click away!
  ☆1,609Jun 11, 2025Updated 8 months ago
• googleprojectzero / TinyInst

  View on GitHub
  A lightweight dynamic instrumentation library
  ☆1,307Apr 1, 2025Updated 10 months ago
• lifting-bits / mcsema

  View on GitHub
  Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode
  ☆2,749Apr 26, 2022Updated 3 years ago
• saswatanand / symexbib

  View on GitHub
  A bibliography of papers related to symbolic execution
  ☆291Aug 12, 2016Updated 9 years ago
• airbus-seclab / bincat

  View on GitHub
  Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free…
  ☆1,844Feb 25, 2025Updated 11 months ago
• uds-se / fuzzingbook

  View on GitHub
  Project page for "The Fuzzing Book"
  ☆1,233Jan 22, 2026Updated 3 weeks ago
• AngoraFuzzer / Angora

  View on GitHub
  Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic e…
  ☆953Jul 18, 2022Updated 3 years ago
• cea-sec / miasm

  View on GitHub
  Reverse engineering framework in Python
  ☆3,822Jan 26, 2025Updated last year
• DynamoRIO / dynamorio

  View on GitHub
  Dynamic Instrumentation Tool Platform
  ☆3,017Updated this week
• lifting-bits / remill

  View on GitHub
  Library for lifting machine code to LLVM bitcode
  ☆1,591Updated this week
• strongcourage / uafuzz

  View on GitHub
  UAFuzz: Binary-level Directed Fuzzing for Use-After-Free Vulnerabilities
  ☆350Sep 25, 2023Updated 2 years ago
• panda-re / panda

  View on GitHub
  Platform for Architecture-Neutral Dynamic Analysis
  ☆2,718Feb 4, 2026Updated last week
• R-Fuzz / symsan

  View on GitHub
  A LLVM Sanitizer for Symbolic Tracing
  ☆234Feb 7, 2026Updated last week
• BinaryAnalysisPlatform / bap

  View on GitHub
  Binary Analysis Platform
  ☆2,214Apr 30, 2025Updated 9 months ago
• SQLab / symgdb

  View on GitHub
  SymGDB - symbolic execution plugin for gdb
  ☆218May 15, 2018Updated 7 years ago
• 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
• JonathanSalwan / Tigress_protection

  View on GitHub
  Playing with the Tigress software protection. Break some of its protections and solve their reverse engineering challenges. Automatic deo…
  ☆881Nov 21, 2023Updated 2 years ago
• secfigo / Awesome-Fuzzing

  View on GitHub
  A curated list of fuzzing resources ( Books, courses - free and paid, videos, tools, tutorials and vulnerable applications to practice on…
  ☆5,742Apr 3, 2024Updated last year
• jakespringer / angr_ctf

  View on GitHub
  ☆1,101Mar 14, 2024Updated last year