kyle-elliott / DVM
Symbolic Execution based on lifting amd64 to z3
☆26Updated 10 months ago
Alternatives and similar repositories for DVM:
Users that are interested in DVM are comparing it to the libraries listed below
- How Meltdown and Spectre haunt Anti-Cheat: DVRT details☆21Updated 8 months ago
- x86-64 user mode emulation using Zydis☆46Updated 3 months ago
- Lightweight PDB symbol parser and resolver☆24Updated 6 months ago
- Me fockin' pe protector☆45Updated 2 years ago
- unorthodox approach to analyze a trace, but this helped me get comfy with x64 instructions overall (excluding sse/avx/etc lol), cleared u…☆58Updated last year
- This is a ring -1 header framework in order to simplify the creation of hypervisors on SVM☆22Updated last year
- Tracks cross references and allows fast viewing of pseudocode between references☆13Updated last month
- Improved VMP Idea(detect anti-anti-debug tools by bug)☆43Updated last year
- A demonstration of hooking into the VMProtect-2 virtual machine☆18Updated last year
- This is the PoC of a dynamic lifter and deobfuscator with collecting trace.☆35Updated last year
- A project on the Unicorn emulator to emulate the code of Pe files in windows☆21Updated 7 months ago
- x86-64 Automated test data generator☆22Updated 3 months ago
- ☆30Updated 3 years ago
- Code virtualizer☆23Updated 8 years ago
- Create stealthy, inline, EPT-like hooks using SMAP and SMEP☆37Updated 6 months ago
- Kernel ReClassEx☆61Updated last year
- Generate a PDB file given the old PDB file and an address mapping☆47Updated last month
- A library for intel VT-x hypervisor functionality supporting EPT shadowing.☆49Updated 4 years ago
- A poc that abuses Enclave☆38Updated 2 years ago
- devirtualization vmprotect☆62Updated 2 years ago
- ☆11Updated 2 years ago
- Collection of Cheat dumps for Research and Detection.☆13Updated last week
- This is a POC Test project for INTEL CPUs on blocking NMI Entries through the IDT Handler.☆49Updated 6 months ago
- Binary Ninja plugin for automating VMProtect analysis☆60Updated 2 years ago
- Provides commands to read from and write to arbitrary kernel-mode memory for users with the Administrator privilege. HVCI compatible. No …☆16Updated 10 months ago
- Cheat for my own game SecureGame which uses a bootkit to hyperjack Hyper-V in order to access VBS enclave's memory☆54Updated 4 months ago
- Helper script for Windows kernel debugging with IDA Pro on VMware + GDB stub (including PDB symbols)☆64Updated last year
- ☆32Updated last year
- Windows kernel driver template for cmkr and llvm-msvc.☆34Updated last year
- A large collection of 32bit and 64bit PE files useful for verifying the correctness of bin2bin transformations☆52Updated 9 months ago