microsoft/checkedc-clang
This repo contains a version of clang that is being modified to support Checked C. Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe.
Issues
- 0
- 1
Compiler issues in Apple Silicon Systems
#1195 opened by Vedaant-Rajoo - 1
Checked-pointer local variable can be initialized with itself (unsound)
#1194 opened by mattmccutchen-cci - 0
Maintain a complete, up-to-date list of unimplemented parts of the Checked C specification
#1193 opened by mattmccutchen-cci - 1
No error on assignment to global variable used in bounds of another global variable (unsound)
#1191 opened by mattmccutchen-cci - 1
Local variable bounds dependent on global variable can be invalidated by function call (unsound)
#1192 opened by mattmccutchen-cci - 3
"stdlib.h" not found in stdlib_checked.h
#1185 opened by jiezhoucs - 0
- 0
Option to warn for each inserted runtime check that can't be proved unnecessary
#1188 opened by mattmccutchen-cci - 0
Fail to catch an out-of-bounds access at compile time
#1186 opened by jiezhoucs - 1
- 3
Allow `printf`-like calls in checked scopes if they pass `-Wformat` validation
#1160 opened by mattmccutchen-cci - 0
- 1
- 0
Invertibility does not use semantic expression comparison
#1175 opened by kkjeer - 0
Do not emit bounds checking warnings or errors for bounds-safe interfaces in certain contexts
#1158 opened by kkjeer - 0
Type-(un)safe unions (bug, and suggestion) ?
#1168 opened by mwhicks1 - 0
Move language conformance tests related to Where clauses to the checkedc repository
#1167 opened by sulekhark - 7
Inconsistent behavior with `str` and `&str[0]`
#1148 opened by mwhicks1 - 2
Another crash while using checkedC
#1161 opened by Arslan8 - 4
3C test failures when checking return bounds
#1147 opened by kkjeer - 3
- 0
Do not emit return bounds checking warnings or errors in certain contexts for bounds-safe interfaces
#1157 opened by kkjeer - 0
Consider emitting warnings for uses of pointers that violate their bounds-safe interfaces
#1159 opened by kkjeer - 1
Declaring nt_checked array of size 0 should be illegal
#1138 opened by mgrang - 1
Assertion fail durring bounds widening
#1153 opened by john-h-kastner - 0
Should casting a char * to _Nt_array_ptr be allowed?
#1155 opened by mgrang - 3
Compiler is unable to prove that bounds(p, p + len + 1 - 1) imply bounds(p, p + len)
#1088 opened by kkjeer - 1
- 2
`CheckedC-Clang-12.0.1-rel1` tag created from `updated_baseline_master_12` instead of `release_12.x`: mistake?
#1143 opened by mattmccutchen-cci - 0
Allow invertibility for unchecked pointers
#1123 opened by kkjeer - 0
- 0
Assertion failure during LLVM IR generation for dynamic bounds cast of generic parameter
#1126 opened by john-h-kastner - 2
- 0
Review/fix the coalesce and sort operations on PreorderAST nodes to account for the possibility of overflow
#1125 opened by sulekhark - 2
Inconsistent error messages when incrementing null terminated array pointers with checked type and itype
#1105 opened by john-h-kastner - 0
Disallow casts between incompatible checked pointer types in checked scopes?
#1114 opened by mattmccutchen-cci - 0
Compiler null dereference on invalid implicit conversion between incompatible checked pointer types
#1115 opened by mattmccutchen-cci - 1
- 1
Bug report for crashed compiler
#1116 opened by dpostol - 0
Enable XFAIL'ed bounds widening unit tests
#1109 opened by mgrang - 1
Sorry wrong repo
#1106 opened by aaronjeline - 0
Compiler does not enforce initialization of stack-allocated `_Nt_checked` array with null terminator (unsound)
#1101 opened by mattmccutchen-cci - 0
- 0
- 0
Allowing bounds of function-scope static variable to depend on function-scope non-static variable is unsound
#1080 opened by mattmccutchen-cci - 0
- 0
Assertion fail for generic struct definition after non-generic pre-declaration
#1092 opened by john-h-kastner - 0
Crash while compilation
#1084 opened by Arslan8 - 0
A function parameter having a Where clause causes the compiler to issue an incorrect error message at a callsite
#1085 opened by sulekhark