xlab-uiuc / linux-mcdcLinks
Measure Linux kernel's modified condition/decision coverage (MC/DC)
☆11Updated last month
Alternatives and similar repositories for linux-mcdc
Users that are interested in linux-mcdc are comparing it to the libraries listed below
Sorting:
- Risc-V hypervisor for TEE development☆125Updated 5 months ago
- Artifacts, including experiments and graphs, for the paper: "Unikraft: Fast, Specialized Unikernels the Easy Way" (EuroSys'21 - Best Pape…☆28Updated 4 years ago
- ☆43Updated this week
- This repo holds the work area and revisions of the non-ISA specification created by the RISC-V AP-TEE TG. This specification defines the …☆63Updated 6 months ago
- Microkernel-based system for heterogeneous manycores☆13Updated last year
- Microkit - A simple operating system framework for the seL4 microkernel☆158Updated this week
- Loupe: Syscall Usage Analysis Tool☆42Updated last week
- Core KernelCI tools☆115Updated this week
- ☆124Updated 5 months ago
- Linux kernel source tree☆31Updated last week
- P4 formalization using Ott and HOL4☆13Updated last week
- Rust library for AMD SEV and SEV-SNP☆123Updated last week
- Mirror of the official Barrelfish OS repository.☆216Updated 2 years ago
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆18Updated 3 years ago
- RedLeaf Operating System☆136Updated 3 years ago
- OASIS Virtual I/O Device TC: Source code for the VIRTIO (Virtual I/O) Specification maintained by the OASIS Virtual I/O Device (VIRTIO) T…☆286Updated last week
- ☆23Updated 3 years ago
- Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone☆109Updated 3 years ago
- Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust☆141Updated last year
- ☆236Updated last year
- A virtual machine monitor for the seL4 microkernel☆45Updated last week
- This specification is integrated into the Priv. and Unpriv. specifications. This repo is no longer maintained. Please refer to the Priv. …☆92Updated last week
- An on-device confidential computing platform☆128Updated last week
- Generic model checker for concurrent C programs (mirror repository)☆160Updated last week
- Revealing the Unstable Foundations of eBPF-Based Kernel Extensions☆16Updated 6 months ago
- KernelCI Linux Foundation project documentation☆13Updated last month
- ☆155Updated this week
- Yizhou' Homepage☆52Updated 3 months ago
- Build Trusted Chain for Cloud Native in Confidential Computing Envrionment☆18Updated 9 months ago
- CHERI C/C++ Programming Guide☆39Updated 2 weeks ago