Alternatives and similar repositories for pRETzel_logic

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

• hugsy / bochscpu-python
  Python bindings for BochsCPU
  ☆37Updated 2 weeks ago
• retrage / efiSeek
  Ghidra analyzer for UEFI firmware.
  ☆18Updated 2 years ago
• SoftwareSecurityLab / UbSym
  A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes
  ☆43Updated 2 years ago
• psifertex / breaking_decompilers
  breaking decompilers
  ☆50Updated 3 months ago
• Vector35 / idb-import-plugin
  IDA Database Importer plugin for Binary Ninja
  ☆37Updated 11 months ago
• mechanicalnull / phantasm
  Binary Ninja plugin for visualizing coverage over time
  ☆25Updated 3 years ago
• eset / wslink-vm-analyzer
  WslinkVMAnalyzer is a tool to facilitate analysis of code protected by a virtual machine featured in Wslink malware
  ☆46Updated 3 years ago
• hugsy / ida-headless
  IDA (sort of) headless
  ☆25Updated last year
• thezdi / binaryninja
  binary ninja related code
  ☆36Updated 5 months ago
• therealdreg / bochs_linux_kernel_debugging
  Tools for Linux kernel debugging on Bochs (including symbols, native Bochs debugger and IDA PRO)
  ☆31Updated 2 years ago
• samrussell / obfus
  Playing with LLVM passes
  ☆37Updated 2 years ago
• ViRb3 / swift-ida
  IDA plugin to aid with Swift reverse engineering
  ☆39Updated 10 months ago
• seanwupi / ida-dark-plus
  Dark+ Theme
  ☆49Updated last year
• mistymntncop / CVE-2024-7971
  ☆33Updated 4 months ago
• airbus-seclab / AutoResolv
  ☆82Updated 2 years ago
• sad-c0der / VM-Challenge
  A Simple VM-based challenge created using the academic tigress obfuscator
  ☆18Updated 3 years ago
• chop-project / chop
  Binary exploitation by confusing the unwinder
  ☆63Updated 2 years ago
• kiks7 / KRWX
  Kernel Read Write Execute
  ☆84Updated 11 months ago
• 0xdea / haruspex
  Vulnerability research assistant that extracts pseudo-code from the IDA Hex-Rays decompiler.
  ☆56Updated last week
• cellebrite-labs / PPLorer
  IDA plugin that resolves PPL calls to the actual underlying PPL function.
  ☆58Updated 2 years ago
• long123king / dk
  dk is a WinDbg extenion for dumping memory data in meaningful and organized ways, it is an enhancement of my previous tokenext project.
  ☆24Updated 2 years ago
• gilboz / ida_kernelcache_ng
  ☆39Updated last month
• rand-tech / ida9rewriter
  Bump your ida python script automatically!
  ☆29Updated 4 months ago
• RICSecLab / AFLplusplus-cs
  ☆18Updated 3 years ago
• reductor / dice-ctf-2022-breach-writeup
  Dice CTF 2022 breach write-up
  ☆15Updated 3 years ago
• joeywang4 / Flexo
  A compiler for microarchitectural weird machines
  ☆14Updated last year
• doyensec / vbox-fuzz
  Companion to the "Introduction to VirtualBox security research" Blog Post
  ☆30Updated 3 years ago
• rand-tech / pcm
  MCP for reverse engineering
  ☆43Updated 4 months ago
• hgarrereyn / nfuncs-agent
  Proof of concept agentic solver for nfuncs from DEF CON Quals 2025
  ☆21Updated 4 months ago
• Rantanen / ghidra-minidump-loader
  Windows Minidump loader for Ghidra
  ☆29Updated 2 years ago