KVM-VMI / qemu
Fork of QEMU with Virtual Machine Introspection patches
☆13Updated last year
Alternatives and similar repositories for qemu:
Users that are interested in qemu are comparing it to the libraries listed below
- Fork of KVM with Virtual Machine Introspection patches☆36Updated last year
- x86 Dynamic Binary Translator Library☆34Updated 4 years ago
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆20Updated 5 years ago
- libs2e.so☆20Updated 4 years ago
- A hypervisor or virtual machine monitor (VMM) fuzzer☆28Updated 5 years ago
- KVM-based virtual machine introspection for malware analysis☆29Updated 7 years ago
- Fast Binary Translator for the Kernel☆27Updated 11 years ago
- Virtual Machine Introspection (VMI) project☆15Updated 9 years ago
- LibVMI in MiniOS☆12Updated 3 years ago
- Pulled out Linux kernel code to run in userland so they could be targeted by AFL and KLEE☆19Updated 5 years ago
- S2E Core Engine Library☆15Updated 5 years ago
- A feature-complete reference implementation of a modern Xen VMI debugger. ARCHIVED: Development continues at https://github.com/spencermi…☆77Updated 4 years ago
- VMI on BitVisor to detect hidden rootkits.☆26Updated 8 years ago
- Basic x86 Symbolic Execution for educational purposes☆18Updated 7 years ago
- kMVX: Detecting Kernel Information Leaks with Multi-variant Execution☆21Updated 5 years ago
- Yet another implementation of AEG (Automated Exploit Generation) using symbolic execution engine Triton.☆34Updated 6 years ago
- Dynamic binary translation framework for instrumenting the Linux kernel and its modules☆77Updated 7 years ago
- Dynamic instrumentation of the Linux kernel☆41Updated 10 years ago
- ☆46Updated 6 years ago
- Hypervisor implementation for x86_64 ISA MIT JOS☆33Updated 10 years ago
- PoC LibVMI-based GDB server for virtual machines☆53Updated 7 years ago
- deprecated☆46Updated 5 years ago
- TracerX Symbolic Virtual Machine☆33Updated last month
- FAROS: Illuminating In-Memory Injection Attacks via Provenance-based Whole System Dynamic Information Flow Tracking☆16Updated 6 years ago
- Final project for the M.Sc. in Engineering in Computer Science at Università degli Studi di Roma "La Sapienza" (A.Y. 2016/2017).☆35Updated 7 years ago
- Securing System Logs With Intel SGX☆14Updated 7 years ago
- Linux kernel JIT spray for SMEP / KERNEXEC bypass☆55Updated 12 years ago
- KVM-based memory access recorder☆20Updated 6 years ago
- Implementation of a thin hypervisor☆42Updated 8 years ago
- A framework for static analysis of ROP exploits and programs☆40Updated 5 years ago