checkedc/checkedc-llvm-project

Issues

• Upgrade Checked C clang sources to clang mainline 17.0

  #1231 opened 6 months ago by dtarditi
  2

• Assertion failure in checkPointerTypesForAssignment due to non-canonical RHS type

  #1200 opened 9 months ago by arunkumarbhattar
  0

• Minimalized code based on Linux kernel file `init/do_mounts.c` that causes clang to crash

  #1220 opened 9 months ago by souragc
  1

• Allow `printf`-like calls in checked scopes if they pass `-Wformat` validation

  #1159 opened 9 months ago by secure-sw-dev-bot
  4

• Extend Checked C format-string checks to unchecked scopes

  #1225 opened 9 months ago by dtarditi
  0

• "stdlib.h" not found in stdlib_checked.h

  #1181 opened 9 months ago by secure-sw-dev-bot
  5

• C++ Support

  #1219 opened a year ago by DibyaTheXPFan
  1

• Maintain a complete, up-to-date list of unimplemented parts of the Checked C specification

  #1189 opened 9 months ago by secure-sw-dev-bot
  1

• check-all command fails on some 3c tests

  #1202 opened 9 months ago by dtarditi
  1

• Start distributing checkedc-clang compiler binaries again

  #1214 opened 9 months ago by dtarditi
  1

• Update 3C documentation

  #1206 opened 10 months ago by dtarditi
  0

• Get LNT testing working again

  #1213 opened a year ago by dtarditi
  0

• Get automated testing of Checked C compiler tests working again

  #1212 opened a year ago by dtarditi
  0

• Check flow-sensitive bounds declarations within their extents

  #1211 opened a year ago by dtarditi
  0

• Epic: implement flow-sensitive bounds declarations

  #1207 opened a year ago by dtarditi
  0

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

  #1210 opened a year ago by dtarditi
  0

• Check bounds declarations in where clauses

  #1209 opened a year ago by dtarditi
  0

• Compute the extent of flow-sensitive bounds declarations

  #1208 opened a year ago by dtarditi
  0

• Fix issues in bounds-widening analysis in for Nt_array_ptrs

  #1205 opened a year ago by dtarditi
  0

• Assertion failure when compiling openssh-portable source code

  #1204 opened a year ago by arunkumarbhattar
  0

• Rogue semi-colon causes clang to crash.

  #1195 opened a year ago by souragc
  1

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

  #1190 opened 3 years ago by secure-sw-dev-bot
  1

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

  #1188 opened 3 years ago by secure-sw-dev-bot
  1

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

  #1187 opened 3 years ago by secure-sw-dev-bot
  1

• Adding locally-maintained Checked-C-specific documents.

  #1186 opened 3 years ago by secure-sw-dev-bot
  0

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

  #1185 opened 3 years ago by secure-sw-dev-bot
  0

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

  #1184 opened 3 years ago by secure-sw-dev-bot
  0

• Add documentation of Checked C's clangd.

  #1183 opened 3 years ago by secure-sw-dev-bot
  0

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

  #1182 opened 3 years ago by secure-sw-dev-bot
  0

• Equality should not be recorded between expressions such as x and x + 1

  #1180 opened 3 years ago by secure-sw-dev-bot
  1

• Get rvalue bounds for the value of lvalue expressions from the CheckingState

  #1179 opened 3 years ago by secure-sw-dev-bot
  0

• Add more safety checks to variadic function calls in checked scope

  #1178 opened 3 years ago by secure-sw-dev-bot
  1

• Member expression bounds checking in multiple assignments

  #1177 opened 3 years ago by secure-sw-dev-bot
  0

• Separate out windows and non-windows-specific tests for variadic functions

  #1176 opened 3 years ago by secure-sw-dev-bot
  0

• Delete Bounds-Checking-for-LValue-Expressions doc

  #1175 opened 3 years ago by secure-sw-dev-bot
  0

• Missing checks in calls to variadic functions inside checked scope

  #1174 opened 3 years ago by secure-sw-dev-bot
  0

• Missing checks in calls to variadic functions inside checked scope

  #1173 opened 3 years ago by secure-sw-dev-bot
  1

• Bounds checking for pointer dereferences and array subscripts

  #1172 opened 3 years ago by secure-sw-dev-bot
  1

• Invertibility does not use semantic expression comparison

  #1171 opened 3 years ago by secure-sw-dev-bot
  0

• Support variadic function calls in checked scope

  #1170 opened 3 years ago by secure-sw-dev-bot
  2

• Support for Bundled blocks.

  #1169 opened 3 years ago by secure-sw-dev-bot
  1

• Implement the framework of CheckedC SMT prover

  #1168 opened 3 years ago by secure-sw-dev-bot
  2

• Check that variables and member expressions used in return bounds are unmodified

  #1167 opened 3 years ago by secure-sw-dev-bot
  4

• Bounds checking bounds-safe interfaces in unchecked scopes

  #1166 opened 3 years ago by secure-sw-dev-bot
  0

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

  #1165 opened 3 years ago by secure-sw-dev-bot
  0

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

  #1164 opened 3 years ago by secure-sw-dev-bot
  0

• Update bounds checking notes

  #1163 opened 3 years ago by secure-sw-dev-bot
  0

• Treat address-of array subscripts the same way as address-of dereferences

  #1162 opened 3 years ago by secure-sw-dev-bot
  0

• Don't record temporary equality between expression such as x and x + 1 in TargetSrcEquality

  #1161 opened 3 years ago by secure-sw-dev-bot
  0

• Another crash while using checkedC

  #1160 opened 3 years ago by secure-sw-dev-bot
  2