Alternatives and similar repositories for symex:

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

• b-irb / PigPEI
  PEIM (UEFI) bootkit targeting OVMF (EDK2)
  ☆33Updated last year
• r3bb1t / bin_lift
  Rust library for lifting raw binary data to LLVM IR
  ☆44Updated 4 months ago
• fugue-re / fuguex-core
  A binary analysis framework written in Rust.
  ☆20Updated last year
• Azvanzed / kernel-task-rs
  An xtask to speed up Windows kernel driver development in rust.
  ☆18Updated 6 months ago
• archercreat / llvm_stuff
  LLVM based devirtualization PoC’s.
  ☆20Updated 3 years ago
• milkyapps / llvmgr
  LLVM Manager - downloads, compiles and installs LLVM versions
  ☆9Updated 4 months ago
• elastic / die-rust
  Native Rust bindings for @horsicq's Detect-It-Easy
  ☆13Updated this week
• mechanicalnull / phantasm
  Binary Ninja plugin for visualizing coverage over time
  ☆25Updated 3 years ago
• steventrouble / haxrs
  Cheat Engine alternative written in Rust
  ☆12Updated 2 years ago
• backengineering / elderscroll
  PDB Rewriting Rust Library
  ☆21Updated 9 months ago
• tum-i4 / dta-vs-osc
  Dynamic Taint Analysis versus Obfuscated Self-Checking
  ☆16Updated 3 years ago
• fvrmatteo / oracle-synthesis-meets-equality-saturation
  ☆22Updated this week
• backengineering / vmhook
  A demonstration of hooking into the VMProtect-2 virtual machine
  ☆17Updated last year
• dwuid / chenxification
  Exemplary LLVM function pass implementing Control Flow Flattening.
  ☆16Updated 6 years ago
• hugsy / ropgadget-rs
  Another (bad) ROP gadget finder, but this time in Rust
  ☆18Updated 9 months ago
• 389850689 / YASH
  Yet Another Simple Hypervisor
  ☆10Updated 3 years ago
• samrussell / obfus
  Playing with LLVM passes
  ☆36Updated last year
• SoftwareSecurityLab / UbSym
  A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes
  ☆43Updated last year
• x1tan / rust-uefi-runtime-driver
  Template for UEFI runtime drivers written in Rust with serial logging and debugging support.
  ☆58Updated 4 years ago
• evm-sec / high-pcode
  Output high level Pcode (PcodeAST) in Ghidra
  ☆15Updated last year
• mrexodia / llvm-headers
  Easily search LLVM headers for all major versions!
  ☆19Updated 3 months ago
• cassanof / safe-llvm
  LLVM Without The ROP Gadgets!
  ☆26Updated last year
• atredis-jordan / SymbolicTriagePost
  Supporting Materials for “Symbolic Triage” blog post
  ☆24Updated 2 years ago
• UQ-PAC / llvm-translator
  ☆13Updated last year
• mrexodia / cxx-common-cmake
  Experiment building lifting-bits dependencies with pure CMake. Migrated to:
  ☆21Updated 3 months ago
• POPFD / cascade
  A thin introspection hypervisor framework that allows for low level resource manipulation.
  ☆13Updated last year
• ergrelet / cpplumber
  Static analysis tool based on clang, which detects source-to-binary information leaks in C and C++ projects
  ☆81Updated 2 years ago
• unknowntrojan / mapparse
  a parser for the .map file included in the aimware leak
  ☆17Updated last year
• Pusty / ferret
  Mixed Boolean Arithmetic Simplification using E-Graphs
  ☆12Updated last week
• Vector35 / idb-rs
  IDB parser
  ☆14Updated this week