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
23 Open 29 Closed
23 Open 29 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

Add a mechanism to specify "open world" files -infer-types-for-undefs -itypes-for-extern enhancement New feature or request
#738 opened Oct 22, 2021 by john-h-kastner
1
Generics propagation inside functions constraint graph enhancement New feature or request generic
#642 opened Jul 7, 2021 by kyleheadley
Add generics to function pointers enhancement New feature or request function pointer generic rewriter
#641 opened Jul 7, 2021 by kyleheadley
Make a direct command-line interface to the macro expander enhancement New feature or request included tools
#635 opened Jun 30, 2021 by mattmccutchen-cci
1
Make -addcr insert #pragma CHECKED_SCOPE on at top level and then _Unchecked as needed -addcr enhancement New feature or request
#623 opened Jun 21, 2021 by aaronjeline
5
rewrite T to checked type in malloc(sizeof(T)) enhancement New feature or request
#571 opened May 5, 2021 by mwhicks1
Make 3C work sensibly on already preprocessed code clang preprocessor enhancement New feature or request testing
#535 opened Apr 7, 2021 by mattmccutchen-cci
2
Remove obsolete casts cast enhancement New feature or request itypes rewriter
#525 opened Apr 3, 2021 by mwhicks1
Support analysis of multiple function definitions (main is special) benchmark failure A bug causing a failure in our nightly benchmark tests enhancement New feature or request
#504 opened Mar 19, 2021 by mwhicks1
4
-addcr missing _Checked annotation -addcr enhancement New feature or request priority:2 Medium priority
#486 opened Mar 15, 2021 by mwhicks1
@aaronjeline
2
3C should have a way to use stdchecked.h aliases enhancement New feature or request low priority rewriter
#404 opened Jan 27, 2021 by mattmccutchen-cci
Maintaining checked versions of headers for an external library command-line enhancement New feature or request low priority
#401 opened Jan 27, 2021 by mattmccutchen-cci
Ideas for rewriting pointers inside macros enhancement New feature or request macro rewriter
#400 opened Jan 26, 2021 by mattmccutchen-cci
4
Should typedefs get an unsafe version? enhancement New feature or request rewriter typedef
#389 opened Jan 20, 2021 by kyleheadley
3
Use comparison of dereferenced value with 0 as a hint that a pointer is a null terminated array enhancement New feature or request
#385 opened Jan 19, 2021 by john-h-kastner
1
Additional Support for Generics enhancement New feature or request generic itypes
#358 opened Dec 18, 2020 by kyleheadley
6 of 11 tasks
@kyleheadley
3
Support codebases with different elements of the same name that are never linked together enhancement New feature or request
#341 opened Dec 1, 2020 by mattmccutchen-cci
2
Check for integer overflow in malloc(n * sizeof(T)) and encourage calloc(n, sizeof(T)) instead? enhancement New feature or request
#335 opened Nov 16, 2020 by mattmccutchen-cci
Annotations we think are right long-term but can't pass the Checked C type checker now? enhancement New feature or request rewriter
#334 opened Nov 16, 2020 by mattmccutchen-cci
1
vsftpd: start-to-finish port documentation Improvements or additions to documentation enhancement New feature or request
#287 opened Oct 13, 2020 by mwhicks1
@mwhicks1 @john-h-kastner
de-specialize handling of allocators enhancement New feature or request
#219 opened Aug 11, 2020 by mwhicks1
1
Figure out the mechanism to emit bounds to parameters of function pointers. enhancement New feature or request function pointer
#145 opened Jun 27, 2020 by Machiry
@Machiry
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! Add no:assignee to see everything that’s not assigned.