Verified IDA is a harness for model-led reverse engineering.
☆70Sep 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:
- Emulation framework for Android & iOS native libraries☆25Sep 10, 2026Updated last month
- DecBench: An experimental living benchmark to measure how close we are to perfect decompilation on binaries.☆136Updated this week
- Use Prolog to analyze memory dumps and stopped live processes in WinDbg.☆15Oct 20, 2026Updated 2 weeks ago
- LLVM based obfuscator☆45Sep 20, 2026Updated last month
- Windows kernel driver and usermode app emulator for x86-64 and ARM64 targets.☆196Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- HVCI/kCET-aware bugcheck suppressor PoC☆22May 11, 2026Updated 5 months ago
- Idiomatic Rust Bindings for Windows Hypervisor Platform☆13Apr 11, 2026Updated 6 months ago
- Windows Feature IDs for review, diffing, etc., across multiple versions of Windows. Will be continuously updated.☆30Feb 24, 2026Updated 8 months ago
- bintbit is a bitvector theory SMT solver and CDCL SAT solver☆13Oct 4, 2026Updated last month
- Capability extraction from Time Travel Debugging Traces☆17Aug 4, 2026Updated 3 months ago
- NoWarbird - Warbird devirtualization project☆87Aug 25, 2026Updated 2 months 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
- Extract the embedded web frontend (HTML/CSS/JS) out of a compiled Tauri app binary. The asar-extract Tauri never had.☆22Sep 21, 2026Updated last month
- Reverse engineering and live validation of the Windows Endpoint Security Platform preview☆19Sep 11, 2026Updated last month
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A metamorphic binary transformation engine based on r2pipe and radare2.☆53Updated this week
- ETW Explorer☆45Aug 21, 2026Updated 2 months ago
- Windows memory scanner for call stack spoofing detection, unbacked shellcode, injected DLLs and in-memory C2 implants.☆38May 22, 2026Updated 5 months ago
- A beautiful, idiomatic and less frustrating IDA C++ SDK.☆144Oct 11, 2026Updated 3 weeks ago
- Technical webinars on reverse engineering, malware analysis, and software protection.☆152Sep 23, 2026Updated last month
- A Low Level IL emulator for Binary Ninja☆40Feb 5, 2019Updated 7 years ago
- Diaphora, the most advanced Free and Open Source program diffing tool. with bninja support☆16May 14, 2026Updated 5 months ago
- Python bindings for the Icicle emulator.☆43Nov 6, 2025Updated last year
- ARM64 decoder and encoder☆25Oct 3, 2026Updated last month
- 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.
- ☆27Oct 11, 2026Updated 3 weeks ago
- Transform binaries into source-code-like projects that coding agents can traverse, analyze, and use as an oracle for large binaries. Supp…☆41Oct 16, 2026Updated 3 weeks ago
- Reimplementing Havoc Pro Runtime Channel Switching and Cobalt Strike UDC2 features.☆57Oct 11, 2026Updated 3 weeks ago
- ☆19May 22, 2024Updated 2 years ago
- A concept of using a ROP chain paired with a WRMSR primitive to call kernel functions and map unsigned drivers through BYOVD (AmdTools64.…☆69Sep 21, 2026Updated last month
- Striga is an experimental lifter from x86_64 to LLVM IR written in Python.☆120Jun 22, 2026Updated 4 months ago
- eject_idb is a last ditch effort to flush and save your IDB when IDA hangs or a plugin causes an exception, etc.☆41Aug 18, 2026Updated 2 months ago
- LLVM 21 pass plugin for A²MBA architectural and anti-generalization hardening of mixed Boolean-arithmetic expressions.☆32Oct 10, 2026Updated 3 weeks ago
- Patchestry is a binary patching framework built with MLIR and Ghidra.☆89Sep 18, 2026Updated last month
- 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.
- Analyze software: memory scanner, debugger and static analysis of executables, .NET and Electron apps, from the desktop, the command line…☆33Updated this week
- x86-64 Symbolic Execution & LLVM IR Lifting Framework for Deobfuscation☆125Oct 28, 2026Updated last week
- binary instrumentation, analysis, and patching framework☆105Feb 20, 2026Updated 8 months ago
- Idiomatic Rust bindings to the Ghidra SLEIGH library for pcode disassembly☆13Nov 16, 2025Updated 11 months ago
- Hyper-V related resources☆43Aug 18, 2026Updated 2 months ago
- ☆40May 23, 2026Updated 5 months ago
- ☆28Jun 4, 2026Updated 5 months ago