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
- Bit-vector expression simplifier for binary analysis and deobfuscation☆54Updated this week
- Self-hosting binary instrumentation framework for security research☆12Apr 10, 2023Updated 3 years ago
- ☆37May 9, 2023Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- This is a ring -1 header framework in order to simplify the creation of hypervisors on SVM☆31Nov 6, 2023Updated 2 years ago
- Deobfuscation of Semi-Linear Mixed Boolean-Arithmetic Expressions☆90Mar 28, 2026Updated 6 months ago
- ☆13Sep 25, 2023Updated 3 years ago
- PoC for a taint based attack on VMProtect☆127Jul 3, 2019Updated 7 years ago
- Port of MBA Solver SiMBA to C/C++ (MBA deobfuscation in real world applications)☆115Oct 7, 2026Updated last week
- A large collection of 32bit and 64bit PE files useful for verifying the correctness of bin2bin transformations☆86Aug 2, 2024Updated 2 years ago
- An analysis and static deobfuscation of codedefender.io protected samples.☆98Apr 18, 2026Updated 6 months ago
- ☆34Jan 26, 2024Updated 2 years ago
- ☆26Aug 7, 2023Updated 3 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.
- A demonstration of hooking into the VMProtect-2 virtual machine☆27Nov 9, 2023Updated 2 years ago
- A simple pluggable tool to convert an unrolled TritonAST to LLVM-IR, optimize it and get back to TritonAST.☆41Apr 3, 2020Updated 6 years ago
- Output high level Pcode (PcodeAST) in Ghidra☆18Apr 7, 2023Updated 3 years ago
- Standalone API for Binary Ninja's LLIL☆21Aug 6, 2024Updated 2 years ago
- Research-focused hypervisor offering advanced tools for debugging, virtual machine introspection, and automation.☆46Jun 3, 2026Updated 4 months ago
- MBA-Blast is a tool for simplification of MBA expressions.☆82Aug 6, 2021Updated 5 years ago
- x86-64 Automated test data generator☆29Sep 28, 2026Updated 3 weeks ago
- Themida Devirt Results☆125May 10, 2026Updated 5 months ago
- Experimental disassembler for x86 binaries virtualized by VMProtect 3☆97Aug 27, 2022Updated 4 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Python bindings for the Icicle emulator.☆44Nov 6, 2025Updated 11 months ago
- Rust library for lifting raw binary data to LLVM IR☆68Jul 8, 2026Updated 3 months ago
- A C++ wrapper for icedx86 decoder☆49Jul 28, 2025Updated last year
- Devirtualizer for binaryshield☆22Mar 25, 2026Updated 6 months ago
- This is a ring -1 header framework in order to simplify the creation of hypervisors on VMX☆12Nov 4, 2024Updated last year
- Process Creation, Image Load and Thread Creation Notification☆12Sep 15, 2023Updated 3 years ago
- A Binary Ninja plugin to detect Themida, WinLicense and Code Virtualizer's obfuscated code locations.☆103Jul 28, 2024Updated 2 years ago
- ☆81Apr 12, 2023Updated 3 years ago
- SLOT: SMT-LLVM Optimizing Translation☆63Apr 17, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Code Deobfuscator x86_32/64☆54Aug 16, 2022Updated 4 years ago
- VMProtect2 Deobfuscation Tooling☆132Nov 12, 2025Updated 11 months ago
- Mixed Boolean Arithmetic Simplification using E-Graphs☆25May 1, 2025Updated last year
- This repo contains the tests and results that were done during the research of SATURN☆44Dec 10, 2020Updated 5 years ago
- VM devirtualization PoC based on AsmJit and llvm☆126Sep 14, 2021Updated 5 years ago
- Collect computer related materials and codes☆21Jan 16, 2026Updated 9 months ago
- Generate a PDB file given the old PDB file and an address mapping☆56Aug 3, 2025Updated last year