只是在阅读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/