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
- Intra-Unikernel Isolation with Intel Memory Protection Keys☆12Updated 4 years ago
- Fork of LLVM adding CHERI support☆50Updated this week
- ☆12Updated 2 years ago
- The repo contains the SPMP architectural specification, which includes capabilities like access control of read/write/execute requests by…☆12Updated 5 months ago
- ☆19Updated 2 years ago
- ☆16Updated 2 years ago
- QEMU with support for CHERI☆57Updated this week
- Verification of BPF JIT compilers☆54Updated last year
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆16Updated 2 years ago
- ☆49Updated 2 years ago
- ☆11Updated 3 years ago
- Microbenchmarks for x86_64 kernel entry methods☆18Updated 2 years ago
- LFI: Practical, Efficient, and Secure Software-based Sandboxing☆57Updated this week
- memTrace, a framework for lightweight memory tracing☆57Updated 5 years ago
- ☆31Updated 3 years ago
- Some codes to trace KVM events using BPF☆18Updated 4 years ago
- Load and execute Linux ELF binaries☆28Updated 3 weeks ago
- rmem public repo☆41Updated 6 months ago
- ☆13Updated 6 years ago
- Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model☆77Updated this week
- Artifacts for the paper "KSplit: Automating Device Driver Isolation"☆11Updated 2 years ago
- Sled System Emulator☆28Updated this week
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆80Updated last year
- A tool to enable fuzzing for Spectre vulnerabilities☆30Updated 4 years ago
- ☆31Updated 6 years ago
- OCCAM: Object Culling and Concretization for Assurance Maximization☆26Updated last year
- A div-less, mul-less, atomic-less `rv64i` compiler toolchain using purely clang, musl, and compiler-rt☆29Updated 4 years ago
- Kernel-Mode-Linux☆24Updated 2 years ago
- Builds Data Provenance Graph for Multi-Threaded Programms using tthread and Intel Pt.☆14Updated 8 years ago