x86-64 Symbolic Execution & LLVM IR Lifting Framework for Deobfuscation
☆125Oct 28, 2026Updated last week
Alternatives and similar repositories for vexa
Users that are interested in vexa are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- NoWarbird - Warbird devirtualization project☆87Aug 25, 2026Updated 2 months ago
- Bit-vector expression simplifier for binary analysis and deobfuscation☆62Oct 20, 2026Updated 2 weeks ago
- llvm powered deobfuscation of a vm-based protection☆65Feb 25, 2026Updated 8 months ago
- LLVM based devirtualizer for the binaryshield software protector.☆94May 7, 2026Updated 5 months ago
- Cracking MBAs☆80Sep 13, 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.
- LLVM based static binary analysis framework☆381Aug 15, 2026Updated 2 months ago
- PDB parsing mapper, resolves private symbols and structure offsets.☆12Sep 25, 2026Updated last month
- An analysis and static deobfuscation of codedefender.io protected samples.☆98Apr 18, 2026Updated 6 months ago
- Windows kernel driver and usermode app emulator for x86-64 and ARM64 targets.☆195Updated this week
- Static devirtualizer for VMProtect 3.0-3.5. Lifts virtualized code to LLVM using Remill and strips the VM layer through optimization.☆322Jul 30, 2026Updated 3 months ago
- Striga is an experimental lifter from x86_64 to LLVM IR written in Python.☆120Jun 22, 2026Updated 4 months ago
- Efficient general mixed boolean-arithmetic (MBA) simplifier☆139Jul 25, 2026Updated 3 months ago
- 🔬 Guest execution and tracing using the Windows Hypervisor Platform☆62Mar 14, 2026Updated 7 months ago
- Deobfuscation via optimization with usage of LLVM IR and parsing assembly.☆927Sep 22, 2026Updated last month
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- LLVM based obfuscator☆45Sep 20, 2026Updated last month
- ☆82Apr 12, 2023Updated 3 years ago
- Coefficient-Based Reconstruction of Arithmetic — a Mixed Boolean-Arithmetic (MBA) expression simplifier for deobfuscation☆363Aug 13, 2026Updated 2 months ago
- HVCI/kCET-aware bugcheck suppressor PoC☆22May 11, 2026Updated 5 months ago
- Surgical x64 VEH/VCH dumper. Walks the vectored exception handler list, extracts each handler as a standalone PE64 that IDA opens directl…☆21Jul 17, 2026Updated 3 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
- Find out how to bypass HVCI (or not). My own research on Microsoft Warbird (specifically in clipsp.sys)☆105Oct 26, 2025Updated last year
- ☆60Oct 3, 2026Updated last month
- ARM64 instruction emulator written in modern c++.☆42Sep 9, 2026Updated last month
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- x64 PE bin2bin obfuscator which doesn't add a section to the binary☆356Aug 18, 2026Updated 2 months ago
- An x86-64 Code Virtualizer☆329Sep 26, 2024Updated 2 years ago
- out-of-tree LLVM 21+ pass plugin for policy-driven IR obfuscation.☆112Oct 16, 2026Updated 3 weeks ago
- Intercepting cpuid without a hypervisor☆21Oct 29, 2026Updated last week
- C++ library interact with Java apps (including stealthy hooks)☆36Oct 21, 2026Updated 2 weeks ago
- A C++ REPL for IDA Pro / IDA C++ SDK☆96Mar 26, 2026Updated 7 months ago
- Simple template for using Remill on Windows/Linux/macos.☆39May 22, 2026Updated 5 months ago
- A x86_64 software emulator☆167Aug 25, 2025Updated last year
- Ryūjin Protector - Is a Intel Arch - BIN2BIN - PE Obfuscation/Protection/DRM tool☆352Nov 20, 2025Updated 11 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Kernel-mode Paravirtualization in Ring 2, LLVM based linker, and some other things!☆469Apr 19, 2025Updated last year
- ☆27Sep 27, 2026Updated last month
- Mixed Boolean Arithmetic Simplification using E-Graphs☆25May 1, 2025Updated last year
- 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
- My notes about the stub.dll obfuscator.☆56Dec 12, 2025Updated 10 months ago
- VTIL2 is a ground-up reimagination of the VTIL Project, completely rewritten in modern C# with enterprise-grade architecture, performance…☆76Oct 29, 2025Updated last year
- x86-64 user mode emulation using Zydis☆78Mar 15, 2026Updated 7 months ago