checkedc-fork
checkedc-fork copied to clipboard
checkedc
This was a fork of Checked C used from 2021-2024. The changes have been merged into the original Checked C repo.
This PR currently contains only the corrections that I am confident are uncontroversial. With these corrections, the example still does not work as intended in [the version of the Checked...
As previously discussed with Sulekha, CCI is preparing to submit a batch of changes to the checked headers that we made in support of our recent porting efforts. I'm going...
Mac OS sets macros for string functions and has `_FORTIFY_SOURCE` set to `2`.
@sulekhark Could you update the READMEs for https://github.com/microsoft/checkedc and https://github.com/Microsoft/checkedc-clang to say that continuing development work at Checked C going on at https://github.com/checkedc? The repos are at https://github.com/checkedc/checkedc and https://github.com/checkedc/checkedc-llvm-project....
The Checked C specification currently describes features that aren't implemented and doesn't describe some features that are implemented. This makes it confusing for programmers to use. We should update it...
The Checked C clang compiler infers widened bounds for strings (and null-terminated pointers in general) where the null element is checked. We need to add a description of this to...
The clang compiler has a format string checker. It checks for functions like `printf` that take a format string and a variable number of arguments that the variable arguments have...
The conversions for the Checked C pointer types are pretty straightforward. On the other hand, the interoperation support is novel and sometimes confusing to people. They are described in one...
- The chapter on generic types does not describe existential types. - The introduction to the specification does not mention generic types.
Currently we only have a page with some examples. It does not clearly describe the syntax. This is really hard to follow and has confused everyone who has used the...