CTSRD-CHERI / cheri-c-programmingLinks
CHERI C/C++ Programming Guide
☆40Updated this week
Alternatives and similar repositories for cheri-c-programming
Users that are interested in cheri-c-programming are comparing it to the libraries listed below
Sorting:
- Easily build and run CHERI related projects☆86Updated this week
- QEMU with support for CHERI☆64Updated this week
- Fork of LLVM adding CHERI support☆64Updated last week
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆42Updated 3 years ago
- CHERI ISA Specification☆26Updated 3 weeks ago
- CHERI-RISC-V model written in Sail☆66Updated 7 months ago
- Learning exercises for CHERI☆21Updated 7 months ago
- FreeBSD adapted for CHERI-RISC-V and Arm Morello.☆205Updated this week
- rmem public repo☆49Updated 8 months ago
- ☆30Updated 4 years ago
- The BERI and CHERI processor and hardware platform☆50Updated 8 years ago
- XML representation of the x86 instruction set☆29Updated 3 weeks ago
- QARMA block cipher in C☆31Updated 3 years ago
- seL4 Device Driver Framework☆23Updated 2 years ago
- Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model☆92Updated last month
- RISC-V Core; superscalar, out-of-order, multi-core capable; based on RISCY-OOO from MIT☆34Updated last week
- ☆16Updated 6 years ago
- Sail code model of the CHERIoT ISA☆48Updated last week
- A Tool for the Static Analysis of Cache Side Channels☆40Updated 8 years ago
- UCLID5: formal modeling, verification, and synthesis of computational systems☆154Updated 7 months ago
- Proof-of-concept implementation for the paper "(M)WAIT for It: Bridging the Gap between Microarchitectural and Architectural Side Channel…☆27Updated 2 years ago
- ☆19Updated 11 years ago
- Verification of BPF JIT compilers☆58Updated 2 years ago
- This repo contains the artifact for our SOSP'19 paper on Serval☆32Updated 6 years ago
- Advanced Operating Systems project☆21Updated 4 months ago
- Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is parti…☆90Updated 2 months ago
- Tutorials for working with seL4 and/or CAmkES.☆59Updated 6 months ago
- sel4 benchmarking applications and support library.☆19Updated last month
- Tool for inferring cache replacement policies with automata learning. Uses LearnLib and Sketch.☆16Updated 5 years ago
- Automatic detection of speculative information flows☆75Updated 4 years ago