Alternatives and similar repositories for pRETzel_logic

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

• retrage / efiSeek
  Ghidra analyzer for UEFI firmware.
  ☆18Updated 2 years ago
• sad-c0der / VM-Challenge
  A Simple VM-based challenge created using the academic tigress obfuscator
  ☆18Updated 3 years ago
• mechanicalnull / phantasm
  Binary Ninja plugin for visualizing coverage over time
  ☆25Updated 3 years ago
• hgarrereyn / nfuncs-agent
  Proof of concept agentic solver for nfuncs from DEF CON Quals 2025
  ☆23Updated 6 months ago
• RICSecLab / AFLplusplus-cs
  ☆19Updated 3 years ago
• Bigdrea6 / winapi-ghidra
  Make the Windows API in Ghidra easy to read and informative.
  ☆28Updated 3 years ago
• hugsy / bochscpu-python
  Python bindings for BochsCPU
  ☆37Updated 2 months ago
• airbus-seclab / AutoResolv
  ☆83Updated 3 years ago
• SoftwareSecurityLab / UbSym
  A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes
  ☆42Updated 2 years ago
• binarly-io / idapcode
  IDA plugin displaying the P-Code for the current function
  ☆67Updated 2 years ago
• hugsy / ropgadget-rs
  Another (bad) ROP gadget finder, but this time in Rust
  ☆22Updated last year
• 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
• gilboz / ida_kernelcache_ng
  ☆39Updated 3 months ago
• NyaMisty / ida_kern
  Raw IDA Kernel API for IDAPython
  ☆34Updated 3 years ago
• hugsy / ida-headless
  IDA (sort of) headless
  ☆26Updated last year
• Vector35 / idb-import-plugin
  IDA Database Importer plugin for Binary Ninja
  ☆37Updated last year
• reductor / dice-ctf-2022-breach-writeup
  Dice CTF 2022 breach write-up
  ☆15Updated 3 years ago
• shijy16 / WDFuzzer
  A coverage-guided and memory-detection enabled fuzzer for windows applications.
  ☆32Updated 4 years ago
• JonathanSalwan / ttexplore
  TTexplore is a library that performs path exploration on binary code using symbolic execution
  ☆80Updated 2 years ago
• psifertex / breaking_decompilers
  breaking decompilers
  ☆52Updated 5 months ago
• ViRb3 / swift-ida
  IDA plugin to aid with Swift reverse engineering
  ☆39Updated last year
• seanwupi / ida-dark-plus
  Dark+ Theme
  ☆49Updated last year
• Jinmo / IDA8-Alleycat
  Alleycat plugin by devttys0, ported to IDA 8
  ☆11Updated 9 months ago
• TeumessianFox / ASPFuzz
  ASPFuzz: Fuzzing the AMD SP's ROM bootloader with LibAFL using QEMU full-system emulation
  ☆30Updated 2 years ago
• evm-sec / high-pcode
  Output high level Pcode (PcodeAST) in Ghidra
  ☆16Updated 2 years ago
• mrphrazer / r2con2020_deobfuscation
  ☆76Updated 4 years ago
• samrussell / obfus
  Playing with LLVM passes
  ☆37Updated 2 years ago
• r4j0x00 / ctf-challenges
  CTF challenges that I created
  ☆18Updated 3 years ago
• therealdreg / bochs_linux_kernel_debugging
  Tools for Linux kernel debugging on Bochs (including symbols, native Bochs debugger and IDA PRO)
  ☆32Updated 2 years ago
• thezdi / binaryninja
  binary ninja related code
  ☆37Updated 7 months ago