Then the Compiler Removes the Men Set of a Block of Memory to Zero.

Aims to make code more secure by making sure it doesn't break security features. Aims to detect bugs in programs that may not be aware they are there. Cites a date processing function as an example of how this can work.