Issues

Improve description of bounds widening
checkedc/checkedc-fork#500 · opened on Jul 11, 2023 · Checked C v1.0 release
Add description of format string support checking for varargs
checkedc/checkedc-fork#499 · opened on Jul 11, 2023 · Checked C v1.0 release
Move pointer conversion description out of the interoperation chapter
checkedc/checkedc-fork#498 · opened on Jul 11, 2023 · Checked C v1.0 release
Update description of generic types in the specification
checkedc/checkedc-fork#497 · opened on Jul 11, 2023 · Checked C v1.0 release
Update description of generic types on the Wiki
checkedc/checkedc-fork#496 · opened on Jul 11, 2023 · Checked C v1.0 release
Update description of flow-sensitive bounds declarations.
checkedc/checkedc-fork#495 · opened on Jul 11, 2023 · Checked C v1.0 release
Update description of program scopes for checked pointer types in specification
checkedc/checkedc-fork#491 · opened on Jul 11, 2023 · Checked C v1.0 release
Epic: bring Checked C specification into agreement with the compiler implementation
checkedc/checkedc-fork#490 · opened on Jul 11, 2023 · Checked C v1.0 release
Remove use of colon in decls for Checked C bounds and where clause declarations
checkedc/checkedc-fork#489 · opened on Jul 11, 2023 · Checked C v1.0 release
1
Update the Checked C specification to describe erasable syntax
checkedc/checkedc-fork#488 · opened on Jul 11, 2023 · Checked C v1.0 release
Update Wiki documentation on erasable syntax
checkedc/checkedc-fork#487 · opened on Jul 11, 2023 · Checked C v1.0 release
Create examples of using the optional header file for erasable syntax.
checkedc/checkedc-fork#486 · opened on Jul 11, 2023 · Checked C v1.0 release
Create header file for erasable Checked C annotations
checkedc/checkedc-fork#485 · opened on Jul 11, 2023 · Checked C v1.0 release
Create stand-alone tool for checking Checked C programs compiled with regular C compilers.
checkedc/checkedc-fork#484 · opened on May 24, 2023
1
Epic: complete support for erasable Checked C syntax
checkedc/checkedc-fork#483 · opened on May 24, 2023 · Checked C v1.0 release
1
Fix mistakes in the "Variables at external scope" example in the spec.
checkedc/checkedc-fork#474 · opened on Jan 15, 2022
1
Issue to track comments and updates to the proposed Checked C extension changes.
checkedc/checkedc-fork#467 · opened on Jan 15, 2022
3
redeclare_libs_{explicit,implicit}.c tests fail when _CHECKEDC_MOCKUP_THREADS is removed on a system that supports threads
checkedc/checkedc-fork#458 · opened on Jan 15, 2022
Restrict malloc of uninitialized memory containing checked pointers?
checkedc/checkedc-fork#457 · opened on Jan 15, 2022
bsearch bounds-safe interface does not enforce that size == sizeof(T) (unsound)
checkedc/checkedc-fork#453 · opened on Jan 15, 2022
How can checked headers add itypes to struct already defined in original system headers?
checkedc/checkedc-fork#451 · opened on Jan 15, 2022
1
Problems caused by __SOCKADDR_ARG transparent union in sys/socket.h when _GNU_SOURCE is on
checkedc/checkedc-fork#440 · opened on Jan 15, 2022
Clang 11 upgrade: fix cast size warnings in bounds.c test
checkedc/checkedc-fork#434 · opened on Jan 15, 2022
Fixed for MacOS
checkedc/checkedc-fork#433 · opened on Jan 15, 2022
2
type of calloc in stdlib_checked.h
checkedc/checkedc-fork#412 · opened on Jan 15, 2022
4