Penetration Testing, (Washington, DC: US CERT).
5.5.2.3 Compile Time Fault Detection and Program Verification
Compilers are routinely expected to detect, flag, and even eliminate certain
type-errors in source code before compiling it. Such compiler checks, as a