だが全自動の静的コード解析には多額のコストが必要であるうえ、実行時エラーを全て検出することは不可能であることが証明されており、任意のプログラムが正しく動作するかエラーになるかを判定する機械的手法はない。
针对任何图灵完全的程式语言，不可能存在一算法可以找出任意程式在执行期间的所有错误，也没有数学方法可以得到一程式是否会有执行期间的错误的结果。