相关疑难解决方法(0)

模拟器如何工作？当我看到NES/SNES或C64模拟器时,它让我震惊.

您是否必须通过解释其特定的装配说明来模拟这些机器的处理器？还有什么进入它？它们通常是如何设计的？

你能为有兴趣编写模拟器(特别是游戏系统)的人提供建议吗？

我并没有深入根植于静态代码分析的正式方面,因此这个问题.

几年前,我读到使用静态代码分析区分代码和数据等同于暂停问题.(引用需要,但我不再拥有它了.Stackoverflow在这里或这里有线程.)至少对于基于冯诺依曼架构的常见计算机架构,其中代码和数据共享相同的内存,这似乎是有意义的.

现在我正在研究C/C++代码和指针分析的静态分析; 该程序不执行.不知怎的,我有一种感觉,静态跟踪指针值的所有创建和使用类似于停止问题,因为我无法确定内存中的给定值是否是指针值,即我无法通过指针值跟踪指针值的值记忆. 别名分析可能会缩小问题范围,但面对多线程代码似乎变得不那么有用了.

(人们甚至可以考虑跟踪任意值,而不仅仅是指针:为任何给定的"有趣"值构建一个完整的值流似乎等同于停止问题.)

由于这只是一种预感,我的问题是:我可以参考更正式的发现吗？我错了吗？

是否可以通过读取给定方法的字节码来确定所有可能的执行路径,还是等同于尝试解决暂停问题？如果它不能简化为停止问题,那么在不跨越试图解决停止问题的界限的情况下,我可以在多大程度上进行静态分析？

相关问题:"查找给定二进制文件中的所有代码等同于停止问题." 真？