Skip to content

Issues: correctcomputation/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

Clear current search query, filters, and sorts
18 Open 59 Closed
18 Open 59 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

Wrong rewriting of extern function pointer with itype bug Something isn't working function pointer itypes rewriter
#583 opened May 12, 2021 by mattmccutchen-cci
Inserted _Assume_bounds_cast bounds should substitute function call arguments for parameters array bounds benchmark failure A bug causing a failure in our nightly benchmark tests bug Something isn't working cast
#524 opened Apr 3, 2021 by mwhicks1
@Machiry
6
structs are not global : good or bad (relates to preprocessor, in part) ? bug Something isn't working macro question Further information is requested
#499 opened Mar 18, 2021 by mwhicks1
4
Constraint not generated correctly for chained DesignatedInitExpr bug Something isn't working constraint graph
#475 opened Mar 8, 2021 by john-h-kastner
Rewrite error on functions with attributes bug Something isn't working rewriter
#459 opened Feb 26, 2021 by john-h-kastner
1
Add regression test: 3C inserts syntactically invalid casts into valist.c on Windows bug Something isn't working cast varargs
#450 opened Feb 25, 2021 by mattmccutchen-cci
@john-h-kastner
1
3C inserts unwritable casts into stdio.h and corecrt_wstdio.h on Windows bug Something isn't working cast
#449 opened Feb 25, 2021 by mattmccutchen-cci
1
3C inserts cast into unwritable inline function body that calls function pointer with itype bug Something isn't working cast function pointer itypes
#423 opened Feb 10, 2021 by john-h-kastner
@mattmccutchen-cci
5
Add regression test: Assertion failure in array bounds inference on array subscript in multi-variable declaration array bounds bug Something isn't working priority:1 Highest priority item
#415 opened Feb 3, 2021 by john-h-kastner
1
@mattmccutchen-cci
2
Properly constrain non-canWrite files to not change (remaining cases) bug Something isn't working unusual c code - low priority
#387 opened Jan 19, 2021 by mattmccutchen-cci
5
3c does not rewrite vector types correctly bug Something isn't working priority:2 Medium priority
#381 opened Jan 15, 2021 by Machiry
4
Bounds incorrectly derived from struct alias array bounds bug Something isn't working
#280 opened Sep 28, 2020 by mwhicks1
@Machiry
1
Generic types not properly handled bug Something isn't working itypes obsolete
#236 opened Aug 19, 2020 by Machiry
1
Bug when rewriting statement expressions bug Something isn't working rewriter
#195 opened Jul 29, 2020 by sroy4899
Functions without a return statements should not be checked bug Something isn't working
#166 opened Jul 8, 2020 by john-h-kastner
1
mkString writes wild pointer levels in reverse order (mixes up type qualifiers) bug Something isn't working type-qualifier
#161 opened Jul 8, 2020 by john-h-kastner
8
Incorrect conversion of initialization expressions in for loops bug Something isn't working
#140 opened Jun 24, 2020 by sroy4899
Wrong return type on unsafe use bug Something isn't working enhancement New feature or request
#127 opened Jun 18, 2020 by mwhicks1
5
ProTip! Mix and match filters to narrow down what you’re looking for.