semistrict / dune
Clone of Dune http://dune.scs.stanford.edu/
☆20Updated 11 years ago
Alternatives and similar repositories for dune:
Users that are interested in dune are comparing it to the libraries listed below
- Pedagogical Hypervisor, based on MIT JOS☆67Updated 6 years ago
- Secure Virtual Architecture☆42Updated 5 years ago
- ☆55Updated 2 years ago
- The Bear Operating System☆24Updated 7 years ago
- Intra-Unikernel Isolation with Intel Memory Protection Keys☆12Updated 4 years ago
- Memory access tracing QEMU☆96Updated 8 years ago
- deprecated☆46Updated 5 years ago
- Monitor, rewrite and/or otherwise trap system calls... on Linux/x86{,-64} only, for now.☆60Updated 2 weeks ago
- SoftBoundCETS for LLVM+Clang version 34☆57Updated 10 years ago
- Rust Bindings to interact with SMTLIB2 compliant solvers☆16Updated 5 years ago
- Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)☆51Updated 2 years ago
- Open-source release for MemSentry (EuroSys'17)☆47Updated 3 years ago
- Function tracer for gcc☆35Updated 8 years ago
- ☆19Updated 2 years ago
- Fast and efficient binary translator☆58Updated 6 years ago
- 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
- ☆27Updated 7 months ago
- Simple Intel CPU processor tracing on Linux☆348Updated last year
- minivm based on kvm☆147Updated 8 months ago
- EbbRT: elastic building block runtime☆75Updated 6 months ago
- ☆196Updated 2 years ago
- Intel Kernel Guard Technology Core Repo☆55Updated 10 months ago
- ☆35Updated 7 years ago
- MCFI/PICFI tool chain☆42Updated 11 months ago
- ☆70Updated 4 years ago
- Fast static binary instrumentation for linux/x86☆82Updated 7 years ago
- PathArmor context-sensitive CFI implementation☆45Updated 9 years ago
- ☆90Updated 10 months ago
- Fast Binary Translator for the Kernel☆27Updated 11 years ago
- Test suite for the Linux perf_event subsystem☆112Updated 4 months ago