checkedc/checkedc-fork

Issues

• Move static checking descriptions of bounds to the end of the specification.

  #494 opened 2 years ago by dtarditi
  1

• Remove speculative features from specification

  #493 opened 2 years ago by dtarditi
  1

• Move planned features to a new section in the specification

  #492 opened 2 years ago by dtarditi
  1

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

  #490 opened 2 years ago by dtarditi
  0

• Improve description of bounds widening

  #500 opened 2 years ago by dtarditi
  0

• Add description of format string support checking for varargs

  #499 opened 2 years ago by dtarditi
  0

• Move pointer conversion description out of the interoperation chapter

  #498 opened 2 years ago by dtarditi
  0

• Update description of generic types in the specification

  #497 opened 2 years ago by dtarditi
  0

• Update description of generic types on the Wiki

  #496 opened 2 years ago by dtarditi
  0

• Update description of flow-sensitive bounds declarations.

  #495 opened 2 years ago by dtarditi
  0

• Remove use of colon in decls for Checked C bounds and where clause declarations

  #489 opened 2 years ago by dtarditi
  1

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

  #491 opened 2 years ago by dtarditi
  0

• Epic: complete support for erasable Checked C syntax

  #483 opened 2 years ago by dtarditi
  1

• Update the Checked C specification to describe erasable syntax

  #488 opened 2 years ago by dtarditi
  0

• Update Wiki documentation on erasable syntax

  #487 opened 2 years ago by dtarditi
  0

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

  #486 opened 2 years ago by dtarditi
  0

• Create header file for erasable Checked C annotations

  #485 opened 2 years ago by dtarditi
  0

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

  #484 opened 2 years ago by dtarditi
  1

• Batch of checked header changes from CCI 2021-05

  #447 opened 2 years ago by secure-sw-dev-bot
  1

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

  #472 opened 2 years ago by secure-sw-dev-bot
  1

• Update org name

  #475 opened 3 years ago by secure-sw-dev-bot
  1

• Fix mistakes in the "Variables at external scope" example in the spec.

  #474 opened 3 years ago by secure-sw-dev-bot
  1

• A 45-minute presentation on Checked C.

  #473 opened 3 years ago by secure-sw-dev-bot
  0

• Get lvalue observed bounds: update test

  #471 opened 3 years ago by secure-sw-dev-bot
  0

• Fix a test that invokes variadic functions in checked scope

  #470 opened 3 years ago by secure-sw-dev-bot
  0

• Bounds checking for pointer dereferences and array subscripts: update test

  #469 opened 3 years ago by secure-sw-dev-bot
  0

• Test cases for bundled block support.

  #468 opened 3 years ago by secure-sw-dev-bot
  0

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

  #467 opened 3 years ago by secure-sw-dev-bot
  3

• Clarification updates to the Checked C specification.

  #466 opened 3 years ago by secure-sw-dev-bot
  0

• Documentation fixes for Checked C issues.

  #465 opened 3 years ago by secure-sw-dev-bot
  0

• Treat address-of array subscripts the same way as address-of dereferences: update tests

  #464 opened 3 years ago by secure-sw-dev-bot
  0

• Check return value bounds: update tests

  #463 opened 3 years ago by secure-sw-dev-bot
  0

• [spec] Fixed typos and missed words in Chapter 2, 5, and 6.

  #462 opened 3 years ago by secure-sw-dev-bot
  3

• Get variable and constant: update tests

  #461 opened 3 years ago by secure-sw-dev-bot
  0

• Added slides for the LLVM Dev Meet 2020 talk

  #460 opened 3 years ago by secure-sw-dev-bot
  0

• An nt_checked array with an empty initializer list should be an error

  #459 opened 3 years ago by secure-sw-dev-bot
  0

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

  #458 opened 3 years ago by secure-sw-dev-bot
  0

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

  #457 opened 3 years ago by secure-sw-dev-bot
  0

• spec: Fix a typo

  #456 opened 3 years ago by secure-sw-dev-bot
  0

• Fixes for errors in the "array_ptr" interfaces to some libc functions declared in checkedc_extensions.h, and removal of the conditional in the snprintf declaration in stdio_checked.h

  #455 opened 3 years ago by secure-sw-dev-bot
  3

• [LValue Generalization] Update tests for validating member bounds

  #454 opened 3 years ago by secure-sw-dev-bot
  0

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

  #453 opened 3 years ago by secure-sw-dev-bot
  0

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

  #452 opened 3 years ago by secure-sw-dev-bot
  1

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

  #451 opened 3 years ago by secure-sw-dev-bot
  1

• Checked C mailing list archive web site is down

  #450 opened 3 years ago by secure-sw-dev-bot
  4

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

  #449 opened 3 years ago by secure-sw-dev-bot
  11

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

  #448 opened 3 years ago by secure-sw-dev-bot
  2

• Collecting all test cases related to checked header files under one directory.

  #446 opened 3 years ago by secure-sw-dev-bot
  0

• Wiki Example of _Nt_array_ptr Bounds Widening Does Not Work

  #445 opened 3 years ago by secure-sw-dev-bot
  1

• Version update for Checked C release 0.9

  #444 opened 3 years ago by secure-sw-dev-bot
  0