Skip to content

Issues: checkedc/checkedc-clang

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

161 Open 361 Closed
161 Open 361 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Inquiry About Buffer Bound Tracking
#1212 opened Oct 25, 2024 by Ryuanxue
Inverse expression IR for casts is sometime incorrect
#1211 opened Oct 12, 2024 by dtarditi
clang 17 upgrade: remaining 3C failing tests
#1209 opened Oct 2, 2024 by dtarditi
@Machiry @souragc
2
Upgrade Checked C clang sources to clang mainline 17.0
#1204 opened Sep 1, 2024 by dtarditi
4
Checked-pointer local variable can be initialized with itself (unsound)
#1194 opened Oct 22, 2021 by mattmccutchen-cci
1
Local variable bounds dependent on global variable can be invalidated by function call (unsound)
#1192 opened Oct 21, 2021 by mattmccutchen-cci
1
No error on assignment to global variable used in bounds of another global variable (unsound)
#1191 opened Oct 21, 2021 by mattmccutchen-cci
1
Eliminate null checks if the OS is known to trap failures safely
#1189 opened Sep 29, 2021 by mattmccutchen-cci
Option to warn for each inserted runtime check that can't be proved unnecessary
#1188 opened Sep 29, 2021 by mattmccutchen-cci
Fail to catch an out-of-bounds access at compile time
#1186 opened Sep 27, 2021 by jiezhoucs
Missing checks in calls to variadic functions inside checked scope bug This labels issues that are bugs. future work This labels issues that need further triaging and discussion.
#1178 opened Sep 2, 2021 by mgrang
Invertibility does not use semantic expression comparison
#1175 opened Sep 1, 2021 by kkjeer
@kkjeer
Type-(un)safe unions (bug, and suggestion) ?
#1168 opened Aug 24, 2021 by mwhicks1
Move language conformance tests related to Where clauses to the checkedc repository
#1167 opened Aug 24, 2021 by sulekhark
@mgrang
Another crash while using checkedC
#1161 opened Aug 17, 2021 by Arslan8
2
Consider emitting warnings for uses of pointers that violate their bounds-safe interfaces future work This labels issues that need further triaging and discussion.
#1159 opened Aug 14, 2021 by kkjeer
Do not emit return bounds checking warnings or errors in certain contexts for bounds-safe interfaces work item This labels issues that are not exactly bugs but are about improvements.
#1157 opened Aug 14, 2021 by kkjeer
@kkjeer
Should casting a char * to _Nt_array_ptr be allowed? needs investigation question
#1155 opened Aug 12, 2021 by mgrang
No need to pass CheckedScopeSpecifier around in SemaBounds.cpp priority:3 This labels bugs that are not very critical but still need to be addressed. work item This labels issues that are not exactly bugs but are about improvements.
#1151 opened Aug 10, 2021 by mgrang
3
Where clause on invalid declaration causes the parser running forever bug This labels issues that are bugs.
#1144 opened Aug 4, 2021 by arbipher
1
Declaring nt_checked array of size 0 should be illegal bug This labels issues that are bugs.
#1138 opened Jul 27, 2021 by mgrang
1
Assertion failure after trying to declare _Nt_checked[0] bug This labels issues that are bugs. priority:2 This labels bugs that require immediate attention.
#1130 opened Jul 19, 2021 by john-h-kastner
Assertion failure during LLVM IR generation for dynamic bounds cast of generic parameter bug This labels issues that are bugs. priority:3 This labels bugs that are not very critical but still need to be addressed.
#1126 opened Jul 13, 2021 by john-h-kastner
Review/fix the coalesce and sort operations on PreorderAST nodes to account for the possibility of overflow
#1125 opened Jul 10, 2021 by sulekhark
Compiler null dereference on invalid implicit conversion between incompatible checked pointer types bug This labels issues that are bugs. priority:3 This labels bugs that are not very critical but still need to be addressed.
#1115 opened Jul 6, 2021 by mattmccutchen-cci
ProTip! Follow long discussions with comments:>50.