SinaKarvandi / VMCS-AuditorLinks
VMCS Auditor provides almost all of Intel's VMCS Layout checklist based on Bochs Emulator.
☆32Updated 7 years ago
Alternatives and similar repositories for VMCS-Auditor
Users that are interested in VMCS-Auditor are comparing it to the libraries listed below
Sorting:
- AllMemPro☆46Updated 7 years ago
- Driver and WinDBG scripts to dump information about all resources and lookaside lists☆65Updated 5 years ago
- Takes a Windbg dumped structure (using the 'dt' command) and formats it into a C structure☆37Updated last year
- Tools made for my Hyper-V blog series @ https://foxhex0ne.blogspot.com/☆57Updated 5 years ago
- Windbg extension that allows you analyze Control Flow Guard map☆36Updated 4 years ago
- Windbg2ida lets you dump each step in Windbg then shows these steps in IDA☆74Updated last year
- windbg plugin for win32k debugging☆75Updated 6 years ago
- This is a simple driver with x64 inline assembly☆57Updated 5 years ago
- Windows 10 kernel and ntdll internal types, directly compatible with ida.☆53Updated 7 years ago
- VMX intrinsics plugin for Hex-Rays decompiler☆72Updated 6 years ago
- Bypass for the hardening against usage of tagWnd as a kernel read/write primitive☆32Updated 8 years ago
- ☆34Updated 4 years ago
- penter hook example and driver time recorder☆31Updated 8 years ago
- Code-Reuse Exploits detection using Intel Processor Trace☆28Updated 7 years ago
- Sample programs that illustrate how to use Control Flow Guard, VS2015's control flow integrity implementation☆52Updated 8 years ago
- clone of armadillo patched for windows☆48Updated last year
- This repository contains some tools that I have written in the past☆28Updated 2 years ago
- Analyze PatchGuard☆57Updated 7 years ago
- POC of sysenter x64 LSTAR MSR hook☆40Updated 11 years ago
- Helper utility for debugging windows PE/PE+ loader.☆52Updated 10 years ago
- An API Monitor based on Instrumentation☆44Updated 8 years ago
- [ARCHIVED] mov rax, ${Thalium/IceBox}; jmp rax;☆76Updated 6 years ago
- Exploiting HEVD's WriteWhatWhereIoctlDispatch for LPE on Windows 10 TH2 through RS3 using GDI objects.☆24Updated 7 years ago
- ☆27Updated 7 years ago
- Various WinDbg extensions and scripts☆31Updated 7 years ago
- Kernel-mode file scanner☆19Updated 7 years ago
- A little WinDbg extension to help dump the state of Win32k Type Isolation structures.☆38Updated 7 years ago
- Windows 10 UAC bypass PoC using LaunchInfSection☆35Updated 7 years ago
- Driver demonstrating how to register a DPC to asynchronously wait on an object☆50Updated 4 years ago
- Use WinDBG to trace the Windows API calls of any Portable Executable file☆32Updated 8 years ago