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
- A simple and heavily documented series of test hypervisors built for 64-bit Windows 10 systems running under Intel's VT-x☆32Updated 4 years ago
- Takes a Windbg dumped structure (using the 'dt' command) and formats it into a C structure☆35Updated 11 months ago
- Analyze PatchGuard☆58Updated 6 years ago
- POC of sysenter x64 LSTAR MSR hook☆39Updated 10 years ago
- ☆27Updated 7 years ago
- clone of armadillo patched for windows☆47Updated 8 months ago
- Figuring out the cause of a handle downgrade☆24Updated 2 years ago
- Binary Ninja plugin for automating VMProtect analysis☆61Updated 2 years ago
- IDA script for vmprotect Windows Api address decoder☆51Updated 4 years ago
- vdk is a set of utilities used to help with exploitation of a vulnerable driver.☆40Updated 3 years ago
- VTIL command line utility☆27Updated 3 years ago
- obfuscation that aims to not stand out☆23Updated 3 years ago
- Fetch PDB symbols directly from Microsoft's symbol servers☆42Updated 3 years ago
- This is the PoC of a dynamic lifter and deobfuscator with collecting trace.☆34Updated last year
- Using Zydis and LLVM to lift unsupported instructions to LLVM-IR☆29Updated 3 years ago
- Python bindings for the VTIL API. (WIP)☆29Updated 4 years ago
- Collection of obfuscation, tamper-proofing, and watermarking algorithms targeting LLVM IR.☆72Updated 5 years ago
- UNIPE - A small framwork to execute PE files with UniCorn☆46Updated 7 years ago
- Driver and WinDBG scripts to dump information about all resources and lookaside lists☆68Updated 5 years ago
- Driver demonstrating how to register a DPC to asynchronously wait on an object☆49Updated 4 years ago
- IntroVirt is an guest introspection library for KVM☆54Updated 9 months ago
- Windows 10 kernel and ntdll internal types, directly compatible with ida.☆51Updated 6 years ago
- unicorn emulator for x64dbg☆34Updated 7 years ago
- This is a simple driver with x64 inline assembly☆56Updated 5 years ago
- IA32-doc is a project which aims to put as many definitions from the Intel Manual into machine-processable format as possible☆16Updated 3 years ago
- Code-Reuse Exploits detection using Intel Processor Trace☆28Updated 7 years ago
- A reflexive driver loader to bypass Windows DSE (featuring a custom PE loader)☆41Updated 6 years ago
- a binary x86win32 code obfuscator using virtual machine☆32Updated 8 years ago
- Tools made for my Hyper-V blog series @ https://foxhex0ne.blogspot.com/☆58Updated 5 years ago