java反编译JD-Gui的正确性

时间:2016-03-14 23:04:06

标签: java jdk1.6 decompiler jd-gui

假设我有一个我想用JD-GUI反编译的java类A.在修复了较小的编译问题(转换和初始化局部变量)之后,我将反编译的代码编译为B类。

A级和B级的功能如何保证相同?

1 个答案:

答案 0 :(得分:1)

所以这归结为......不可判断性:D

在给定相同输入的情况下,2个图灵完整语言(读取程序)是否产生完全相同的输出的问题是不可判定的。 (也就是没有有效的算法来测试这个)

您可能会限制输入的单词/输出单词,只是强行通过,但一般来说,这个问题对于P级算法来说是NP完全的。

如果你想要一个保证,尝试解决P = NP或弥补它可能得到的每一个输入,都要编译它们并查看推出的内容。或者只是阅读代码并亲自看看。

这几乎是保证