CTSRD-CHERI/cheri-c-programming

Issues

• vaddr_t rules

  #22 opened 3 years ago by ltratt
  13

• Discourage use of tags to implement logic

  #37 opened 2 years ago by kwitaszczyk
  1

• Document "%#p" printf format

  #35 opened 2 years ago by bsdphk
  1

• A list of all CHERI specific compiler options would be nice

  #36 opened 2 years ago by bsdphk
  0

• document typedef guard macros, etc for ptraddr_t etc

  #34 opened 2 years ago by brooksdavis
  1

• Add an example of problematic realloc patterns

  #33 opened 3 years ago by brooksdavis
  0

• Specification of `sentry`

  #31 opened 3 years ago by ruben-arm
  1

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

  #32 opened 3 years ago by ruben-arm
  0

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

  #30 opened 3 years ago by ruben-arm
  0

• CHERI_PERM_LOAD_CAP / CHERI_PERM_STORE_CAP

  #29 opened 3 years ago by ruben-arm
  0

• NULL pointer representation

  #28 opened 3 years ago by ruben-arm
  0

• Document __CHERI_PURE_CAPABILITY__

  #27 opened 3 years ago by jrtc27
  0

• The guide should enumerate all CHERI LLVM compiler builtins.

  #26 opened 3 years ago by rwatson
  0

• Explicitly document and justify uintmax_t not being able to store uintptr_t

  #25 opened 3 years ago by brooksdavis
  0

• Add common problematic idioms section

  #24 opened 3 years ago by brooksdavis
  0

• (u)intcap_t integer conversions

  #14 opened 3 years ago by kevin-brodsky-arm
  4

• More structured specification for memory-allocator APIs

  #23 opened 3 years ago by rwatson
  3

• The guide should say something about multiple translation units

  #21 opened 3 years ago by rwatson
  0

• Pure-capability ABI definition

  #20 opened 3 years ago by ruben-arm
  5

• Guide should say something about subobject bounds and unions

  #19 opened 3 years ago by rwatson
  0

• __attribute__((cheri_subobject_bounds_use_remaining_size(n))) isn't documented

  #18 opened 3 years ago by rwatson
  0

• Strengthen comments about allocators

  #17 opened 3 years ago by jrtc27
  0

• Document linker set "magic" size setting heuristic

  #16 opened 3 years ago by jrtc27
  0

• Unit testing

  #15 opened 3 years ago by connor-brooks
  0

• Document when tags are preserved when copying memory

  #12 opened 4 years ago by kevin-brodsky-arm
  8

• Standard macros to identify CHERI support and ABIs

  #13 opened 4 years ago by kevin-brodsky-arm
  6

• Add a signed version of ptraddr_t

  #11 opened 4 years ago by jrtc27
  2

• Find a better alternative to vaddr_t and actually define it in cheriintrin.h

  #8 opened 4 years ago by kevin-brodsky-arm
  18

• Requirements for standard library routines

  #9 opened 4 years ago by ruben-arm
  11

• Document expectations for bounds on various C-language types

  #10 opened 4 years ago by rwatson
  0

• Please consider adding a current pdf copy of the guide to the repository

  #5 opened 5 years ago by anaaktge
  3