Alternatives and similar repositories for symex

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

• Azvanzed / kernel-task-rs
  An xtask to speed up Windows kernel driver development in rust.
  ☆19Updated 10 months ago
• 389850689 / YASH
  Yet Another Simple Hypervisor
  ☆10Updated 3 years ago
• fugue-re / fuguex-core
  A binary analysis framework written in Rust.
  ☆20Updated last year
• backengineering / elderscroll
  PDB Rewriting Rust Library
  ☆24Updated last year
• johannst / juicebox-asm
  x64 jit assembler
  ☆12Updated this week
• b-irb / PigPEI
  PEIM (UEFI) bootkit targeting OVMF (EDK2)
  ☆34Updated last year
• r3bb1t / bin_lift
  Rust library for lifting raw binary data to LLVM IR
  ☆50Updated last month
• cassanof / safe-llvm
  LLVM Without The ROP Gadgets!
  ☆26Updated last year
• mechanicalnull / phantasm
  Binary Ninja plugin for visualizing coverage over time
  ☆25Updated 3 years ago
• milkyapps / llvmgr
  LLVM Manager - downloads, compiles and installs LLVM versions
  ☆9Updated 7 months ago
• microsoft / vbs-enclave-rs
  Sample Rust crate used to implement a VBS enclave in Rust
  ☆18Updated 3 weeks ago
• archercreat / llvm_stuff
  LLVM based devirtualization PoC’s.
  ☆20Updated 3 years ago
• backengineering / vmhook
  A demonstration of hooking into the VMProtect-2 virtual machine
  ☆19Updated last year
• Vector35 / idb-rs
  IDB parser
  ☆17Updated 2 weeks ago
• kromych / disarm64
  Instruction decoder generator
  ☆17Updated last week
• dwuid / chenxification
  Exemplary LLVM function pass implementing Control Flow Flattening.
  ☆16Updated 7 years ago
• shareef12 / driveranalyzer
  Binary Ninja plugin to perform automated analysis of Windows drivers
  ☆17Updated 5 years ago
• tum-i4 / dta-vs-osc
  Dynamic Taint Analysis versus Obfuscated Self-Checking
  ☆16Updated 3 years ago
• evm-sec / high-pcode
  Output high level Pcode (PcodeAST) in Ghidra
  ☆16Updated 2 years ago
• redplait / denvdis
  NVidia sass disassembler
  ☆14Updated this week
• N0fix / IDA_rust_metadata_finder
  IDA plugin to recover source code from panic information on rust
  ☆13Updated last week
• NotDec / NotDec-wasm2llvm
  Translating WebAssembly into the most simple LLVM IR.
  ☆10Updated this week
• 0vercl0k / kdmp-parser-rs
  A KISS Rust crate to parse Windows kernel crash-dumps created by Windows & its debugger.
  ☆34Updated 3 months ago
• hugsy / ropgadget-rs
  Another (bad) ROP gadget finder, but this time in Rust
  ☆20Updated last year
• UQ-PAC / llvm-translator
  ☆13Updated last year
• samrussell / obfus
  Playing with LLVM passes
  ☆36Updated last year
• fvrmatteo / oracle-synthesis-meets-equality-saturation
  ☆23Updated 2 months ago
• psifertex / callgraph
  Binary Ninja Call Graph plugin
  ☆20Updated 3 years ago
• SoftwareSecurityLab / UbSym
  A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes
  ☆43Updated 2 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…
  ☆36Updated last year