vtil-project / VTIL-SymEx
Symbolic expression simplifier used across VTIL toolchain. Moved into -->
☆24Updated 4 years ago
Alternatives and similar repositories for VTIL-SymEx:
Users that are interested in VTIL-SymEx are comparing it to the libraries listed below
- A common set of helpers used across VTIL toolchain. Moved into -->☆20Updated 4 years ago
- Takes a Windbg dumped structure (using the 'dt' command) and formats it into a C structure☆35Updated 8 months ago
- IDA plugin to explore and browse tags☆54Updated 5 years ago
- ☆27Updated 6 years ago
- A simple and heavily documented series of test hypervisors built for 64-bit Windows 10 systems running under Intel's VT-x☆30Updated 4 years ago
- IDA script for vmprotect Windows Api address decoder☆51Updated 3 years ago
- Binary Ninja plugin for automating VMProtect analysis☆58Updated 2 years ago
- Collection of obfuscation, tamper-proofing, and watermarking algorithms targeting LLVM IR.☆71Updated 5 years ago
- VTIL command line utility☆27Updated 3 years ago
- obfuscation that aims to not stand out☆23Updated 2 years ago
- Using Zydis and LLVM to lift unsupported instructions to LLVM-IR☆28Updated 3 years ago
- Analyze PatchGuard☆55Updated 6 years ago
- Fetch PDB symbols directly from Microsoft's symbol servers☆42Updated 3 years ago
- This repo contains the tests and results that were done during the research of SATURN☆38Updated 4 years ago
- VMX intrinsics plugin for Hex-Rays decompiler☆70Updated 5 years ago
- Parser for Microsoft Program Database (PDB) files☆75Updated 4 years ago
- IDA strike-out: A Hex-Rays decompiler plugin to patch the Ctree☆116Updated 7 months ago
- ☆72Updated 3 years ago
- UNIPE - A small framwork to execute PE files with UniCorn☆45Updated 7 years ago
- ☆24Updated 9 years ago
- A debugger backend for IDA Pro built on top of of Intel’s PIN framework☆32Updated last year
- A documentation of several Tigress obfuscation passes and an attempt to simplify Mixed Boolean-Arithmetic (MBA) expressions.☆21Updated 3 years ago
- PoC for a taint based attack on VMProtect☆108Updated 5 years ago
- a binary x86win32 code obfuscator using virtual machine☆32Updated 8 years ago
- Windows 10 kernel and ntdll internal types, directly compatible with ida.☆50Updated 6 years ago
- ☆19Updated 7 years ago
- A library for intel VT-x hypervisor functionality supporting EPT shadowing.☆49Updated 4 years ago
- Tools made for my Hyper-V blog series @ https://foxhex0ne.blogspot.com/☆55Updated 4 years ago
- VMProtect analysis script☆52Updated 4 years ago
- ☆36Updated 2 years ago