Download Latest Version
Version 1.0 of the Checked C specification source code.zip (3.1 MB)
Get an email when there's a new version of Checked C
| Name | Modified | Size | Downloads / Week |
|---|---|---|---|
| Parent folder | |||
| checkedc-v0.7.1.pdf | 2018-06-08 | 864.3 kB | |
| README.md | 2018-06-08 | 552 Bytes | |
| Version 0.7.1 of the Checked C specification.tar.gz | 2018-06-08 | 363.5 kB | |
| Version 0.7.1 of the Checked C specification.zip | 2018-06-08 | 444.9 kB | |
| Totals: 4 Items | 1.7 MB | 0 | |
This is a minor update to the Checked C specification that brings it into agreement with the compiler implementation.
- Rename BOUNDS_CHECKED TO CHECKED_SCOPE.
- Update the syntax for bounds_cast expressions. Remove the old syntax where the kind of bounds expression was inferred based on the number of arguments. Now the target bounds expression is an additional argument.
- Allow an interop type and a bounds expressions as part of a bounds-safe interface.
- Make it clear that bounds-safe interfaces can be applied to unchecked arrays too.