☆75Jan 14, 2024Updated 2 years ago
Alternatives and similar repositories for retypd
Users that are interested in retypd are comparing it to the libraries listed below
Sorting:
- ☆13Jun 20, 2022Updated 3 years ago
- Retypd plugin for Ghidra reverse engineering framework from NSA☆27Jul 6, 2023Updated 2 years ago
- Dr. Disassembler☆38Jan 5, 2022Updated 4 years ago
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆39Updated this week
- Scalable Validator for Binary Lifters☆62Jun 28, 2020Updated 5 years ago
- Binary Type Inference Ghidra Plugin☆168Feb 9, 2024Updated 2 years ago
- ☆21Sep 10, 2024Updated last year
- BinRec: Dynamic Binary Lifting and Recompilation☆149Sep 18, 2023Updated 2 years ago
- Python bit pattern library for instruction encodings. Bytes in, IR out!☆15Mar 6, 2022Updated 3 years ago
- AFL++ using the Ball-Larus path profiling algorithm for coverage feedback☆15Oct 31, 2022Updated 3 years ago
- Intermediate Representation for Binary analysis and transformation☆349Jan 14, 2026Updated last month
- Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers☆59May 20, 2025Updated 9 months ago
- Program analysis tools developed at Draper on the CBAT project.☆106Apr 13, 2023Updated 2 years ago
- ☆13Nov 9, 2022Updated 3 years ago
- Binary Ninja plugin to automate the process of generating pseudo-C code, running Semgrep over the pseudo-C, and presenting the results.☆34Feb 4, 2025Updated last year
- QEMU to drcov trace file☆11Nov 21, 2020Updated 5 years ago
- A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes☆43May 7, 2023Updated 2 years ago
- Supporting Materials for “Symbolic Triage” blog post☆24Oct 31, 2022Updated 3 years ago
- grap: define and match graph patterns within binaries☆155May 5, 2022Updated 3 years ago
- TTexplore is a library that performs path exploration on binary code using symbolic execution☆82Nov 14, 2022Updated 3 years ago
- A research decompiler implemented as a Binary Ninja plugin.☆218Jan 27, 2026Updated last month
- A library for dynamic binary rewriting☆59Feb 10, 2021Updated 5 years ago
- An awesome & curated list of binary rewriting papers☆263Apr 4, 2022Updated 3 years ago
- Symbolic Execution Engine based on Ghidra's PCode☆84Mar 16, 2023Updated 2 years ago
- An IDA plugin that eases reversing of binaries that have been code-size-optimized with function outlining☆224Dec 31, 2024Updated last year
- A collection of software bug types and articles showcasing the hunt for and exploitation of them.☆20Mar 2, 2021Updated 4 years ago
- Dynamic Taint Analysis versus Obfuscated Self-Checking☆16Sep 5, 2021Updated 4 years ago
- This PoC illustrates our work on asymmetric white-box cryptography, it can be used to generate a set of lookup tables used for lattice-ba…☆21Mar 24, 2021Updated 4 years ago
- Xyntia, the black-box deobfuscator☆87Dec 11, 2025Updated 2 months ago
- Tutorial for Building Program Reasoning Tools using LLVM and Z3☆19Jan 20, 2020Updated 6 years ago
- Pretty printer from GTIRB to assembly code☆50Nov 4, 2025Updated 3 months ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆29Jul 7, 2021Updated 4 years ago
- A fast and accurate disassembler☆739Jan 23, 2026Updated last month
- dk is a WinDbg extenion for dumping memory data in meaningful and organized ways, it is an enhancement of my previous tokenext project.☆26Feb 2, 2026Updated last month
- Scripts from Ghidra Golf competitions☆34Jan 24, 2023Updated 3 years ago
- ASPFuzz: Fuzzing the AMD SP's ROM bootloader with LibAFL using QEMU full-system emulation☆30Apr 12, 2023Updated 2 years ago
- Pandemic binary program analysis framework in OCaml (abandoned)☆71May 28, 2019Updated 6 years ago
- This plugin serves as a bridge between Binary Ninja and Ghidra's disassembler.☆36Jun 27, 2022Updated 3 years ago
- LLVM based static binary analysis framework☆302Apr 2, 2025Updated 11 months ago