checkedc/checkedc

Issues

• New syntax for generic structs missing.

  #506 opened 2 months ago by souragc
  1

• Struct pointer arithmetic

  #504 opened 3 months ago by souragc
  2

• Arithmetic on Generic types

  #503 opened 3 months ago by souragc
  2

• Epic: bring Checked C specification into agreement with the compiler implementation

  #501 opened 3 months ago by dtarditi
  0

• Consider removing uses of colon in Checked C syntax

  #500 opened 3 months ago by dtarditi
  0

• Epic: complete support for erasable Checked C syntax

  #499 opened 3 months ago by dtarditi
  0

• Create stand-alone tool for checking Checked C programs compiled with regular C compilers.

  #498 opened 3 months ago by dtarditi
  0

• Create examples of using the optional header file for erasable syntax.

  #497 opened 3 months ago by dtarditi
  0

• Create header file for erasable Checked C annotations

  #496 opened 3 months ago by dtarditi
  0

• Update Wiki documentation on erasable syntax

  #495 opened 3 months ago by dtarditi
  0

• Update the Checked C specification to describe erasable syntax

  #494 opened 3 months ago by dtarditi
  0

• Update description of program scopes for checked pointer types in specification

  #493 opened 3 months ago by dtarditi
  0

• Update description of flow-sensitive bounds declarations.

  #492 opened 3 months ago by dtarditi
  0

• Update description of generic types on the Wiki

  #491 opened 3 months ago by dtarditi
  0

• Update description of generic types in the specification

  #490 opened 3 months ago by dtarditi
  0

• Move pointer conversion description out of the interoperation chapter

  #489 opened 3 months ago by dtarditi
  0

• Add description of format string support checking for varargs

  #488 opened 3 months ago by dtarditi
  0

• Improve description of bounds widening

  #487 opened 3 months ago by dtarditi
  0

• function without a prototype cannot be used or declared in a checked scope

  #475 opened 3 months ago by Arslan8
  1

• Possibility of using stack variables for nt_array bounds widening

  #443 opened 3 months ago by yiyunliu
  1

• forwarding pointer for Checked C?

  #484 opened 3 months ago by dtarditi
  3

• How to use MSYS2/Mingw-w64 GCC compiler instead of Microsoft Visual Studio?

  #483 opened 2 years ago by Foadsf
  0

• This repo is missing important files

  #482 opened 2 years ago by microsoft-github-policy-service
  0

• Casts should be excluded from checked region?

  #480 opened 3 years ago by Arslan8
  2

• Issue to track comments and updates to the proposed Checked C extension changes.

  #470 opened 3 years ago by sulekhark
  3

• Checked C mailing list archive web site is down

  #451 opened 3 years ago by mattmccutchen-cci
  4

• semantics of realloc

  #437 opened 3 years ago by mwhicks1
  3

• type of calloc in stdlib_checked.h

  #413 opened 4 years ago by mwhicks1
  4

• Problems caused by `__SOCKADDR_ARG` transparent union in `sys/socket.h` when `_GNU_SOURCE` is on

  #441 opened 4 years ago by mattmccutchen-cci
  0

• `bsearch` bounds-safe interface does not enforce that `size == sizeof(T)` (unsound)

  #454 opened 4 years ago by mattmccutchen-cci
  0

• Restrict `malloc` of uninitialized memory containing checked pointers?

  #458 opened 3 years ago by mattmccutchen-cci
  0

• `redeclare_libs_{explicit,implicit}.c` tests fail when `_CHECKEDC_MOCKUP_THREADS` is removed on a system that supports threads

  #459 opened 3 years ago by mattmccutchen-cci
  0

• Activate a checked declaration conditional on the existence of the original system declaration?

  #453 opened 3 years ago by mattmccutchen-cci
  1

• How can checked headers add itypes to struct already defined in original system headers?

  #452 opened 4 years ago by mattmccutchen-cci
  1

• Linking problems with out-of-line definitions for `checkedc_extensions.h`

  #449 opened 3 years ago by mattmccutchen-cci
  2

• Wiki Example of _Nt_array_ptr Bounds Widening Does Not Work

  #446 opened 3 years ago by PappasBrent
  1

• `snprintf` bounds-safe interface is unhelpful for variable-length null-terminated buffers

  #450 opened 3 years ago by mattmccutchen-cci
  11

• When CheckedC Will Be Available For WDK and Driver Dev

  #442 opened 4 years ago by vxcute
  0

• Use `#include_next` to avoid the need for user code to modify includes to point to Checked C headers

  #431 opened 4 years ago by mattmccutchen-cci
  5

• [off-topic] Checked C's objectives vis-a-vis Verona?

  #439 opened 4 years ago
  0

• Clang 11 upgrade: fix cast size warnings in bounds.c test

  #435 opened 4 years ago by kkjeer
  0

• assert_checked.h conflicts with the internal assert.h on Mac

  #424 opened 4 years ago by kyleheadley
  7

• Update spec for checking conditional operators

  #416 opened 4 years ago by kkjeer
  0

• Update spec to cover inverses of address-of/dereference operators

  #403 opened 5 years ago by kkjeer
  0

• Update spec to cover inverses of bounds cast expressions

  #401 opened 5 years ago by kkjeer
  0

• Update spec to include missing cases for bounds-safe interface assignment compatibility

  #397 opened 5 years ago by kkjeer
  0

• Checked C types for typedefs

  #394 opened 5 years ago by aaronjeline
  0

• Handling of empty and invalid ranges

  #390 opened 5 years ago by saeednj
  0

• Consider adding a stack of bounds expressions during checking of bounds declarations.

  #384 opened 5 years ago by dtarditi
  1

• Simplify description of checking of bounds declarations.

  #388 opened 5 years ago by dtarditi
  0