Alternatives and similar repositories for symex

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

• backengineering / elderscroll
  PDB Rewriting Rust Library
  ☆26Updated last year
• dwuid / chenxification
  Exemplary LLVM function pass implementing Control Flow Flattening.
  ☆17Updated 7 years ago
• x1tan / rust-uefi-runtime-driver
  Template for UEFI runtime drivers written in Rust with serial logging and debugging support.
  ☆61Updated 5 years ago
• kromych / disarm64
  Instruction decoder generator
  ☆32Updated 7 months ago
• fugue-re / fuguex-core
  A binary analysis framework written in Rust.
  ☆21Updated last year
• ergrelet / cpplumber
  Static analysis tool based on clang, which detects source-to-binary information leaks in C and C++ projects
  ☆86Updated 3 years ago
• cassanof / safe-llvm
  LLVM Without The ROP Gadgets!
  ☆26Updated last year
• POPFD / cascade
  A thin introspection hypervisor framework that allows for low level resource manipulation.
  ☆12Updated last year
• Vector35 / pdb-rs
  A parser for Microsoft PDB (Program Database) debugging information
  ☆22Updated last year
• b-irb / PigPEI
  PEIM (UEFI) bootkit targeting OVMF (EDK2)
  ☆42Updated 2 years ago
• archercreat / llvm_stuff
  LLVM based devirtualization PoC’s.
  ☆21Updated 4 years ago
• r3bb1t / bin_lift
  Rust library for lifting raw binary data to LLVM IR
  ☆60Updated 5 months ago
• tum-i4 / dta-vs-osc
  Dynamic Taint Analysis versus Obfuscated Self-Checking
  ☆16Updated 4 years ago
• DenuvoSoftwareSolutions / DVRT
  How Meltdown and Spectre haunt Anti-Cheat: DVRT details
  ☆22Updated last year
• shareef12 / driveranalyzer
  Binary Ninja plugin to perform automated analysis of Windows drivers
  ☆20Updated 6 years ago
• cxiao / rust_type_layout_helper_bn
  An extremely experimental Binary Ninja importer for the type layout information emitted by the -Zprint-type-sizes flag of the Rust compil…
  ☆38Updated 2 years ago
• sha0coder / libscemu
  SCEMU The crates.io lib, x86 cpu and systems emulator focused mainly for anti-malware
  ☆48Updated last year
• teabound / egui-cfg
  egui library for displaying control flow graphs using petgraph, and rust sugiyama.
  ☆30Updated this week
• UQ-PAC / llvm-translator
  ☆13Updated 2 years ago
• stevietrouble / haxrs
  Cheat Engine alternative written in Rust
  ☆12Updated 3 years ago
• pr0cf5 / move-bytecode-llvm-compiler
  ☆37Updated 2 years ago
• Vector35 / idb-rs
  IDB parser
  ☆24Updated last month
• evm-sec / high-pcode
  Output high level Pcode (PcodeAST) in Ghidra
  ☆16Updated 2 years ago
• Rantanen / ghidra-minidump-loader
  Windows Minidump loader for Ghidra
  ☆29Updated 3 years ago
• backengineering / vmhook
  A demonstration of hooking into the VMProtect-2 virtual machine
  ☆23Updated 2 years ago
• kukrimate / grr
  AMD SVM hypervisor rootkit proof of concept
  ☆48Updated 2 years ago
• pd0wm / binaryninja-pcode
  This plugin serves as a bridge between Binary Ninja and Ghidra's disassembler.
  ☆36Updated 3 years ago
• memflow / reflow
  function executor based on unicorn and memflow
  ☆92Updated 5 months ago
• Pusty / ferret
  Mixed Boolean Arithmetic Simplification using E-Graphs
  ☆24Updated 8 months ago
• samrussell / obfus
  Playing with LLVM passes
  ☆38Updated 2 years ago