Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / checkedc/checkedc issues and pull requests

#504 - Update README.md

Pull Request - State: closed - Opened by dtarditi 11 months ago

#502 - Fix Checked C tests on Mac OS

Pull Request - State: closed - Opened by dtarditi over 1 year ago

#501 - Update Checked C specification to match the compiler implementation part 1

Pull Request - State: closed - Opened by dtarditi over 1 year ago - 1 comment

#500 - Improve description of bounds widening

Issue - State: open - Opened by dtarditi over 1 year ago

#497 - Update description of generic types in the specification

Issue - State: open - Opened by dtarditi over 1 year ago

#496 - Update description of generic types on the Wiki

Issue - State: open - Opened by dtarditi over 1 year ago

#494 - Move static checking descriptions of bounds to the end of the specification.

Issue - State: closed - Opened by dtarditi over 1 year ago - 1 comment

#493 - Remove speculative features from specification

Issue - State: closed - Opened by dtarditi over 1 year ago - 1 comment

#492 - Move planned features to a new section in the specification

Issue - State: closed - Opened by dtarditi over 1 year ago - 1 comment

#487 - Update Wiki documentation on erasable syntax

Issue - State: open - Opened by dtarditi over 1 year ago

#485 - Create header file for erasable Checked C annotations

Issue - State: open - Opened by dtarditi over 1 year ago

#483 - Epic: complete support for erasable Checked C syntax

Issue - State: open - Opened by dtarditi over 1 year ago - 1 comment

#482 - Add University of Washington PLSE working lightning talk.

Pull Request - State: closed - Opened by dtarditi over 1 year ago

#481 - Move presentations directory to top-level.

Pull Request - State: closed - Opened by dtarditi over 1 year ago

#480 - Support for Checked-C Macro Test cases

Pull Request - State: closed - Opened by arunkumarbhattar over 1 year ago - 2 comments

#479 - Update header files to use changes for porting effort for 3C tool.

Pull Request - State: closed - Opened by dtarditi almost 2 years ago

#477 - Additional updates to README.md

Pull Request - State: closed - Opened by dtarditi almost 3 years ago

#476 - Update README.md and add code of conduct.

Pull Request - State: closed - Opened by dtarditi almost 3 years ago

#475 - Update org name

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago - 1 comment

#474 - Fix mistakes in the "Variables at external scope" example in the spec.

Issue - State: open - Opened by secure-sw-dev-bot almost 3 years ago - 1 comment

#473 - A 45-minute presentation on Checked C.

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago

#471 - Get lvalue observed bounds: update test

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago

#468 - Test cases for bundled block support.

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago

#466 - Clarification updates to the Checked C specification.

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago

#465 - Documentation fixes for Checked C issues.

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago

#463 - Check return value bounds: update tests

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago

#462 - [spec] Fixed typos and missed words in Chapter 2, 5, and 6.

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago - 3 comments

#461 - Get variable and constant: update tests

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago

#460 - Added slides for the LLVM Dev Meet 2020 talk

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago

#457 - Restrict `malloc` of uninitialized memory containing checked pointers?

Issue - State: open - Opened by secure-sw-dev-bot almost 3 years ago
Labels: needs investigation

#456 - spec: Fix a typo

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago

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

Issue - State: open - Opened by secure-sw-dev-bot almost 3 years ago
Labels: needs investigation

#451 - How can checked headers add itypes to struct already defined in original system headers?

Issue - State: open - Opened by secure-sw-dev-bot almost 3 years ago - 1 comment
Labels: enhancement

#450 - Checked C mailing list archive web site is down

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago - 4 comments

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

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago - 2 comments

#447 - Batch of checked header changes from CCI 2021-05

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago - 1 comment

#445 - Wiki Example of _Nt_array_ptr Bounds Widening Does Not Work

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago - 1 comment

#444 - Version update for Checked C release 0.9

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago

#443 - Update documentation for using function pointers

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago - 1 comment

#442 - Possibility of using stack variables for nt_array bounds widening

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago - 1 comment
Labels: enhancement

#441 - When CheckedC Will Be Available For WDK and Driver Dev

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago

#439 - Implicit include of checked header files

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago - 2 comments

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

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago

#437 - [Where Clause] Update documentation for where clauses

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago - 2 comments

#436 - semantics of realloc

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago - 3 comments

#435 - Clang 11 upgrade: update Checked C tests

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago

#433 - Fixed for MacOS

Issue - State: open - Opened by secure-sw-dev-bot almost 3 years ago - 2 comments

#432 - Fix failing test resulting from free variables merge

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago

#431 - Assorted typo and other minor fixes to the specification.

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago - 3 comments

#429 - docs: fix simple typo, performanc -> perform an

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago - 2 comments

#428 - Test for _Nt_checked array initializer sizes

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago - 1 comment

#427 - Detect indirect relationships between variables

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago

#426 - Updates to checked headers for Apple compatibility

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago - 2 comments

#425 - Fixed a typo.

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago

#423 - assert_checked.h conflicts with the internal assert.h on Mac

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago - 7 comments
Labels: enhancement

#421 - Update tests for conditional rvalue bounds

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago

#418 - spec: modf returns a double.

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago

#417 - Add and update tests for checking free variables

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago

#416 - Update description of checking conditional expressions

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago

#415 - Update spec for checking conditional operators

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago

#413 - Add tests for compound literal lvalue bounds

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago

#412 - type of calloc in stdlib_checked.h

Issue - State: open - Opened by secure-sw-dev-bot almost 3 years ago - 4 comments
Labels: needs investigation

#411 - Update tests to reflect improved bounds checking error messages

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago - 2 comments

#410 - Fix incomplete sentence in introduction.

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago

#409 - Update README with details about the Checked C poster

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago

#408 - Add poster: Checked C for Memory Safety

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago

#407 - Undefing strdup in the case of GCC

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago

#406 - Allow assume bounds casts for function pointers: tests

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago

#137 - Consider changing the treatment of null pointers.

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago - 3 comments

#57 - use-after-free, complementary library

Issue - State: closed - Opened by secure-sw-dev-bot almost 3 years ago - 3 comments