cheribsd
Here are 4 public repositories matching this topic...
We thought that we'd found an error with the read when used with USB to Serial devices but inactual fact we'd found a good example of the power of Cheri to protect us from faults caused by simple typos. Mistakes that are easy to make but can be difficult to spot. We're keeping this repository as an example of Cheri in the real world.
-
Updated
Feb 24, 2023 - C
Actor Model Library for C - Ported to CHERI
-
Updated
Oct 18, 2024 - C
CheriBSD with library sandboxing in the run-time linker for dissertation project
-
Updated
May 13, 2022 - C
Improve this page
Add a description, image, and links to the cheribsd topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the cheribsd topic, visit your repo's landing page and select "manage topics."