Alternatives and similar repositories for denvdis

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

• Vector35 / pdb-rs
  A parser for Microsoft PDB (Program Database) debugging information
  ☆27Updated 6 months ago
• norlen / symex
  Symbolic Execution Engine in Rust
  ☆20Updated last year
• ergrelet / cpplumber
  Static analysis tool based on clang, which detects source-to-binary information leaks in C and C++ projects
  ☆85Updated 2 years ago
• lifting-bits / patchestry
  Patchestry is a binary patching framework built with MLIR and Ghidra.
  ☆19Updated this week
• elastic / die-rust
  Native Rust bindings for @horsicq's Detect-It-Easy
  ☆15Updated 4 months ago
• dwuid / chenxification
  Exemplary LLVM function pass implementing Control Flow Flattening.
  ☆17Updated 7 years ago
• n4r1b / win-drvutils-rs
  Collection of Windows Driver Utils
  ☆11Updated last year
• archercreat / llvm_stuff
  LLVM based devirtualization PoC’s.
  ☆20Updated 3 years ago
• MaxXSoft / sigma-vm
  Sigma Virtual Machine.
  ☆22Updated last year
• phulin / symbolic-trace
  Symbolic execution of LLVM IR traces for program understanding.
  ☆27Updated 11 years ago
• r3bb1t / bin_lift
  Rust library for lifting raw binary data to LLVM IR
  ☆51Updated last month
• backengineering / elderscroll
  PDB Rewriting Rust Library
  ☆24Updated last year
• microsoft / vbs-enclave-rs
  Sample Rust crate used to implement a VBS enclave in Rust
  ☆18Updated last month
• mrexodia / cxx-common-cmake
  Experiment building lifting-bits dependencies with pure CMake. Migrated to:
  ☆22Updated 7 months ago
• kromych / disarm64
  Instruction decoder generator
  ☆18Updated 3 weeks ago
• LLVMParty / llvm-headers
  Easily search LLVM headers for all major versions!
  ☆19Updated 3 months ago
• Colton1skees / Remill.NET
  .NET bindings for Remill
  ☆13Updated 11 months ago
• BenH11235 / rust-re-tour
  A tour of what some Rust language features look like after compilation.
  ☆45Updated last year
• SoftwareSecurityLab / UbSym
  A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes
  ☆43Updated 2 years ago
• Pusty / ferret
  Mixed Boolean Arithmetic Simplification using E-Graphs
  ☆20Updated last month
• evm-sec / high-pcode
  Output high level Pcode (PcodeAST) in Ghidra
  ☆16Updated 2 years ago
• b-irb / PigPEI
  PEIM (UEFI) bootkit targeting OVMF (EDK2)
  ☆35Updated last year
• 0xricksanchez / Shellcoder
  BinjaryNinja plugin for a ShellStorm like assembly/disassembly experience
  ☆14Updated 6 months ago
• Vector35 / idb-rs
  IDB parser
  ☆17Updated this week
• cassanof / safe-llvm
  LLVM Without The ROP Gadgets!
  ☆26Updated last year
• insufficiently-caffeinated / caffeine
  A symbolic execution engine for LLVM IR
  ☆51Updated 3 years ago
• agra-uni-bremen / BinSym
  Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model
  ☆46Updated this week
• Azvanzed / kernel-task-rs
  An xtask to speed up Windows kernel driver development in rust.
  ☆19Updated 10 months ago
• mrexodia / binja-standalone-api
  Standalone API for Binary Ninja's LLIL
  ☆18Updated 9 months ago
• codereversing / ted_api
  ☆35Updated 2 years ago