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...
Currently we are using a notion of pending variables in the description of checking of bounds declarations. They are computed by another function that is called during checking. This doesn't...
We have multicharacter names for variables and functions in the updated specification of bounds declaration checking. LaTex formats them as though they are the product operator, resulting in funny spacing....
We allow flow-sensitive bounds declarations for variables at the level of expression statements. However, expressions in C can themselves have control-flow, so we could allow flow-sensitive bounds declarations at the...
PR #342 revamps the checking of bounds declarations. It contains some examples of checking. @lenary noted that none of the examples have unsequenced assignments, where the order in which assignments...
We're revamping the description of checking bounds declarations to handle expressions with control-flow and multiple nested assignments (PR #342). PR #342 handles variables. We need to generalize the description from...
The checking of bounds declarations may require the use of temporaries. These temporaries have function scope and lifetime. This information needs to be added to the specification.
We have updated the specification of checking of bounds declarations. In the specification, the CheckLValue function infers bounds for the values stored in lvalues (RB, in the specification). In the...
For soundness, we should not allow variables with static storage to have types that use type variables. That is unsound. Here's an example: ``` _For_any(T) _Ptr f(_Ptr b) { static...
We are extending Checked C with features that reduce type confusion. This includes generic functions and bounds-safe interfaces for generic functions. The latter allows you to retype existing functions like...
a. Create and call (polymorphic)generic functions to test functionality (in tests\runtime_operations) b. Expand current tests for following cases, 1. Test arguments that are pointers to generic functions. 2. Test struct...
