The Checked C extension adds new array and pointer types. The new types include: This declares an array with 10 elements. Accesses to this array will be bounds checked at runtime. The index to the ...

Pointers, of course, can be "pointed at" any type of data object, including arrays. While that was evident when we discussed program 3.1, it is important to expand on how we do this when it comes to ...