TUD-OS / libelkvm
A library that allows execution of an ELF binary inside a virtual machine without a full-scale operating system
☆22Updated 10 years ago
Alternatives and similar repositories for libelkvm:
Users that are interested in libelkvm are comparing it to the libraries listed below
- Dynamic creation and update of ELF files, or: an allocator for JIT compilers☆33Updated last year
- Secure Virtual Architecture☆42Updated 6 years ago
- Tiny Code Generator Library☆46Updated 4 years ago
- A bare-metal x86 instruction set fuzzer a la Sandsifter☆68Updated last year
- The start of a port of musl libc to an "x86_64 llvm bitcode" architecture.☆25Updated 5 years ago
- ☆74Updated 2 years ago
- Fast and efficient binary translator☆58Updated 6 years ago
- Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)☆52Updated 2 years ago
- Fast Binary Translator for the Kernel☆27Updated 11 years ago
- Dump page tables on various OSes and analyze them☆28Updated 9 years ago
- A library for dynamic binary rewriting☆57Updated 4 years ago
- ☆70Updated 5 years ago
- Dynamic binary translation framework for instrumenting the Linux kernel and its modules☆77Updated 7 years ago
- deprecated☆46Updated 6 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆69Updated 9 years ago
- Monitor, rewrite and/or otherwise trap system calls... on Linux/x86{,-64} only, for now.☆59Updated 2 months ago
- ☆35Updated 7 years ago
- Pedagogical Hypervisor, based on MIT JOS☆67Updated 7 years ago
- ☆29Updated 9 years ago
- memTrace, a framework for lightweight memory tracing☆58Updated 5 years ago
- Manipulate C-family ASTs with Clang☆64Updated 6 years ago
- Timeless debugging with symbolic execution and processor trace☆75Updated 4 years ago
- print information from LLVM dataflow analyses☆13Updated 5 years ago
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆20Updated 5 years ago
- CCG is a random C Code Generator☆44Updated 2 years ago
- ☆16Updated 6 years ago
- Automatic Binary Parallelisation☆43Updated 2 months ago
- TypeSan checks casts in C++ code - code released for CCS 2016☆33Updated 4 years ago
- PCI device for qemu with mmio, pio, dma☆74Updated 8 years ago
- Steps to build the Linux kernel using Clang☆99Updated 3 years ago