Issues

• Inquiry About Buffer Bound Tracking

  checkedc/checkedc-clang#1212 · Filter by author Ryuanxue opened on Oct 25, 2024

• Inverse expression IR for casts is sometime incorrect

  checkedc/checkedc-clang#1211 · Filter by author dtarditi opened on Oct 12, 2024

• clang 17 upgrade: remaining 3C failing tests

  checkedc/checkedc-clang#1209 · Filter by author dtarditi opened on Oct 2, 2024
  2

  

• Upgrade Checked C clang sources to clang mainline 17.0

  checkedc/checkedc-clang#1204 · Filter by author dtarditi opened on Sep 1, 2024
  4

• Checked-pointer local variable can be initialized with itself (unsound)

  checkedc/checkedc-clang#1194 · Filter by author mattmccutchen-cci opened on Oct 22, 2021
  1

• Local variable bounds dependent on global variable can be invalidated by function call (unsound)

  checkedc/checkedc-clang#1192 · Filter by author mattmccutchen-cci opened on Oct 21, 2021
  1

• No error on assignment to global variable used in bounds of another global variable (unsound)

  checkedc/checkedc-clang#1191 · Filter by author mattmccutchen-cci opened on Oct 21, 2021
  1

• Eliminate null checks if the OS is known to trap failures safely

  checkedc/checkedc-clang#1189 · Filter by author mattmccutchen-cci opened on Sep 29, 2021

• Option to warn for each inserted runtime check that can't be proved unnecessary

  checkedc/checkedc-clang#1188 · Filter by author mattmccutchen-cci opened on Sep 29, 2021

• Fail to catch an out-of-bounds access at compile time

  checkedc/checkedc-clang#1186 · Filter by author jiezhoucs opened on Sep 27, 2021

• Missing checks in calls to variadic functions inside checked scope

  bugfuture work
  checkedc/checkedc-clang#1178 · Filter by author mgrang opened on Sep 2, 2021

• Invertibility does not use semantic expression comparison

  checkedc/checkedc-clang#1175 · Filter by author kkjeer opened on Sep 1, 2021
  

• Type-(un)safe unions (bug, and suggestion) ?

  checkedc/checkedc-clang#1168 · Filter by author mwhicks1 opened on Aug 24, 2021

• Move language conformance tests related to Where clauses to the checkedc repository

  checkedc/checkedc-clang#1167 · Filter by author sulekhark opened on Aug 24, 2021
  

• Another crash while using checkedC

  checkedc/checkedc-clang#1161 · Filter by author Arslan8 opened on Aug 17, 2021
  2

• Consider emitting warnings for uses of pointers that violate their bounds-safe interfaces

  future work
  checkedc/checkedc-clang#1159 · Filter by author kkjeer opened on Aug 14, 2021

• Do not emit return bounds checking warnings or errors in certain contexts for bounds-safe interfaces

  work item
  checkedc/checkedc-clang#1157 · Filter by author kkjeer opened on Aug 14, 2021
  

• Should casting a char * to _Nt_array_ptr be allowed?

  needs investigationquestion
  checkedc/checkedc-clang#1155 · Filter by author mgrang opened on Aug 12, 2021

• No need to pass CheckedScopeSpecifier around in SemaBounds.cpp

  priority:3work item
  checkedc/checkedc-clang#1151 · Filter by author mgrang opened on Aug 10, 2021
  3

• Where clause on invalid declaration causes the parser running forever

  bug
  checkedc/checkedc-clang#1144 · Filter by author arbipher opened on Aug 4, 2021
  1

• Declaring nt_checked array of size 0 should be illegal

  bug
  checkedc/checkedc-clang#1138 · Filter by author mgrang opened on Jul 27, 2021
  1

• Assertion failure after trying to declare _Nt_checked[0]

  bugpriority:2
  checkedc/checkedc-clang#1130 · Filter by author john-h-kastner opened on Jul 19, 2021

• Assertion failure during LLVM IR generation for dynamic bounds cast of generic parameter

  bugpriority:3
  checkedc/checkedc-clang#1126 · Filter by author john-h-kastner opened on Jul 13, 2021

• Review/fix the coalesce and sort operations on PreorderAST nodes to account for the possibility of overflow

  checkedc/checkedc-clang#1125 · Filter by author sulekhark opened on Jul 10, 2021

• Compiler null dereference on invalid implicit conversion between incompatible checked pointer types

  bugpriority:3
  checkedc/checkedc-clang#1115 · Filter by author mattmccutchen-cci opened on Jul 6, 2021