A code sanitizer is a programming tool that detects bugs in the form of undefined or suspicious behavior by a compiler inserting instrumentation code at runtime. Sanitizers have evolved over several decades to detect memory errors in unsafe programming languages, beginning with early pointer and array access checks in 1994 and type-safe retrofitting in 2005, followed by a significant expansion into sophisticated spatial and temporal memory safety tools between 2009 and 2019.
A code sanitizer is a programming tool that detects bugs in the form of undefined or suspicious behavior by a compiler inserting instrumentation code at runtime. Sanitizers have evolved over several decades to detect memory errors in unsafe programming languages, beginning with early pointer and array access checks in 1994 and type-safe retrofitting in 2005, followed by a significant expansion into sophisticated spatial and temporal memory safety tools between 2009 and 2019.
Source: Wikipedia "Code sanitizer" · CC BY-SA 4.0
Share this article: X · Bluesky