unikraft / run-app-elfloaderLinks
Run Unikraft ELF Loader app on Linux executables
☆15Updated 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
Sorting:
- ☆50Updated 3 years ago
- ☆20Updated 3 years ago
- rmem public repo☆43Updated last month
- ☆12Updated 3 years ago
- ☆30Updated 3 years ago
- A library that allows execution of an ELF binary inside a virtual machine without a full-scale operating system☆22Updated 10 years ago
- Verification of BPF JIT compilers☆55Updated last year
- musl: A C standard library☆12Updated last month
- Intra-Unikernel Isolation with Intel Memory Protection Keys☆12Updated 5 years ago
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆16Updated 3 years ago
- Fork of LLVM adding CHERI support☆55Updated this week
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆40Updated 2 years ago
- QARMA block cipher in C☆30Updated 2 years ago
- A utility library to bridge llvm and mlir gaps.☆13Updated 5 months ago
- QEMU with support for CHERI☆58Updated 2 weeks ago
- memTrace, a framework for lightweight memory tracing☆58Updated 5 years ago
- A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs☆10Updated 5 months ago
- Sled System Emulator☆28Updated last month
- A tool to enable fuzzing for Spectre vulnerabilities☆30Updated 5 years ago
- K42 Kernel☆28Updated 13 years ago
- Embedded Universal DSL: a good DSL for us, by us☆38Updated this week
- ☆16Updated 2 years ago
- Towards Sound Reassembly of Modern x86-64 Binaries (ASPLOS'25)☆14Updated 2 months ago
- Rag-bag of utilities and scripts that do strange things with ELF files☆17Updated 3 months ago
- ☆13Updated 10 months ago
- Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)☆54Updated 3 years ago
- ☆18Updated 5 years ago
- Artifacts for the paper "KSplit: Automating Device Driver Isolation"☆11Updated 3 years ago
- CHERI ISA Specification☆24Updated 11 months ago
- Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)☆24Updated last year