A tool for synthesizing code-reuse attacks (aka ROP) from a reference program, powered by logical modeling of Ghidra's `p-code` IL.
☆23Dec 25, 2025Updated 2 months ago
Alternatives and similar repositories for crackers
Users that are interested in crackers are comparing it to the libraries listed below
Sorting:
- ☆11Jan 28, 2022Updated 4 years ago
- A Rust doubly-linked intrusive list with Miri tests☆12May 4, 2024Updated last year
- A cli-based, multi-architecture gadget-finding tool, designed for fast operation, even with large binaries like browser engines and OS ke…☆17May 1, 2024Updated last year
- Slides and materials for the talk Reconstructing Rust Types: A Practical Guide for Reverse Engineers at RE//verse 2025, presented on Febr…☆20May 23, 2025Updated 9 months ago
- ASTERIX Encode/Decoder Library☆14Apr 27, 2025Updated 10 months ago
- Experimenting with Rust's fundamental data model☆58Feb 10, 2026Updated 2 weeks ago
- Lightweight binary to download only project required crates for offline crates.io mirror☆46Feb 13, 2026Updated 2 weeks ago
- Resolve symbols from release rust binaries on Windows☆21Jan 17, 2024Updated 2 years ago
- The Pulse separation logic DSL for F*☆34Updated this week
- WIP UEFI Display Driver for embedded-graphics☆25Jul 29, 2021Updated 4 years ago
- Mixed Boolean Arithmetic Simplification using E-Graphs☆24May 1, 2025Updated 10 months ago
- ☆12Sep 13, 2023Updated 2 years ago
- SMT Modeling and Configurable Program Analysis for Ghidra's PCODE☆32Updated this week
- Instruction decoder generator☆35May 5, 2025Updated 9 months ago
- Updates DWARF debug sections and ELF symbols with info obtained through disassembly☆30Jul 9, 2024Updated last year
- Teleporter is a simple application for sending files from Point A to Point B☆34Feb 27, 2023Updated 3 years ago
- CTADL is a static taint analysis tool☆51Aug 29, 2025Updated 6 months ago
- A structured fuzzing framework built in Rust☆31Oct 10, 2022Updated 3 years ago
- Read and save MSFS aircraft state and apply to next flight☆10Nov 11, 2025Updated 3 months ago
- CN separation logic refinement type system for C☆45Feb 16, 2026Updated last week
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆39Updated this week
- A multi-fuzzer management utility for all of your Rust fuzzing needs 🧑🎤☆80Feb 6, 2026Updated 3 weeks ago
- Python library for CPGQL server☆41Jun 4, 2024Updated last year
- Easy SMT solver interaction☆34Feb 3, 2026Updated 3 weeks ago
- Monorepo for generating, parsing, debugging WebAssembly coredump☆37Dec 31, 2024Updated last year
- AoT is a system for automatically generating off-target test harness by using build information.☆39Dec 6, 2024Updated last year
- Ghidra Sleight (PCode) parsing library in Rust.☆44Dec 29, 2024Updated last year
- The Linux Routing Agent for hyperglass☆13Feb 28, 2021Updated 5 years ago
- ☆47Feb 2, 2026Updated 3 weeks ago
- An app which reads data from a serial port and serves it on a TCP port.☆11Oct 7, 2023Updated 2 years ago
- Analyze experimental data with Programming by Navigation☆13Updated this week
- An OpenAI-powered triage bot for a slack support channel designed to tag oncalls, prioritize issues, suggest solutions, and streamline co…☆12Jun 11, 2025Updated 8 months ago
- Statistics from our binary transformation framework☆11Jan 16, 2025Updated last year
- Minecraft Redstone Compiler☆14Feb 9, 2025Updated last year
- A collection of very basic allocators. Written with WebAssembly in mind.☆14Jan 12, 2024Updated 2 years ago
- ☆12Jan 28, 2026Updated last month
- The Delphin Project☆10Aug 19, 2016Updated 9 years ago
- BSim signatures and databases for Ghidra to recover function symbols with☆13Jul 11, 2024Updated last year
- Static analysis toolkit for security analysis in Aleo programs☆10Mar 29, 2024Updated last year