This repo contains a version of clang that is modified to support Checked C. Checked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety.
13
stars
19
forks
source link
Check flow-sensitive bounds declarations within their extents #1211
For every top-level statement within the extent of a flow-sensitive bounds declaration, we need to check that the statement maintains the declared flow-sensitive bounds.
For every top-level statement within the extent of a flow-sensitive bounds declaration, we need to check that the statement maintains the declared flow-sensitive bounds.