diff options
author | Carlos Eduardo Seo <carlos.seo@arm.com> | 2022-07-07 18:46:43 +0000 |
---|---|---|
committer | Szabolcs Nagy <szabolcs.nagy@arm.com> | 2022-10-27 14:46:55 +0100 |
commit | cfa623ce10c5d1319f3a8345930a5044b3471e57 (patch) | |
tree | 68382f4197a30fe1b1e124b9a39391673c861df6 /support/support_test_compare_failure.c | |
parent | c6827cd8b558a4fa191ad285bde4a17efdd758db (diff) | |
download | glibc-cfa623ce10c5d1319f3a8345930a5044b3471e57.tar glibc-cfa623ce10c5d1319f3a8345930a5044b3471e57.tar.gz glibc-cfa623ce10c5d1319f3a8345930a5044b3471e57.tar.bz2 glibc-cfa623ce10c5d1319f3a8345930a5044b3471e57.zip |
cheri: stdio-common: add support for printing CHERI capabilities
This adds a new modifier %#p for printing capability information
according to the CHERI C Programming guide:
https://github.com/CTSRD-CHERI/cheri-c-programming/wiki/Displaying-Capabilities
A %#p option in printf will display:
<address> [<permissions>,<base>-<top>] (<attr>)
* address: Virtual address of capability displayed as a hexadecimal
value with a 0x prefix.
* permissions: Zero or more of the following characters:
r: LOAD permission
w: STORE permission
x: EXECUTE permission
R: LOAD_CAP permission
W: STORE_CAP permission
E: EXECUTIVE permission (Morello only)
* base: Lower bound of capability displayed as a hexadecimal value
with a 0x prefix.
* top: Upper bound of capability plus 1 displayed as a hexadecimal
value with a 0x prefix.
* attr: Zero or more of the following comma-separated attributes. If
none of the attributes are present, this field is omitted (along
with the enclosing parentheses/brackets).
invalid: Capability's tag is clear.
sentry: Capability is a sealed entry.
sealed: Capability is sealed with a type other than the sealed
entry object type.
A %p option in printf will display the capability value (address) normally.
Diffstat (limited to 'support/support_test_compare_failure.c')
0 files changed, 0 insertions, 0 deletions