Implementation, Orlando, FL, June 20–24, 1994.
252 CCured “adds a minimal number of run-time checks (in C) to C programs “to prevent all memory safety
violations. The resulting program is memory safe, meaning that it will stop rather than overrun a buffer
or scribble over memory that it shouldn’t touch.” For more information, see: “CCured Documentatio”