checkedc checkedc-clang issues

checkedc / 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.

https://www.checkedc.org

495 stars 72 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Fix some failing clang tests cases (round 1)

#1206 dtarditi closed 1 day ago
0
Fix up URLs in Checked C docs.

#1205 dtarditi closed 1 week ago
0
Upgrade Checked C clang sources to clang mainline 17.0

#1204 dtarditi opened 1 week ago
3
Merge fork

#1202 dtarditi closed 1 week ago
0
Update documentation

#1201 souragc closed 1 week ago
3
Update INSTALL.md

#1200 pogamar closed 1 week ago
2
Bump minimist and mkdirp in /llvm/utils/vscode/llvm

#1199 dependabot[bot] closed 1 year ago
0
Bump minimatch from 3.0.4 to 3.1.2 in /llvm/utils/vscode/llvm

#1198 dependabot[bot] closed 1 year ago
0
This repo is missing important files

#1197 microsoft-github-policy-service[bot] closed 2 years ago
0
Adding Microsoft SECURITY.MD

#1196 microsoft-github-policy-service[bot] closed 2 years ago
0
Compiler issues in Apple Silicon Systems

#1195 Vedaant-Rajoo closed 2 years ago
1
Checked-pointer local variable can be initialized with itself (unsound)

#1194 mattmccutchen-cci opened 2 years ago
1
Maintain a complete, up-to-date list of unimplemented parts of the Checked C specification

#1193 mattmccutchen-cci closed 1 week ago
1
Local variable bounds dependent on global variable can be invalidated by function call (unsound)

#1192 mattmccutchen-cci opened 2 years ago
1
No error on assignment to global variable used in bounds of another global variable (unsound)

#1191 mattmccutchen-cci opened 2 years ago
1
Adding locally-maintained Checked-C-specific documents.

#1190 sulekhark closed 2 years ago
0
Eliminate null checks if the OS is known to trap failures safely

#1189 mattmccutchen-cci opened 2 years ago
0
Option to warn for each inserted runtime check that can't be proved unnecessary

#1188 mattmccutchen-cci opened 2 years ago
0
Add documentation of Checked C's clangd.

#1187 mattmccutchen-cci closed 2 years ago
0
Fail to catch an out-of-bounds access at compile time

#1186 jiezhoucs opened 2 years ago
0
"stdlib.h" not found in stdlib_checked.h

#1185 jiezhoucs closed 1 week ago
4
Equality should not be recorded between expressions such as x and x + 1

#1184 kkjeer closed 3 years ago
1
Get rvalue bounds for the value of lvalue expressions from the CheckingState

#1183 kkjeer closed 3 years ago
0
Add more safety checks to variadic function calls in checked scope

#1182 mgrang closed 3 years ago
1
Member expression bounds checking in multiple assignments

#1181 kkjeer closed 3 years ago
0
Separate out windows and non-windows-specific tests for variadic functions

#1180 mgrang closed 3 years ago
0
Delete Bounds-Checking-for-LValue-Expressions doc

#1179 kkjeer closed 3 years ago
0
Missing checks in calls to variadic functions inside checked scope

#1178 mgrang opened 3 years ago
0
Missing checks in calls to variadic functions inside checked scope

#1177 mgrang closed 3 years ago
1
Bounds checking for pointer dereferences and array subscripts

#1176 kkjeer closed 3 years ago
1
Invertibility does not use semantic expression comparison

#1175 kkjeer opened 3 years ago
0
Support variadic function calls in checked scope

#1174 mgrang closed 3 years ago
2
Support for Bundled blocks.

#1172 sulekhark closed 3 years ago
1
Implement the framework of CheckedC SMT prover

#1171 arbipher closed 3 years ago
2
Check that variables and member expressions used in return bounds are unmodified

#1170 kkjeer closed 3 years ago
4
Bounds checking bounds-safe interfaces in unchecked scopes

#1169 kkjeer closed 3 years ago
0
Type-(un)safe unions (bug, and suggestion) ?

#1168 mwhicks1 opened 3 years ago
0
Move language conformance tests related to Where clauses to the checkedc repository

#1167 sulekhark opened 3 years ago
0
Update bounds checking notes

#1166 kkjeer closed 3 years ago
0
Treat address-of array subscripts the same way as address-of dereferences

#1163 kkjeer closed 3 years ago
0
Don't record temporary equality between expression such as x and x + 1 in TargetSrcEquality

#1162 kkjeer closed 3 years ago
0
Another crash while using checkedC

#1161 Arslan8 opened 3 years ago
2
Allow `printf`-like calls in checked scopes if they pass `-Wformat` validation

#1160 mattmccutchen-cci closed 1 week ago
4
Consider emitting warnings for uses of pointers that violate their bounds-safe interfaces

#1159 kkjeer opened 3 years ago
0
Do not emit bounds checking warnings or errors for bounds-safe interfaces in certain contexts

#1158 kkjeer closed 3 years ago
0
Do not emit return bounds checking warnings or errors in certain contexts for bounds-safe interfaces

#1157 kkjeer opened 3 years ago
0
Bump path-parse from 1.0.6 to 1.0.7 in /llvm/utils/vscode/llvm

#1156 dependabot[bot] closed 3 years ago
1
Should casting a char * to _Nt_array_ptr be allowed?

#1155 mgrang opened 3 years ago
0
Verify if an expr contains errors before checking invertibility

#1154 mgrang closed 3 years ago
0
Assertion fail durring bounds widening

#1153 john-h-kastner closed 3 years ago
1