只是在阅读the highly voted question regarding Emulators和声明



真的对我伸出了双手。

当然不是这样吗?不仅仅是一个大的依赖图吗?

非常感谢您对此声明有进一步的了解。

最佳答案

我相信这意味着“查找曾经执行过的所有代码”,即找到覆盖范围,可能与动态生成的代码结合使用。确实可以将其减少到停顿问题。

假设您有一个完善的覆盖率工具,可以找到程序中可能执行的每段代码(因此其余都是无效代码)。给定程序P,此工具还能够确定扩展程序(P ; halt)是否曾经执行过halt指令,或者halt部分是否为无效代码。因此,它将解决暂停问题,我们知道这是无法确定的。

关于computer-science - "Finding all the code in a given binary is equivalent to the Halting problem."真的吗?,我们在Stack Overflow上找到一个类似的问题:https://stackoverflow.com/questions/5299576/

10-13 02:09