CTSRD-CHERI cheri-c-programming issues

CTSRD-CHERI / cheri-c-programming

CHERI C/C++ Programming Guide

28 stars 3 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

First cut at conversion from LaTeX to mdbook for the CHERI C/C++ guide.

#38 rwatson opened 1 year ago
2
Discourage use of tags to implement logic

#37 kwitaszczyk opened 1 year ago
1
A list of all CHERI specific compiler options would be nice

#36 bsdphk opened 1 year ago
0
Document "%#p" printf format

#35 bsdphk opened 1 year ago
1
document typedef guard macros, etc for ptraddr_t etc

#34 brooksdavis opened 1 year ago
1
Add an example of problematic realloc patterns

#33 brooksdavis opened 2 years ago
0
Is it specified when violation of capability rules is preventing further execution?

#32 ruben-arm opened 2 years ago
0
Specification of `sentry`

#31 ruben-arm opened 2 years ago
1
Semantics for some other CHERI permissions (seal/unseal, global/store_local_cap)

#30 ruben-arm opened 2 years ago
0
CHERI_PERM_LOAD_CAP / CHERI_PERM_STORE_CAP

#29 ruben-arm opened 2 years ago
0
NULL pointer representation

#28 ruben-arm opened 2 years ago
0
Document __CHERI_PURE_CAPABILITY__

#27 jrtc27 opened 2 years ago
0
The guide should enumerate all CHERI LLVM compiler builtins.

#26 rwatson opened 2 years ago
0
Explicitly document and justify uintmax_t not being able to store uintptr_t

#25 brooksdavis opened 2 years ago
0
Add common problematic idioms section

#24 brooksdavis opened 2 years ago
0
More structured specification for memory-allocator APIs

#23 rwatson opened 2 years ago
3
vaddr_t rules

#22 ltratt opened 3 years ago
13
The guide should say something about multiple translation units

#21 rwatson opened 3 years ago
0
Pure-capability ABI definition

#20 ruben-arm opened 3 years ago
5
Guide should say something about subobject bounds and unions

#19 rwatson opened 3 years ago
0
__attribute__((cheri_subobject_bounds_use_remaining_size(n))) isn't documented

#18 rwatson opened 3 years ago
0
Strengthen comments about allocators

#17 jrtc27 opened 3 years ago
0
Document linker set "magic" size setting heuristic

#16 jrtc27 opened 3 years ago
0
Unit testing

#15 connor-brooks closed 3 years ago
0
(u)intcap_t integer conversions

#14 kevin-brodsky-arm closed 2 years ago
4
Standard macros to identify CHERI support and ABIs

#13 kevin-brodsky-arm opened 3 years ago
6
Document when tags are preserved when copying memory

#12 kevin-brodsky-arm opened 3 years ago
8
Add a signed version of ptraddr_t

#11 jrtc27 opened 3 years ago
2
Document expectations for bounds on various C-language types

#10 rwatson opened 4 years ago
0
Requirements for standard library routines

#9 ruben-arm opened 4 years ago
11
Find a better alternative to vaddr_t and actually define it in cheriintrin.h

#8 kevin-brodsky-arm closed 3 years ago
18
Use noun-verb naming for CHERI functions

#7 arichardson closed 4 years ago
3
Update CHERI builtin names for new cheriintrin.h header

#6 arichardson closed 4 years ago
0
Please consider adding a current pdf copy of the guide to the repository

#5 anaaktge closed 4 years ago
3
Pre clearence cleanups

#4 brooksdavis closed 4 years ago
0
Expand the out-of-bounds pointers section.

#3 bsdjhb closed 4 years ago
0
Start documenting compiler warnings

#2 arichardson closed 4 years ago
3
Various small changes

#1 bsdjhb closed 4 years ago
0