Skip to content
This repository has been archived by the owner on Sep 30, 2024. It is now read-only.

Issues: checkedc/checkedc-fork

68 Open 425 Closed
68 Open 425 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

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