debugging - 预期程序崩溃

Question

我正在开发一个程序，该程序应该能够判断我在计算机上运行的任何程序是否会崩溃。

大概可以读取机器代码，建立潜在代码路径的模型，测试每个代码路径在标准和边界条件下的行为，绘制出导致未处理异常的条件，然后追溯所有这些步骤以生成所需的设置输入和条件，它们将触发采用特殊代码路径。这就像使用模糊测试器，只是更加系统化。当然这需要很多工作，但是在现代硬件上应该很快完成。

一位同事说，我想做的事情根本上是不可能的。在我看来，这有点极端。鉴于摩尔的技术发展定律曲线，遥不可及的计算能力最终将成为现实。暗示这种事情永远不可能，似乎有些夸大其词。

为什么不能这样做？

Answer 1

这是一个程序:

accept integer i greater than 2
loop with k from 2 to 2*i
  is k prime?
    is 2*i-k prime?
      exit safely
end loop
do something nasty.

如果您跟踪导致该程序执行某些操作的输入，那么您已经解决了 Goldbach's conjecture。您可以与诺贝尔奖一起领取菲尔兹奖章。

这就是说，可以验证某些程序没有做任何令人讨厌的事情。我和其他人正在研究 a framework in which you can do just that, using various techniques。一些例子:

This compression library could exhibit a memory error with input size 20, output size 40, but now it won't.

This binary search could fail, but now it won't.