issues
search
checkedc
/
checkedc-llvm-project
This was a fork of Checked C clang used from 2021-2024. The changes have been merged into the original Checked C clang repo, which is now at https://github.com/checkedc/checkedc-clang.
https://www.checkedc.org
13
stars
19
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Option to warn for each inserted runtime check that can't be proved unnecessary
#1184
secure-sw-dev-bot
opened
2 years ago
0
Add documentation of Checked C's clangd.
#1183
secure-sw-dev-bot
closed
2 years ago
0
Fail to catch an out-of-bounds access at compile time
#1182
secure-sw-dev-bot
opened
2 years ago
0
"stdlib.h" not found in stdlib_checked.h
#1181
secure-sw-dev-bot
closed
10 months ago
5
Equality should not be recorded between expressions such as x and x + 1
#1180
secure-sw-dev-bot
closed
2 years ago
1
Get rvalue bounds for the value of lvalue expressions from the CheckingState
#1179
secure-sw-dev-bot
closed
2 years ago
0
Add more safety checks to variadic function calls in checked scope
#1178
secure-sw-dev-bot
closed
2 years ago
1
Member expression bounds checking in multiple assignments
#1177
secure-sw-dev-bot
closed
2 years ago
0
Separate out windows and non-windows-specific tests for variadic functions
#1176
secure-sw-dev-bot
closed
2 years ago
0
Delete Bounds-Checking-for-LValue-Expressions doc
#1175
secure-sw-dev-bot
closed
2 years ago
0
Missing checks in calls to variadic functions inside checked scope
#1174
secure-sw-dev-bot
opened
2 years ago
0
Missing checks in calls to variadic functions inside checked scope
#1173
secure-sw-dev-bot
closed
2 years ago
1
Bounds checking for pointer dereferences and array subscripts
#1172
secure-sw-dev-bot
closed
2 years ago
1
Invertibility does not use semantic expression comparison
#1171
secure-sw-dev-bot
opened
2 years ago
0
Support variadic function calls in checked scope
#1170
secure-sw-dev-bot
closed
2 years ago
2
Support for Bundled blocks.
#1169
secure-sw-dev-bot
closed
2 years ago
1
Implement the framework of CheckedC SMT prover
#1168
secure-sw-dev-bot
closed
2 years ago
2
Check that variables and member expressions used in return bounds are unmodified
#1167
secure-sw-dev-bot
closed
2 years ago
4
Bounds checking bounds-safe interfaces in unchecked scopes
#1166
secure-sw-dev-bot
closed
2 years ago
0
Type-(un)safe unions (bug, and suggestion) ?
#1165
secure-sw-dev-bot
opened
2 years ago
0
Move language conformance tests related to Where clauses to the checkedc repository
#1164
secure-sw-dev-bot
opened
2 years ago
0
Update bounds checking notes
#1163
secure-sw-dev-bot
closed
2 years ago
0
Treat address-of array subscripts the same way as address-of dereferences
#1162
secure-sw-dev-bot
closed
2 years ago
0
Don't record temporary equality between expression such as x and x + 1 in TargetSrcEquality
#1161
secure-sw-dev-bot
closed
2 years ago
0
Another crash while using checkedC
#1160
secure-sw-dev-bot
opened
2 years ago
2
Allow `printf`-like calls in checked scopes if they pass `-Wformat` validation
#1159
secure-sw-dev-bot
closed
10 months ago
4
Consider emitting warnings for uses of pointers that violate their bounds-safe interfaces
#1158
secure-sw-dev-bot
opened
2 years ago
0
Do not emit bounds checking warnings or errors for bounds-safe interfaces in certain contexts
#1157
secure-sw-dev-bot
closed
2 years ago
0
Do not emit return bounds checking warnings or errors in certain contexts for bounds-safe interfaces
#1156
secure-sw-dev-bot
opened
2 years ago
0
Bump path-parse from 1.0.6 to 1.0.7 in /llvm/utils/vscode/llvm
#1155
secure-sw-dev-bot
closed
2 years ago
1
Should casting a char * to _Nt_array_ptr be allowed?
#1154
secure-sw-dev-bot
opened
2 years ago
0
Verify if an expr contains errors before checking invertibility
#1153
secure-sw-dev-bot
closed
2 years ago
0
Assertion fail durring bounds widening
#1152
secure-sw-dev-bot
closed
2 years ago
1
Available facts analysis
#1151
secure-sw-dev-bot
closed
2 years ago
1
No need to pass CheckedScopeSpecifier around in SemaBounds.cpp
#1150
secure-sw-dev-bot
opened
2 years ago
3
Check return value bounds
#1149
secure-sw-dev-bot
closed
2 years ago
9
[BoundsWidening] Handle complex conditionals in bounds widening
#1148
secure-sw-dev-bot
closed
2 years ago
0
Inconsistent behavior with `str` and `&str[0]`
#1147
secure-sw-dev-bot
closed
2 years ago
7
3C test failures when checking return bounds
#1146
secure-sw-dev-bot
closed
2 years ago
4
Update the instructions for upgrade of LLVM/Clang.
#1145
secure-sw-dev-bot
closed
2 years ago
0
Available facts analysis
#1144
secure-sw-dev-bot
closed
2 years ago
0
Where clause on invalid declaration causes the parser running forever
#1143
secure-sw-dev-bot
opened
2 years ago
1
`CheckedC-Clang-12.0.1-rel1` tag created from `updated_baseline_master_12` instead of `release_12.x`: mistake?
#1142
secure-sw-dev-bot
closed
2 years ago
2
Determine checked scopes per statement
#1141
secure-sw-dev-bot
closed
2 years ago
1
Revert "[BoundsWidening] Determine checked scope specifier per statement (#1139)"
#1140
secure-sw-dev-bot
closed
2 years ago
0
Determine checked scopes
#1139
secure-sw-dev-bot
closed
2 years ago
1
[BoundsWidening] Determine checked scope specifier per statement
#1138
secure-sw-dev-bot
closed
2 years ago
0
Declaring nt_checked array of size 0 should be illegal
#1137
secure-sw-dev-bot
opened
2 years ago
1
[BoundsWidening] Use invertibility to support bounds widening in loops
#1136
secure-sw-dev-bot
closed
2 years ago
0
Fixes for test case failures after the merge to LLVM/Clang 12.x
#1135
secure-sw-dev-bot
closed
2 years ago
6
Previous
Next