The Manticore User Interface with plugins for Binary Ninja and Ghidra
☆75Mar 20, 2024Updated last year
Alternatives and similar repositories for ManticoreUI
Users that are interested in ManticoreUI are comparing it to the libraries listed below
Sorting:
- Simple x64dbg plugin to show registers on every step.☆16Jul 27, 2019Updated 6 years ago
- Personal curation of Clang/LLVM patches.☆12Feb 27, 2021Updated 5 years ago
- A way to detect DBI frameworks, Debuggers and VMs.☆24Nov 17, 2020Updated 5 years ago
- Binary Ninja plugin for exploring Structured Exception Handlers☆83Jun 6, 2024Updated last year
- Symbolic Simplification with PAttern Matching☆108Feb 22, 2017Updated 9 years ago
- Ghidra's IDA like experience by @NyaMisty☆48Oct 6, 2025Updated 5 months ago
- IDA Database Importer plugin for Binary Ninja☆37Sep 13, 2024Updated last year
- Dynamic Taint Analysis versus Obfuscated Self-Checking☆16Sep 5, 2021Updated 4 years ago
- ☆31Jan 12, 2022Updated 4 years ago
- interesting analysis☆16May 14, 2018Updated 7 years ago
- 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
- HElib is an open-source software library that implements homomorphic encryption. It supports the BGV scheme with bootstrapping and the Ap…☆22Jul 6, 2021Updated 4 years ago
- Expose some basic IDA Pro interactions through a REST API for JSONP☆21Mar 21, 2015Updated 10 years ago
- ptrace-backed dynamic instrumentation utility for x86_64 linux☆16Apr 3, 2022Updated 3 years ago
- idenLib (Library Function Identification) plugin for x32dbg☆41Feb 26, 2019Updated 7 years ago
- Mathematical Operation Simplifier for .NET Applications☆17Nov 20, 2019Updated 6 years ago
- KLEE-TAINT - Klee with taint analysis support☆71Oct 23, 2017Updated 8 years ago
- intel x86(-64) code analysis library that reconstructs control flow☆110Jan 8, 2026Updated last month
- Open-source symbolic execution framework: https://maat.re☆648Feb 22, 2026Updated last week
- ☆23Mar 13, 2023Updated 2 years ago
- Dalamud Plugin that synchronizes your character data to one main character.☆15Jul 11, 2024Updated last year
- KLEE Symbolic Execution Engine☆61Oct 27, 2019Updated 6 years ago
- ☆45Apr 10, 2021Updated 4 years ago
- Application Verifier Dynamic Fault Injection☆40Jan 12, 2026Updated last month
- MBA-Blast is a tool for simplification of MBA expressions.☆70Aug 6, 2021Updated 4 years ago
- Compile Binary Ninja's MLIL to LLVM, for purposes of analysis, patching, and compiling it back to a binary again.☆62Jun 3, 2022Updated 3 years ago
- Greybox Synthesizer geared for deobfuscation of assembly instructions.☆167Feb 16, 2025Updated last year
- ☆32Apr 24, 2022Updated 3 years ago
- A clone of FD (File & Directory tool) by T.Shirai☆16Jan 29, 2014Updated 12 years ago
- Symbolic execution tool☆3,838Feb 13, 2026Updated 3 weeks ago
- Helper script for Windows kernel debugging with IDA Pro on VMware + GDB stub (including PDB symbols)☆68Aug 11, 2023Updated 2 years ago
- Supporting Materials for “Symbolic Triage” blog post☆24Oct 31, 2022Updated 3 years ago
- Binary Ninja plugin for visualizing coverage over time☆25Jan 15, 2022Updated 4 years ago
- Windows Minidump loader for Ghidra☆29Sep 30, 2022Updated 3 years ago
- Find crypto constants IDA 7.x plugin☆122Dec 23, 2022Updated 3 years ago
- SQL powered operating system instrumentation, monitoring, and analytics.☆41May 21, 2025Updated 9 months ago
- Syscall hooking for reverse-engineering and anti-debug bypass on Linux x86 32/64☆42Jul 8, 2020Updated 5 years ago
- A graph view plugin for Binary Ninja to visualize Objective-C☆131Aug 30, 2019Updated 6 years ago
- Tool aimed to provide a binary analysis of different file formats through the use of an Intermmediate Representation.☆144Mar 31, 2024Updated last year