checkedc
checkedc copied to clipboard
microsoft
Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe. The goal is to let people easily make their existing C code type-safe and elimina...
The syntax modifications to allow macros to be used to erase Checked C annotations have been implemented in the compiler. They need to be added to the Checked C specification....
We have two kinds of checked program scopes. This is not clearly described in the Checked C specification. The specification needs to be updated.
I am implementing flow-sensitive bounds in the Checked C compiler. Hopefully this can be complete for v1.0. If it is too much work, we should move it out of the...
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...
- The chapter on generic types does not describe existential types. - The introduction to the specification does not mention generic types.
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 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 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...