Native opaque predicate cleaner plugin for Binary Ninja
☆46Updated this week
Alternatives and similar repositories for native-predicate-solver
Users that are interested in native-predicate-solver are comparing it to the libraries listed below
Sorting:
- Documents the reverse engineering and partial disabling of Steam's CEG anti-tamper protections in T6SP, while preserving its anti-piracy …☆56May 6, 2025Updated 9 months ago
- Efficient general mixed boolean-arithmetic (MBA) simplifier☆122Updated this week
- Deobfuscation library for PoisionPlug.SHADOW's ScatterBrain obfuscator☆80Mar 14, 2025Updated 11 months ago
- This master thesis project continuously collects and analyses Microsoft Windows kernel drivers using static and dynamic methods to help s…☆21Nov 4, 2024Updated last year
- Data Obfuscation for C/C++ Code Based on Residue Number Coding (RNC)☆24May 20, 2021Updated 4 years ago
- WinDbg plugin to trace module transitions from a debugged driver.☆40Dec 22, 2025Updated 2 months ago
- A high-performance C++ framework for emulating executable binaries☆128Nov 23, 2025Updated 3 months ago
- Lightweight PDB symbol parser and resolver☆28Oct 28, 2024Updated last year
- Kernel-mode Paravirtualization in Ring 2, LLVM based linker, and some other things!☆409Apr 19, 2025Updated 10 months ago
- A declarative instruction decoder and disassembler generator using a custom DSL☆19Updated this week
- My own version from "Writing a C Compiler" Book from NoStarchPress using C++ and LLVM libraries.☆32Feb 19, 2026Updated last week
- Research-focused hypervisor offering advanced tools for debugging, virtual machine introspection, and automation.☆44Nov 21, 2025Updated 3 months ago
- Yet another LLVM-based obfuscator☆124Sep 3, 2024Updated last year
- This plugin serves as a bridge between Binary Ninja and Ghidra's disassembler.☆36Jun 27, 2022Updated 3 years ago
- minimal hypervisor for aarch64 (WIP)☆31Nov 29, 2025Updated 2 months ago
- A Binary Ninja plugin to detect Themida, WinLicense and Code Virtualizer's obfuscated code locations.☆91Jul 28, 2024Updated last year
- Experiments, snippets and other things related to Binary Ninja☆17Oct 22, 2024Updated last year
- ☆17Jun 10, 2025Updated 8 months ago
- VMProtect 3.5+ dynamic import resolver☆19Jan 5, 2025Updated last year
- Precompiled LLVM packages ready for (de)obfuscation related development.☆20Dec 1, 2025Updated 2 months ago
- A debugger for Windows ARM64 (AARCH64), user-friendly for reverse engineers, malware analysts, malware developers, game hacking, operatin…☆72May 6, 2025Updated 9 months ago
- 广东工业大学数据结构anyview参考例子☆27Jan 9, 2022Updated 4 years ago
- Port of MBA Solver SiMBA to C/C++ (MBA deobfuscation in real world applications)☆107Nov 5, 2025Updated 3 months ago
- Report and exploit of CVE-2024-21305.☆40Jan 14, 2024Updated 2 years ago
- Set of plugins and library for dynamic pdb generation and synchronisation☆38May 3, 2024Updated last year
- Yet another IDA Pro/Home plugin for deobfuscating stack strings☆120Jan 25, 2026Updated last month
- 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
- Modular and extensible library for Virtual Machine Introspection☆117Updated this week
- Rust Bindings and tools for the Intel® Simics® Simulator☆17Feb 20, 2026Updated last week
- A simple python script to check evil Visual Studio projects☆21Oct 13, 2023Updated 2 years ago
- binary instrumentation, analysis, and patching framework☆100Feb 20, 2026Updated last week
- 安卓保活技术☆20Mar 12, 2024Updated last year
- A driver that supports communication between a Windows guest and HyperWin☆15Jan 6, 2021Updated 5 years ago
- Python bindings for the Icicle emulator.☆41Nov 6, 2025Updated 3 months ago
- NovaHypervisor is a defensive x64 Intel host based hypervisor. The goal of this project is to protect against kernel based attacks (eithe…☆252Feb 19, 2026Updated last week
- A graphing library for Control Flow Graphs☆105Jun 19, 2025Updated 8 months ago
- CreateWindowInBand ImGui external overlay☆20Nov 19, 2025Updated 3 months ago
- tprt ollvm 反混淆 修改 binja il☆50Sep 5, 2024Updated last year
- Patchestry is a binary patching framework built with MLIR and Ghidra.☆76Updated this week