Full Spatial and Temporal Memory Safety for C

This article describes the design decisions, implementation choices, and tradeoffs required to address the underspecification in the C standard and the de facto C dialects used by applications to enforce full ­spatial and temporal safety.