Search results

Temporal safety information is outdated

Status: Open.

#39 In CTSRD-CHERI/cheri-c-programming;

· rwatson opened on Feb 20, 2025

Discourage use of tags to implement logic

Status: Open.

#37 In CTSRD-CHERI/cheri-c-programming;

· kwitaszczyk opened on Apr 28, 2023

A list of all CHERI specific compiler options would be nice

Status: Open.

#36 In CTSRD-CHERI/cheri-c-programming;

· bsdphk opened on Nov 28, 2022

Document "%#p" printf format

Status: Open.

#35 In CTSRD-CHERI/cheri-c-programming;

· bsdphk opened on Nov 28, 2022

document typedef guard macros, etc for ptraddr_t etc

Status: Open.

#34 In CTSRD-CHERI/cheri-c-programming;

· brooksdavis opened on Nov 10, 2022

Add an example of problematic realloc patterns

Status: Open.

#33 In CTSRD-CHERI/cheri-c-programming;

· brooksdavis opened on Apr 28, 2022

Is it specified when violation of capability rules is preventing further execution?

Status: Open.

#32 In CTSRD-CHERI/cheri-c-programming;

· ruben-arm opened on Apr 11, 2022

Specification of sentry

Status: Open.

#31 In CTSRD-CHERI/cheri-c-programming;

· ruben-arm opened on Apr 11, 2022

Semantics for some other CHERI permissions (seal/unseal, global/store_local_cap)

Status: Open.

#30 In CTSRD-CHERI/cheri-c-programming;

· ruben-arm opened on Apr 1, 2022

CHERI_PERM_LOAD_CAP / CHERI_PERM_STORE_CAP

Status: Open.

#29 In CTSRD-CHERI/cheri-c-programming;

· ruben-arm opened on Apr 1, 2022

NULL pointer representation

Status: Open.

#28 In CTSRD-CHERI/cheri-c-programming;

· ruben-arm opened on Mar 16, 2022

Document __CHERI_PURE_CAPABILITY__

Status: Open.

#27 In CTSRD-CHERI/cheri-c-programming;

· jrtc27 opened on Feb 10, 2022