Bit-vector expression simplifier for binary analysis and deobfuscation
☆52Oct 17, 2026Updated this week
Alternatives and similar repositories for bitwright
Users that are interested in bitwright are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Symbolic executor for Binary Ninja's MLIL☆25Oct 3, 2024Updated 2 years ago
- LLVM 21 pass plugin for A²MBA architectural and anti-generalization hardening of mixed Boolean-arithmetic expressions.☆27Oct 10, 2026Updated last week
- Public talks, workshops and research presentations from BlackArrow☆28Jul 30, 2026Updated 2 months ago
- This is a ring -1 header framework in order to simplify the creation of hypervisors on VMX☆12Nov 4, 2024Updated last year
- NoWarbird - Warbird devirtualization project☆87Aug 25, 2026Updated last month
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Striga is an experimental lifter from x86_64 to LLVM IR written in Python.☆121Jun 22, 2026Updated 3 months ago
- ⚠️ WIP: LLVM-C Python bindings with nanobind.☆24May 14, 2026Updated 5 months ago
- ARM64 instruction emulator written in modern c++.☆40Sep 9, 2026Updated last month
- Verified IDA is a harness for model-led reverse engineering.☆44Sep 14, 2026Updated last month
- Implementation of KlezVirus' silent moonwalk approach for payloads☆18Feb 13, 2026Updated 8 months ago
- This is the PoC of a dynamic lifter and deobfuscator with collecting trace.☆37Oct 11, 2023Updated 3 years ago
- Mixed Boolean Arithmetic Simplification using E-Graphs☆25May 1, 2025Updated last year
- A public collection of EVM exploit proof-of-concept (PoC) archives for security research, education, and tooling. These PoCs are generat…☆29Updated this week
- Binary lifter and deobfuscator using remill for x86_64 Windows binaries☆105Apr 20, 2026Updated 5 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.
- Output high level Pcode (PcodeAST) in Ghidra☆18Apr 7, 2023Updated 3 years ago
- An analysis and static deobfuscation of codedefender.io protected samples.☆98Apr 18, 2026Updated 6 months ago
- Patchestry is a binary patching framework built with MLIR and Ghidra.☆88Sep 18, 2026Updated last month
- map and lift the VM handlers so you can read them in IDA/Ghidra made for vmp 3.8-3.10☆52Aug 28, 2026Updated last month
- Morok is a modular C++23 LLVM New-PM IR obfuscator. It loads as a pass plugin inside clang or opt, rewrites LLVM IR, and emits a behavior…☆99Updated this week
- Standalone static version of Triton's x86/x64 translator☆34May 2, 2026Updated 5 months ago
- MBA deobfuscator via Program Synthesis and Term Rewriting☆74Jul 6, 2026Updated 3 months ago
- Idiomatic Rust Bindings for Windows Hypervisor Platform☆13Apr 11, 2026Updated 6 months ago
- 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
- 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.
- Symbolic Execution based on lifting amd64 to z3☆31Jul 2, 2024Updated 2 years ago
- Windows kernel driver that detects hypervisors by probing SIDT/LIDT edge cases, paging/TLB behaviors, privilege transitions, and timing e…☆50Mar 3, 2026Updated 7 months ago
- A template programming library for Kernel Mode Windows drivers.☆13Jul 12, 2016Updated 10 years ago
- Windows kernel driver and usermode app emulator for x86-64 and ARM64 targets.☆171Updated this week
- Extension to create a full memory dump using LLDB on Android☆13Jan 8, 2025Updated last year
- A simple C++ driver base with KD data block☆11Jun 25, 2022Updated 4 years ago
- ⚠️ Experimental ⚠️ IDA Nexus allows multiple clients to seamlessly share and operate on IDA databases.☆149Updated this week
- x86-64 user mode emulation using Zydis☆78Mar 15, 2026Updated 7 months ago
- The HTTP/2 CLI for finding tiny timing differences and winning request races☆82Sep 24, 2026Updated 3 weeks 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.
- ☆26Oct 11, 2026Updated last week
- Deobfuscation of Semi-Linear Mixed Boolean-Arithmetic Expressions☆90Mar 28, 2026Updated 6 months ago
- Create stealthy, inline, EPT-like hooks using SMAP and SMEP☆69Oct 19, 2024Updated last year
- The AI-friendly C23 compiler for security research, built on LLVM [WIP]☆93Updated this week
- A collection of tools, source code, and papers researching Windows' implementation of CET.☆95Oct 6, 2020Updated 6 years 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
- Exploit payloads for Root My Pixel☆42Sep 13, 2026Updated last month