Issues

• Upgrade Checked C clang sources to clang mainline 17.0

  checkedc/checkedc-llvm-project#1231 · Filter by author dtarditi opened on Mar 24, 2024
  2

• Extend Checked C format-string checks to unchecked scopes

  enhancement
  checkedc/checkedc-llvm-project#1225 · Filter by author dtarditi opened on Dec 3, 2023

• C++ Support

  checkedc/checkedc-llvm-project#1219 · Filter by author DibyaTheXPFan opened on Oct 15, 2023
  1

• Get LNT testing working again

  checkedc/checkedc-llvm-project#1213 · Filter by author dtarditi opened on Jul 11, 2023 · Checked C v1.0 release
  

• Get automated testing of Checked C compiler tests working again

  checkedc/checkedc-llvm-project#1212 · Filter by author dtarditi opened on Jul 11, 2023 · Checked C v1.0 release
  

• Check flow-sensitive bounds declarations within their extents

  checkedc/checkedc-llvm-project#1211 · Filter by author dtarditi opened on Jul 11, 2023

• Use flow-sensitive bounds declarations for bounds-checking memory accesses

  checkedc/checkedc-llvm-project#1210 · Filter by author dtarditi opened on Jul 11, 2023 · Checked C v1.0 release
  

• Check bounds declarations in where clauses

  checkedc/checkedc-llvm-project#1209 · Filter by author dtarditi opened on Jul 11, 2023

• Compute the extent of flow-sensitive bounds declarations

  checkedc/checkedc-llvm-project#1208 · Filter by author dtarditi opened on Jul 11, 2023 · Checked C v1.0 release
  

• Epic: implement flow-sensitive bounds declarations

  checkedc/checkedc-llvm-project#1207 · Filter by author dtarditi opened on Jul 11, 2023 · Checked C v1.0 release
  

• Fix issues in bounds-widening analysis in for Nt_array_ptrs

  checkedc/checkedc-llvm-project#1205 · Filter by author dtarditi opened on Jul 2, 2023 · Checked C v1.0 release
  

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

  checkedc/checkedc-llvm-project#1190 · Filter by author secure-sw-dev-bot opened on Jan 17, 2022
  1

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

  checkedc/checkedc-llvm-project#1188 · Filter by author secure-sw-dev-bot opened on Jan 17, 2022
  1

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

  checkedc/checkedc-llvm-project#1187 · Filter by author secure-sw-dev-bot opened on Jan 17, 2022
  1

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

  checkedc/checkedc-llvm-project#1185 · Filter by author secure-sw-dev-bot opened on Jan 17, 2022

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

  checkedc/checkedc-llvm-project#1184 · Filter by author secure-sw-dev-bot opened on Jan 17, 2022

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

  checkedc/checkedc-llvm-project#1182 · Filter by author secure-sw-dev-bot opened on Jan 17, 2022

• Missing checks in calls to variadic functions inside checked scope

  bugfuture work
  checkedc/checkedc-llvm-project#1174 · Filter by author secure-sw-dev-bot opened on Jan 17, 2022

• Invertibility does not use semantic expression comparison

  checkedc/checkedc-llvm-project#1171 · Filter by author secure-sw-dev-bot opened on Jan 17, 2022

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

  checkedc/checkedc-llvm-project#1165 · Filter by author secure-sw-dev-bot opened on Jan 17, 2022

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

  checkedc/checkedc-llvm-project#1164 · Filter by author secure-sw-dev-bot opened on Jan 17, 2022

• Another crash while using checkedC

  checkedc/checkedc-llvm-project#1160 · Filter by author secure-sw-dev-bot opened on Jan 17, 2022
  2

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

  future work
  checkedc/checkedc-llvm-project#1158 · Filter by author secure-sw-dev-bot opened on Jan 17, 2022

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

  work item
  checkedc/checkedc-llvm-project#1156 · Filter by author secure-sw-dev-bot opened on Jan 17, 2022

• Should casting a char * to _Nt_array_ptr be allowed?

  needs investigationquestion
  checkedc/checkedc-llvm-project#1154 · Filter by author secure-sw-dev-bot opened on Jan 17, 2022