heki-linux / linux
Linux kernel source tree patched with Hypervisor-Enforced Kernel Integrity
☆10Updated last year
Related projects ⓘ
Alternatives and complementary repositories for linux
- Full-VM taint analysis with Xen, Intel(R) Processor Trace and Triton.☆39Updated last year
- Linux kernel branches for confidential compute research☆16Updated 3 weeks ago
- Tool to extract the kallsyms (System.map) from a memory dump☆24Updated last year
- PoC for a snapshot-based coverage-guided fuzzer targeting Windows kernel components☆68Updated 3 years ago
- Python bindings for the Microsoft Hypervisor Platform APIs.☆66Updated 5 years ago
- ☆17Updated 2 years ago
- kAFL Fuzzer☆33Updated 2 months ago
- ☆39Updated 3 years ago
- This is an instruction to run your own SMM code.☆100Updated 3 years ago
- ☆55Updated 2 years ago
- libipt - an Intel(R) Processor Trace decoder library☆18Updated 7 years ago
- VMX intrinsics plugin for Hex-Rays decompiler☆70Updated 5 years ago
- ☆11Updated 4 years ago
- ☆50Updated 3 years ago
- ☆46Updated 2 years ago
- Binary Ninja plugin for visualizing coverage over time☆25Updated 2 years ago
- Intel PT log analyzer With Parallel Processing And Basic Block Offset Caching Support☆69Updated last year
- An approach to detect opaque predicates by identifying the damage caused by the obfuscation.☆27Updated 3 years ago
- Tools made for my Hyper-V blog series @ https://foxhex0ne.blogspot.com/☆54Updated 4 years ago
- VMCS Auditor provides almost all of Intel's VMCS Layout checklist based on Bochs Emulator.☆31Updated 5 years ago
- Hardware-Assisted Process Tracer for Fuzzing on ARM64 Linux☆22Updated 2 years ago
- Course sample for SMT-Based Binary Program Analysis training class☆30Updated 6 years ago
- Easy-to-use tool which autogenerates a type-aware fuzzer from a debuggable executable.☆22Updated last year
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆20Updated 4 years ago
- ☆16Updated last month
- Load function names from an IDA Pro database inside GDB☆20Updated 6 years ago
- ☆38Updated 2 years ago
- A simple hypervisor demonstrating the use of the Intel VT-rp (redirect protection) technology.☆91Updated 7 months ago
- Intel Kernel Guard Technology Core Repo☆55Updated 7 months ago