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:
- ☆92Updated 4 years ago
- PoC for a taint based attack on VMProtect☆110Updated 6 years ago
- A common set of helpers used across VTIL toolchain. Moved into -->☆20Updated 5 years ago
- IntroVirt is an guest introspection library for KVM☆56Updated 11 months ago
- reverse engineering extension plugin for windbg☆116Updated 5 years ago
- Parser for Microsoft Program Database (PDB) files☆76Updated 5 years ago
- clone of armadillo patched for windows☆47Updated 10 months ago
- Python bindings for the VTIL API. (WIP)☆29Updated 5 years ago
- ☆27Updated 7 years ago
- VMX intrinsics plugin for Hex-Rays decompiler☆71Updated 5 years ago
- Collection of obfuscation, tamper-proofing, and watermarking algorithms targeting LLVM IR.☆75Updated 5 years ago
- Lifting from native architecture to VTIL. (WIP)☆75Updated 3 years ago
- VTIL command line utility☆27Updated 3 years ago
- Header only wrapper around Hex-Rays API in C++20.☆162Updated 8 months ago
- ☆66Updated 9 months ago
- ☆25Updated 3 months ago
- UNIPE - A small framwork to execute PE files with UniCorn☆46Updated 7 years ago
- VMProtect analysis script☆55Updated 5 years ago
- IDA plugin to explore and browse tags☆56Updated 6 years ago
- Takes a Windbg dumped structure (using the 'dt' command) and formats it into a C structure☆36Updated last year
- Windbg2ida lets you dump each step in Windbg then shows these steps in IDA☆75Updated last year
- ☆72Updated 4 years ago
- A simple and heavily documented series of test hypervisors built for 64-bit Windows 10 systems running under Intel's VT-x☆33Updated 4 years ago
- A Generalized Dynamic Opaque Predicate Obfuscator☆46Updated 8 years ago
- Intermediate x86 instruction representation for use in obfuscation/deobfuscation.☆53Updated last month
- Binary Ninja plugin that can be used to apply Triton's dead store eliminitation pass on basic blocks or functions.☆64Updated last year
- Binary Ninja plugin for automating VMProtect analysis☆62Updated 2 years ago
- Using Zydis and LLVM to lift unsupported instructions to LLVM-IR☆30Updated 4 years ago
- ☆69Updated 4 years ago
- Python bindings for the Microsoft Hypervisor Platform APIs.☆79Updated 6 years ago