vishmohan / vmlaunchLinks
Simple Driver code for vmlaunch
☆159Updated 7 years ago
Alternatives and similar repositories for vmlaunch
Users that are interested in vmlaunch are comparing it to the libraries listed below
Sorting:
- Microcode parser for AMD, Intel, and VIA processors☆134Updated 9 years ago
- ☆70Updated 5 years ago
- a bare metal (type 1) VMM (hypervisor) with a python remote control API☆182Updated 7 years ago
- Pedagogical Hypervisor, based on MIT JOS☆67Updated 7 years ago
- ☆172Updated 2 years ago
- TLB splitting VMM☆165Updated 9 years ago
- Notes on various topics I'm interested in☆158Updated 9 years ago
- ikgt manifest☆42Updated 2 years ago
- Linux i386 tool to load and execute ME modules.☆133Updated 4 years ago
- ☆86Updated 8 years ago
- This repository contains the nested kernel implementation as it was built for the ASPLOS 2015 paper, including the FreeBSD prototype Pers…☆55Updated 7 years ago
- Simple Intel CPU processor tracing on Linux☆349Updated 2 years ago
- A Turing complete ROP compiler☆322Updated 11 years ago
- ☆105Updated 10 years ago
- Tiny x86 Length Disassembler☆73Updated 4 years ago
- Instructions database and utilities for X86/X64 and ARM (THUMB/A32/A64) architectures.☆332Updated last year
- JIT Assembler Library for multiple ISAs☆74Updated 10 years ago
- Fast and efficient binary translator☆58Updated 6 years ago
- The "Intel x86 considered harmful" paper☆197Updated 9 years ago
- Transform vmlinuz into a fully debuggable vmlinux that can be used with /proc/kcore☆131Updated 8 months ago
- Implementations of program analysis tools with a focus on machine code☆210Updated 10 years ago
- Microcode Updates for the USENIX 2017 paper: Reverse Engineering x86 Processor Microcode☆342Updated 6 years ago
- portable libc optimized for code size and readability☆82Updated 8 years ago
- deprecated☆46Updated 6 years ago
- IPC scripts for access to Intel CRBUS☆119Updated 3 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆70Updated 9 years ago
- A bare-metal x86 instruction set fuzzer a la Sandsifter☆70Updated last year
- This is the archived S2E 1.0 repo. We do not maintain it anymore.☆314Updated 4 years ago
- Safely execute an arbitrary x86 instruction☆180Updated last year
- An amd64 symbolic emulator☆313Updated 3 years ago