假设我有一个我想用JD-GUI反编译的java类A.在修复了较小的编译问题(转换和初始化局部变量)之后,我将反编译的代码编译为B类。
A级和B级的功能如何保证相同?
答案 0 :(得分:1)
所以这归结为......不可判断性:D
在给定相同输入的情况下,2个图灵完整语言(读取程序)是否产生完全相同的输出的问题是不可判定的。 (也就是没有有效的算法来测试这个)
您可能会限制输入的单词/输出单词,只是强行通过,但一般来说,这个问题对于P级算法来说是NP完全的。
如果你想要一个保证,尝试解决P = NP或弥补它可能得到的每一个输入,都要编译它们并查看推出的内容。或者只是阅读代码并亲自看看。
这几乎是保证