Full Spatial and Temporal Memory Safety for C
Santosh Nagarakatte · IEEE Security & Privacy · 2024
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.