Bot releases are visible (Hide)
Published by dtarditi 12 months ago
Create Version 1.0 of the Checked C specification now that the design of the Checked C extension is complete.
Published by dtarditi over 1 year ago
This is a draft update of the specification for https://github.com/checkedc/checkedc/pull/501/
Published by sulekhark about 3 years ago
This is a minor update to the Checked C specification released on September 14th, 2021.
realloc
.Published by sulekhark about 3 years ago
This is a minor update to the Checked C specification that brings it into agreement with the compiler implementation.
Published by dtarditi over 6 years ago
This is a minor update to the Checked C specification that brings it into agreement with the compiler implementation.
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.Published by dtarditi over 6 years ago
The main improvement in Version 0.7 is adding support for checked strings and checked pointers to null-terminated arrays.
The improvements and changes include:
nt_checked
) and checked pointers to null-terminated arrays (nt_array_ptr
)bounds(none)
to bounds(unknown)
.array_ptrs
of function types.Caveats:
A non-null value at the upper bound an nt_array_ptr
allows the bounds of the nt_array_ptr
to be widened. The flow analysis for widening bounds still needs to be described in detail.
Published by dtarditi almost 8 years ago
The improvements in Version 0.6 include:
Chapter 3 (bounds for variables) has been revised to be easier to follow. Sections have been reordered to follow more logically and advanced material that can be skipped has been moved to the end of the chapter.
Published by dtarditi over 8 years ago
Version 0.5 of the Checked C Specification