This is the PoC of a dynamic lifter and deobfuscator with collecting trace.
☆37Oct 11, 2023Updated 3 years ago
Alternatives and similar repositories for Rework-part-of-z3-proving
Users that are interested in Rework-part-of-z3-proving 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 Execution based on lifting amd64 to z3☆31Jul 2, 2024Updated 2 years ago
- A project on the Unicorn emulator to emulate the code of Pe files in windows☆27Sep 12, 2024Updated 2 years ago
- ☆37May 9, 2023Updated 3 years ago
- Bit-vector expression simplifier for binary analysis and deobfuscation☆63Updated this week
- Standalone API for Binary Ninja's LLIL☆21Aug 6, 2024Updated 2 years 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.
- ☆26Aug 7, 2023Updated 3 years ago
- ☆13Sep 25, 2023Updated 3 years ago
- Deobfuscation of Semi-Linear Mixed Boolean-Arithmetic Expressions☆91Mar 28, 2026Updated 7 months ago
- An analysis and static deobfuscation of codedefender.io protected samples.☆99Apr 18, 2026Updated 6 months ago
- Rust library for lifting raw binary data to LLVM IR☆68Jul 8, 2026Updated 4 months ago
- Research-focused hypervisor offering advanced tools for debugging, virtual machine introspection, and automation.☆46Jun 3, 2026Updated 5 months ago
- PoC for a taint based attack on VMProtect☆126Jul 3, 2019Updated 7 years ago
- MBA-Blast is a tool for simplification of MBA expressions.☆84Aug 6, 2021Updated 5 years ago
- A lightweight utility containing manually written SEH for manually mapped images☆12Jul 31, 2022Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A demonstration of hooking into the VMProtect-2 virtual machine☆27Nov 9, 2023Updated 3 years ago
- A disassembler☆24May 2, 2022Updated 4 years ago
- Port of MBA Solver SiMBA to C/C++ (MBA deobfuscation in real world applications)☆115Updated this week
- A large collection of 32bit and 64bit PE files useful for verifying the correctness of bin2bin transformations☆86Aug 2, 2024Updated 2 years ago
- ☆11Nov 28, 2024Updated last year
- x86-64 Automated test data generator☆29Oct 18, 2026Updated 3 weeks ago
- Output high level Pcode (PcodeAST) in Ghidra☆18Apr 7, 2023Updated 3 years ago
- A C++ wrapper for icedx86 decoder☆48Jul 28, 2025Updated last year
- WinLicense key extraction via Intel PIN☆116Apr 9, 2024Updated 2 years 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.
- Themida Devirt Results☆127May 10, 2026Updated 6 months ago
- Devirtualizer for binaryshield☆22Mar 25, 2026Updated 7 months ago
- ☆82Apr 12, 2023Updated 3 years ago
- Code Deobfuscator x86_32/64☆54Aug 16, 2022Updated 4 years ago
- Collect computer related materials and codes☆20Jan 16, 2026Updated 9 months ago
- VMProtect2 Deobfuscation Tooling☆132Nov 12, 2025Updated 11 months ago
- devirtualization vmprotect☆69Mar 11, 2023Updated 3 years ago
- Experiment building lifting-bits dependencies with pure CMake. Migrated to:☆21Oct 8, 2024Updated 2 years ago
- Generate a PDB file given the old PDB file and an address mapping☆55Aug 3, 2025Updated last year
- 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.
- x86-64 user mode emulation using Zydis☆78Mar 15, 2026Updated 7 months ago
- SLOT: SMT-LLVM Optimizing Translation☆64Apr 17, 2025Updated last year
- ☆34Jan 26, 2024Updated 2 years ago
- Mixed Boolean Arithmetic Simplification using E-Graphs☆25May 1, 2025Updated last year
- A basic 100 loc CPU emulator using the existing code of ntoskrnl.exe☆74Aug 16, 2023Updated 3 years ago
- My repository to store all the examples I do about symbolic execution☆24Jun 6, 2026Updated 5 months ago
- x86 dynamic recompiler library☆60Jul 24, 2026Updated 3 months ago
Are these results useful?