unikraft / run-app-elfloader
Run Unikraft ELF Loader app on Linux executables
☆13Updated last year
Alternatives and similar repositories for run-app-elfloader:
Users that are interested in run-app-elfloader are comparing it to the libraries listed below
- LFI: Practical, Efficient, and Secure Software-based Sandboxing☆50Updated this week
- Intra-Unikernel Isolation with Intel Memory Protection Keys☆12Updated 4 years ago
- ☆13Updated 6 years ago
- ☆31Updated 3 years ago
- Embedded Universal DSL: a good DSL for us, by us☆27Updated this week
- XML representation of the x86 instruction set☆28Updated 2 years ago
- QEMU with support for CHERI☆55Updated this week
- Research unikernel for virtualized services☆48Updated 2 years ago
- ☆11Updated 3 years ago
- Verification of BPF JIT compilers☆54Updated last year
- ☆17Updated 4 years ago
- The repo contains the SPMP architectural specification, which includes capabilities like access control of read/write/execute requests by…☆12Updated 4 months ago
- Advanced Operating Systems project☆20Updated 4 months ago
- A Secure and Memory-Efficient Heap Allocator☆33Updated 6 months ago
- ☆49Updated 2 years ago
- ☆19Updated 2 years ago
- Load and execute Linux ELF binaries☆27Updated 3 weeks ago
- A utility library to bridge llvm and mlir gaps.☆11Updated last week
- Modeling futexes in TLA+☆22Updated 3 months ago
- Loupe: Syscall Usage Analysis Tool☆26Updated 3 months ago
- ☆11Updated 9 months ago
- A header-only C++ library for writing compiler/interpreter frontends.☆12Updated 2 months ago
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆16Updated 2 years ago
- Artifacts for the paper "KSplit: Automating Device Driver Isolation"☆11Updated 2 years ago
- sel4 benchmarking applications and support library.☆19Updated last month
- ☆15Updated last month
- The C4 Concurrent C Fuzzer☆14Updated last year
- Sled System Emulator☆28Updated 2 months ago
- ☆21Updated last month
- IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…☆12Updated 4 years ago