From 972619321eaf44b74bea093957eedc9a2b2d4a45 Mon Sep 17 00:00:00 2001 From: Alexander Richardson Date: Wed, 13 Nov 2024 07:30:27 -0800 Subject: [PATCH] Update src/cap-description.adoc Signed-off-by: Alexander Richardson --- src/cap-description.adoc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/cap-description.adoc b/src/cap-description.adoc index d8094860..94506a8d 100644 --- a/src/cap-description.adoc +++ b/src/cap-description.adoc @@ -560,7 +560,7 @@ CHERI enforces the following invariants for all valid (i.e., tagged) capabilitie . The bounds are not malformed. . No reserved bit in the capability encoding is set. -. The permissions are legally produced by <>. +. The permissions can be legally produced by <>. A tagged capability that violates those invariants (i.e., a tagged but malformed capability or a tagged capability with any reserved bit set) can only possibly be caused by