vtil-project / VTIL-SymExLinks
Symbolic expression simplifier used across VTIL toolchain. Moved into -->
☆24Updated 5 years ago
Alternatives and similar repositories for VTIL-SymEx
Users that are interested in VTIL-SymEx are comparing it to the libraries listed below
Sorting:
- A common set of helpers used across VTIL toolchain. Moved into -->☆20Updated 5 years ago
- clone of armadillo patched for windows☆47Updated 8 months ago
- Tools made for my Hyper-V blog series @ https://foxhex0ne.blogspot.com/☆58Updated 5 years ago
- VMX intrinsics plugin for Hex-Rays decompiler☆71Updated 5 years ago
- Collection of obfuscation, tamper-proofing, and watermarking algorithms targeting LLVM IR.☆74Updated 5 years ago
- ☆92Updated 4 years ago
- Takes a Windbg dumped structure (using the 'dt' command) and formats it into a C structure☆35Updated last year
- virtualization obfuscator inspired by juhajong/vm-obfuscator☆57Updated 5 years ago
- VMProtect analysis script☆55Updated 5 years ago
- reverse engineering extension plugin for windbg☆116Updated 5 years ago
- ☆25Updated last month
- IDA plugin to explore and browse tags☆56Updated 5 years ago
- IDA script for vmprotect Windows Api address decoder☆51Updated 4 years ago
- AMD SVM hypervisor rootkit proof of concept☆47Updated last year
- Binary Ninja plugin for automating VMProtect analysis☆61Updated 2 years ago
- Driver and WinDBG scripts to dump information about all resources and lookaside lists☆68Updated 5 years ago
- The sample DXE runtime driver demonstrating how to program DMA remapping.☆60Updated last year
- VTIL command line utility☆27Updated 3 years ago
- PoC for a taint based attack on VMProtect☆110Updated 6 years ago
- Python bindings for the VTIL API. (WIP)☆29Updated 4 years ago
- A debugger backend for IDA Pro built on top of of Intel’s PIN framework☆31Updated last year
- Hex-Rays microcode API plugin for breaking an obfuscating compiler☆83Updated 6 years ago
- This is a simple driver with x64 inline assembly☆57Updated 5 years ago
- ☆24Updated 9 years ago
- Windbg2ida lets you dump each step in Windbg then shows these steps in IDA☆75Updated last year
- Using Zydis and LLVM to lift unsupported instructions to LLVM-IR☆30Updated 3 years ago
- ☆72Updated 4 years ago
- Binary Ninja plugin that can be used to apply Triton's dead store eliminitation pass on basic blocks or functions.☆60Updated last year
- obfuscation that aims to not stand out☆23Updated 3 years ago
- Code-Reuse Exploits detection using Intel Processor Trace☆28Updated 7 years ago