CTSRD-CHERI / cheri-c-programming
CHERI C/C++ Programming Guide
☆31Updated 3 weeks ago
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:
- QEMU with support for CHERI☆58Updated 3 weeks ago
- Fork of LLVM adding CHERI support☆52Updated 3 weeks ago
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆40Updated 2 years ago
- Easily build and run CHERI related projects☆75Updated 2 weeks ago
- RISC-V BSV Specification☆20Updated 5 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- CHERI ISA Specification☆24Updated 10 months ago
- A collection of C/C++ programs and Python scripts to be used in conjunction with Intel Software Development Emulator (Intel SDE, availabl…☆40Updated 4 months ago
- ☆16Updated 5 years ago
- Lists of must-read papers (mainly security papers)☆30Updated 8 months ago
- ☆19Updated 10 years ago
- C3-Simulator is a Simics-based functional simulator for the X86 C3 processor, including library and kernel support for pointer and data e…☆18Updated 2 months ago
- Learning exercises for CHERI☆21Updated 7 months ago
- rmem public repo☆41Updated last month
- Minimal RISC Extensions for Isolated Execution☆52Updated 5 years ago
- The BERI and CHERI processor and hardware platform☆50Updated 8 years ago
- RISC-V Core; superscalar, out-of-order, multi-core capable; based on RISCY-OOO from MIT☆30Updated this week
- ☆30Updated 3 years ago
- ☆52Updated 9 years ago
- Automatic detection of speculative information flows☆68Updated 3 years ago
- Generates CIL MLIR dialect from C/C++ source.☆32Updated 4 years ago
- sel4 benchmarking applications and support library.☆20Updated 2 weeks ago
- Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)☆53Updated 2 years ago
- CHERI-RISC-V model written in Sail☆59Updated last month
- Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is parti…☆81Updated 5 months ago
- Runtime type and bounds-error checking for C/C++☆103Updated 5 months ago
- Revectorization passes integrated into the LLVM compiler infrastructure☆31Updated 6 years ago
- A port of the RIPE suite to RISC-V.☆29Updated 6 years ago
- Visualization of LLVM IR☆59Updated 11 years ago
- A Tool for the Static Analysis of Cache Side Channels☆40Updated 8 years ago