A large fraction of the flaws in software development are due to programmers not fully understanding all the possible states their code may execute in.

软件开发中的很大一部分缺陷是由于程序员没有完全理解他们的代码可能执行的所有可能状态。

From：John Carmack