Alternatives and similar repositories for vmlaunch:

Users that are interested in vmlaunch are comparing it to the libraries listed below

• ddcc / microparse
  Microcode parser for AMD, Intel, and VIA processors
  ☆133Updated 9 years ago
• intel / ikgt-manifest
  ikgt manifest
  ☆42Updated 2 years ago
• airbus-seclab / ramooflax
  a bare metal (type 1) VMM (hypervisor) with a python remote control API
  ☆181Updated 7 years ago
• jyao1 / STM
  ☆70Updated 4 years ago
• cappsule / cappsule-hypervisor
  ☆85Updated 7 years ago
• oscarlab / hoss
  Pedagogical Hypervisor, based on MIT JOS
  ☆67Updated 6 years ago
• nestedkernel / PerspicuOS
  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
• pakt / ropc
  A Turing complete ROP compiler
  ☆319Updated 11 years ago
• lunixbochs / lib43
  portable libc optimized for code size and readability
  ☆81Updated 8 years ago
• gamozolabs / falkervisor_grilled_cheese
  ☆173Updated 2 years ago
• huku- / research
  Notes on various topics I'm interested in
  ☆157Updated 9 years ago
• srg-imperial / SaBRe
  Load-time selective binary rewriting
  ☆155Updated 2 years ago
• HexHive / libdetox
  Fast and efficient binary translator
  ☆58Updated 6 years ago
• bx / elf-bf-tools
  ☆110Updated 11 years ago
• REMath / implementations
  Implementations of program analysis tools with a focus on machine code
  ☆208Updated 10 years ago
• hlide / jitasm
  JIT Assembler Library for multiple ISAs
  ☆74Updated 10 years ago
• cattius / opcodetester
  Tool for automated testing and analysis of Intel x86-64 undocumented instructions in user mode and in the kernel
  ☆43Updated 5 years ago
• S2E / s2e-old
  This is the archived S2E 1.0 repo. We do not maintain it anymore.
  ☆314Updated 4 years ago
• lifting-bits / microx
  Safely execute an arbitrary x86 instruction
  ☆178Updated last year
• airbus-seclab / crashos
  A tool dedicated to the research of vulnerabilities in hypervisors by creating unusual system configurations.
  ☆185Updated 2 years ago
• rjeschke / x86.renejeschke.de
  ☆139Updated 6 years ago
• Bareflank / extended_apis
  deprecated
  ☆46Updated 5 years ago
• taviso / rarvmtools
  Minimal RarVM Toolchain
  ☆231Updated 9 years ago
• andikleen / simple-pt
  Simple Intel CPU processor tracing on Linux
  ☆348Updated last year
• jtcriswell / SVA
  Secure Virtual Architecture
  ☆42Updated 5 years ago
• utds3lab / pemu
  ☆104Updated 9 years ago
• asmjit / asmdb
  Instructions database and utilities for X86/X64 and ARM (THUMB/A32/A64) architectures.
  ☆331Updated last year
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆69Updated 8 years ago
• ainfosec / MoRE
  TLB splitting VMM
  ☆164Updated 8 years ago
• intel / satt
  ☆74Updated 2 years ago