决定两个程序是否具有相同的语义可判定的问题？

Question

如果我有程序，我想检查其他程序是否具有完全相同的语义，我是否可以始终构建一个可以做出该决定的机器？

这是一个与信息安全相关的问题，因为变质恶意软件将在自己的代码上执行转换，这将使它看起来与静态恶意软件探测器不同，同时保留其语义。如果可以编写一个可以检测两个程序是否携带相同语义的机器，那么无法写入“未检测的”恶意软件。

Answer 1

具体而言，我们总是处理句法转换，无论是否有一个语义理论，都是使我们或不可忽视这些变换的语义理论。最后，我们可以自动演示两个不同程序的能力是等效的，仅限于可以在语法中定义的属性。即便如此，如果我们允许这些属性被定义为足够丰富的语言，我们可以做的限制，所以在一般情况下，您的问题的答案，必须是消极的。

更具体地，虽然更具体地，在可以自动化的每个特定的变质过程中也存在特定的策略，所以还存在那些恶意软件的效果。因此，鉴于这种策略的一些了解，可能有可能以受控方式瞄准其语法特征，并自动破解其背后的代码，防止其攻击。

恶意软件创造者具有主动权，这给了他们一个优势。这种优势可以通过技术技能和数学复杂来放大，因此不建议您的安全策略对检测和停用已经输入系统已经输入的软件的能力。