Verified IDA is a harness for model-led reverse engineering.
☆44Sep 14, 2026Updated last month
Alternatives and similar repositories for verified-ida
Users that are interested in verified-ida are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- NoWarbird - Warbird devirtualization project☆87Aug 25, 2026Updated last month
- ETW Explorer☆45Aug 21, 2026Updated last month
- Windows kernel driver and usermode app emulator for x86-64 and ARM64 targets.☆171Updated this week
- Emulation framework for Android & iOS native libraries☆23Sep 10, 2026Updated last month
- DecBench: An experimental living benchmark to measure how close we are to perfect decompilation on binaries.☆130Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆26Oct 11, 2026Updated last week
- LLVM 21 pass plugin for A²MBA architectural and anti-generalization hardening of mixed Boolean-arithmetic expressions.☆27Oct 10, 2026Updated last week
- Capability extraction from Time Travel Debugging Traces with C++ Implementation of CAPA that supports code scanning☆31Sep 24, 2026Updated 3 weeks ago
- Idiomatic Rust Bindings for Windows Hypervisor Platform☆13Apr 11, 2026Updated 6 months ago
- A poor man's attempt to replicate the shellcode execution technique demo'd by @3lk during STHACK 2026 (https://www.youtube.com/watch?v=al…☆24Updated this week
- Public talks, workshops and research presentations from BlackArrow☆28Jul 30, 2026Updated 2 months ago
- The Native Reverse Engineering IDE. Zero-overhead binary analysis, full CPU emulation (PE/ELF), and headless automation. Powered by Capst…☆26Sep 23, 2026Updated 3 weeks ago
- Drift Corpus : repository of Windows Kernel patch diffs.☆28Jul 15, 2026Updated 3 months ago
- Type-2 Intel x86-64 hypervisor for Windows focused on tracing control-flow transitions out of obfuscated or virtualized kernel drivers at…☆38Apr 18, 2026Updated 6 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Transform binaries into source-code-like projects that coding agents can traverse, analyze, and use as an oracle for large binaries. Supp…☆42Updated this week
- A concept of using a ROP chain paired with a WRMSR primitive to call kernel functions and map unsigned drivers through BYOVD (AmdTools64.…☆67Sep 21, 2026Updated 3 weeks ago
- Automated Function Identification in .NET binaries☆49Aug 5, 2026Updated 2 months ago
- Technical documentation, reverse engineering research, and tools for the Windows Endpoint Security Platform (WESP).☆81Sep 18, 2026Updated last month
- Autonomous Windows POC developer from patchwatch diff reports☆163Jul 30, 2026Updated 2 months ago
- Drop any Windows DPAPI artifact and it identifies the format and the exact master key it needs, then decrypts once you supply the key. Of…☆31Sep 23, 2026Updated 3 weeks ago
- ☆24Sep 12, 2026Updated last month
- Bit-vector expression simplifier for binary analysis and deobfuscation☆52Updated this week
- Process Impairment Exploit Chain.☆36Aug 12, 2026Updated 2 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Malware as a Service Ludus Range☆129Sep 24, 2026Updated 3 weeks ago
- Static analysis of Ironshield anti-cheat☆82Sep 23, 2026Updated 3 weeks ago
- Python bindings for the Icicle emulator.☆44Nov 6, 2025Updated 11 months ago
- Striga is an experimental lifter from x86_64 to LLVM IR written in Python.☆121Jun 22, 2026Updated 3 months ago
- ☆19May 22, 2024Updated 2 years ago
- ☆39Sep 29, 2026Updated 2 weeks ago
- An agent-first decompiler designed to be refined by other agents. Kuna is written in Rust and was originally ported from Ghidra.☆637Updated this week
- Offensive PoC tool for BTR.sys - Microsoft Defender's Boot Time Removal Tool. Supporting material for the BTR Reforged research (Black Ha…☆146Aug 20, 2026Updated last month
- A stealth-focused kernel-mode virtual HID mouse driver for Windows. Built with KMDF and VHF for precise, hardware-level input simulation …☆49Jul 27, 2026Updated 2 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Patchestry is a binary patching framework built with MLIR and Ghidra.☆88Sep 18, 2026Updated last month
- My repository to store all the examples I do about symbolic execution☆24Jun 6, 2026Updated 4 months ago
- Binary Ninja diffing tool☆97Oct 5, 2026Updated last week
- Signtool modification for expired certificates☆13Aug 8, 2023Updated 3 years ago
- Silverseal is an open-source Linux bootkit and rootkit framework written in Rust, using UEFI and early kernel boot hooks to load a stealt…☆172Oct 8, 2026Updated last week
- a driver to enumerate registered pnp callbacks for a particular interface class based on reversal of IoRegisterPlugPlayNotification☆11Mar 13, 2024Updated 2 years ago
- APISignature is a plugin for x64dbg that help the malware analysts & reverse engineers during analysis by adding a reference for more tha…☆38Aug 15, 2026Updated 2 months ago