Alternatives and similar repositories for SymbolicExecutionDemystified

Users that are interested in SymbolicExecutionDemystified are comparing it to the libraries listed below

• evm-sec / high-pcode

  View on GitHub
  Output high level Pcode (PcodeAST) in Ghidra
  ☆16Apr 7, 2023Updated 2 years ago
• angr / pypcode

  View on GitHub
  Python bindings to Ghidra's SLEIGH library for disassembly and lifting to P-Code IR
  ☆207Updated this week
• KiFilterFiberContext / BadlionLogger

  View on GitHub
  kernel driver used to monitor the activity of BadlionAnticheat.sys by patching its IAT
  ☆33Jul 9, 2021Updated 4 years ago
• mechanicalnull / phantasm

  View on GitHub
  Binary Ninja plugin for visualizing coverage over time
  ☆25Jan 15, 2022Updated 4 years ago
• trailofbits / maat

  View on GitHub
  Open-source symbolic execution framework: https://maat.re
  ☆648Sep 4, 2025Updated 5 months ago
• tum-i4 / dta-vs-osc

  View on GitHub
  Dynamic Taint Analysis versus Obfuscated Self-Checking
  ☆16Sep 5, 2021Updated 4 years ago
• eset / stadeo

  View on GitHub
  Control-flow-flattening and string deobfuscator
  ☆160Nov 8, 2021Updated 4 years ago
• Deputation / hygieia

  View on GitHub
  Hygieia, a vulnerable driver traces scanner written in C++ as an x64 Windows kernel driver.
  ☆150Feb 12, 2022Updated 4 years ago
• fugue-re / fugue-core

  View on GitHub
  A binary analysis framework written in Rust.
  ☆175Jun 25, 2025Updated 7 months ago
• UQ-PAC / llvm-translator

  View on GitHub
  ☆13Sep 25, 2023Updated 2 years ago
• airbus-cert / ttddbg

  View on GitHub
  Time Travel Debugging IDA plugin
  ☆593Jun 27, 2024Updated last year
• jeperez / WinREPL

  View on GitHub
  x86 and x64 assembly "read-eval-print loop" for Windows
  ☆35Aug 13, 2017Updated 8 years ago
• svv232 / 1nsanity

  View on GitHub
  LLVM pass that obfuscates against symbolic execution
  ☆77Jul 29, 2018Updated 7 years ago
• NudistBeaaach / Chained-CFG-obfuscation-pass

  View on GitHub
  LLVM obfuscation pass, flattening at the basic block's level and turning each basic block into a dispacher and each instruction into a ne…
  ☆49Aug 23, 2021Updated 4 years ago
• fplu / Detector

  View on GitHub
  A way to detect DBI frameworks, Debuggers and VMs.
  ☆24Nov 17, 2020Updated 5 years ago
• SoftwareSecurityLab / UbSym

  View on GitHub
  A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes
  ☆43May 7, 2023Updated 2 years ago
• Ostoic / distant

  View on GitHub
  A C++14/17 header-only Windows memory editing library with a focus on type safety and modern C++ style.
  ☆13Jun 3, 2019Updated 6 years ago
• DenuvoSoftwareSolutions / SiMBA

  View on GitHub
  Efficient Deobfuscation of Linear Mixed Boolean-Arithmetic Expressions
  ☆181Oct 12, 2023Updated 2 years ago
• borzacchiello / seninja

  View on GitHub
  symbolic execution plugin for binary ninja
  ☆346Jan 26, 2026Updated 2 weeks ago
• mrphrazer / msynth

  View on GitHub
  Code deobfuscation framework to simplify Mixed Boolean-Arithmetic (MBA) expressions
  ☆344Feb 2, 2026Updated last week
• quarkslab / rewind

  View on GitHub
  Snapshot-based coverage-guided windows kernel fuzzer
  ☆322Dec 16, 2021Updated 4 years ago
• mrphrazer / r2con2021_deobfuscation

  View on GitHub
  Workshop Material on VM-based Deobfuscation
  ☆196Oct 20, 2021Updated 4 years ago
• gaasedelen / lucid

  View on GitHub
  An Interactive Hex-Rays Microcode Explorer
  ☆646Feb 8, 2024Updated 2 years ago
• Impalabs / hyperpom

  View on GitHub
  AArch64 fuzzer based on the Apple Silicon hypervisor
  ☆196Nov 23, 2023Updated 2 years ago
• romainthomas / the-poor-mans-obfuscator

  View on GitHub
  Binary & scripts associated with "The Poor Man's Obfuscator" presentation
  ☆229Jul 6, 2022Updated 3 years ago
• FSecureLABS / z3_and_angr_binary_analysis_workshop

  View on GitHub
  Code and exercises for a workshop on z3 and angr
  ☆234Dec 29, 2020Updated 5 years ago
• LLVMParty / TicklingVMProtect

  View on GitHub
  Assets for the "Tickling VMProtect with LLVM" blog post.
  ☆166Sep 16, 2021Updated 4 years ago
• P1tt1cus / FastSymApi

  View on GitHub
  FastSymApi - A Fast API PDB Symbol Cache Server that efficiently caches and compresses PDBs on disk for quick and repeated retrieval.
  ☆19Updated this week
• xenocidewiki / riscv-disasm

  View on GitHub
  RISC-V Disassembler
  ☆18Aug 25, 2020Updated 5 years ago
• addrianyy / linux-vm

  View on GitHub
  Simple, WIP Linux x64 emulator using Windows Hypervisor Platform.
  ☆17Jun 5, 2020Updated 5 years ago
• ytk2128 / pe32-password

  View on GitHub
  A simple password-based PE encryptor for Windows 32-bit executables.
  ☆51Jan 9, 2025Updated last year
• mrphrazer / hitb2021ams_deobfuscation

  View on GitHub
  ☆72Jul 8, 2021Updated 4 years ago
• jxy-s / vfdynf

  View on GitHub
  Application Verifier Dynamic Fault Injection
  ☆40Jan 12, 2026Updated last month
• sum-catnip / kptnhook

  View on GitHub
  windows kernelmode driver to inject dll into each and every process and perform systemwide function hooking
  ☆53Aug 28, 2022Updated 3 years ago
• archercreat / vmpfix

  View on GitHub
  Universal x86/x64 VMProtect 2.0-3.X Import fixer
  ☆20Dec 29, 2021Updated 4 years ago
• 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
• therealdreg / cgaty

  View on GitHub
  Hooking the GDT - Installing a Call Gate. POC for Rootkit Arsenal Book Second Edition (version 2022)
  ☆73Aug 11, 2023Updated 2 years ago
• long123king / dk

  View on GitHub
  dk is a WinDbg extenion for dumping memory data in meaningful and organized ways, it is an enhancement of my previous tokenext project.
  ☆26Feb 2, 2026Updated last week
• LianKee / SO-CVEs

  View on GitHub
  ☆10Jun 5, 2023Updated 2 years ago