Java class反编译后的代码还原
Java class 利用jad 反编译之后，偶尔回碰到一些不正常的代码，例如：label0 :_L1 MISSING_BLOCK_LABEL_30、JVM INSTR ret 7 、JVM INSTR tableswitch 1 3: default 269、 JVM INSTR monitorexit、JVM INSTR monitorenter，这些一般是由特殊的for循环、try catch finally语句块、synchronized语句反编译后产生的。
下面，就简单介绍一下，一些反编译后的特殊代码的还原规则。
本文在Jdk 1.6.0_20+jad 1.58g下测试。
1、普通的循环，原始
public void f1() {
boolean flag = false;
if (Boolean.getBoolean("sys")) {
System.out.println("sys");
} else {
for (int i = 0; i < 10; i++) {
flag = Boolean.getBoolean("sys");
if (flag) {
System.exit(0);
}
}
}
}
反编译后的代码
public void f1()
{
boolean flag = false;
if(Boolean.getBoolean("sys"))
{
System.out.println("sys");
} else
{
for(int i = 0; i < 10; i++)
{
flag = Boolean.getBoolean("sys");
if(flag)
System.exit(0);
}
}
}
2、反编译后代码变的很古怪，这是java原代码
public void f2() {
int[] list = new int[] { 1, 2, 3, 4 };
if (Boolean.getBoolean("sys")) {
System.out.println("sys");
} else {
check: while (true) {
for (int i = 0; i < list.length; i++) {
if (list[i] == 2) {
continue check;
} else {
break;
}
}
}
}
}
Java反编译后的代码，部分逻辑丢失。
public void f2()
{
int list[] = {
1, 2, 3, 4
};
if(Boolean.getBoolean("sys"))
System.out.println("sys");
else
do
{
int i = 0;
if(i >= list.length || list[i] != 2);
} while(true);
}
就是比f2（）多了一行System.out.println("list[i]");，反编译后也挺怪的。源码如下
public void f3() {
int[] list = new int[] { 1, 2, 3, 4 };
if (Boolean.getBoolean("sys")) {
System.out.println("sys");
} else {
check: while (true) {
for (int i = 0; i < list.length; i++) {
System.out.println("list[i]");
if (list[i] == 2) {
continue check;
} else {
break;
}
}
}
}
}
反编译后的代码：
public void f3()
{
int list[] = {
1, 2, 3, 4
};
if(Boolean.getBoolean("sys"))
System.out.println("sys");
else
do
{
int i;
do
i = 0;
while(i >= list.length);
System.out.println("list[i]");
if(list[i] != 2);
} while(true);
}
4、 f2（）中的break语言，移动了位置。源码如下
public void f4() {
int[] list = new int[] { 1, 2, 3, 4 };
if (Boolean.getBoolean("sys")) {
System.out.println("sys");
} else {
check: while (true) {
for (int i = 0; i < list.length; i++) {
if (list[i] == 2) {
continue check;
}
}
break;
}
}
}
反编译后代码：
public void f4()
{
int list[] = {
1, 2, 3, 4
};
int i;
if(Boolean.getBoolean("sys"))
System.out.println("sys");
else
label0:
do
{
for(i = 0; i < list.length; i++)
if(list[i] == 2)
continue label0;
break;
} while(true);
}
5、就是比f4（）多了一行System.out.println("list[i]");，反编译后相当怪的。源码如下：
public void f5() {
int[] list = new int[] { 1, 2, 3, 4 };
if (Boolean.getBoolean("sys")) {
System.out.println("sys");
} else {
check: while (true) {
for (int i = 0; i < list.length; i++) {
System.out.println("list[i]");
if (list[i] == 2) {
continue check;
}
}
break;
}
}
}
反编译后比较晕的代码：
public void f5()
{
int list[] = {
1, 2, 3, 4
};
if(!Boolean.getBoolean("sys")) goto _L2; else goto _L1
_L1:
System.out.println("sys");
goto _L3
_L2:
int i = 0;
goto _L4
_L6:
System.out.println("list[i]");
if(list[i] != 2) goto _L5; else goto _L2
_L5:
i++;
_L4:
if(i < list.length) goto _L6; else goto _L3
_L3:
}
6、就是比f5()多了一行System.exit(0);代码，但是差异确很大。源码如下：
public void f6() {
int[] list = new int[] { 1, 2, 3, 4 };
if (Boolean.getBoolean("sys")) {
System.out.println("sys");
} else {
check: while (true) {
for (int i = 0; i < list.length; i++) {
System.out.println("list[i]");
if (list[i] == 2) {
continue check;
}
}
System.exit(0);
break;
}
}
}
反编译后代码，比f5()差异太大了。
public void f6()
{
int list[];
list = (new int[] {
1, 2, 3, 4
});
if(Boolean.getBoolean("sys"))
{
System.out.println("sys");
break MISSING_BLOCK_LABEL_75;
}
_L2:
int i = 0;
goto _L1
_L5:
System.out.println("list[i]");
if(list[i] != 2) goto _L3; else goto _L2
_L3:
i++;
_L1:
if(i < list.length) goto _L5; else goto _L4
_L4:
System.exit(0);
}
7、差异就是f6()中的System.exit(0);移动了位置，但是差异确很大。源码如下：
public void f7() {
int[] list = new int[] { 1, 2, 3, 4 };
if (Boolean.getBoolean("sys")) {
System.out.println("sys");
} else {
check: while (true) {
for (int i = 0; i < list.length; i++) {
System.out.println("list[i]");
if (list[i] == 2) {
continue check;
}
}
break;
}
System.exit(0);
}
}
反编译后代码，比f6()差异太大了。
public void f7()
{
int list[];
list = (new int[] {
1, 2, 3, 4
});
if(Boolean.getBoolean("sys"))
{
System.out.println("sys");
break MISSING_BLOCK_LABEL_75;
}
_L2:
int i = 0;
goto _L1
_L5:
System.out.println("list[i]");
if(list[i] != 2) goto _L3; else goto _L2
_L3:
i++;
_L1:
if(i < list.length) goto _L5; else goto _L4
_L4:
System.exit(0);
}
8、逻辑和f7比没有变，只是多了一些System.out.println()代码。
public void f8() {
int[] list = new int[] { 1, 2, 3, 4 };
if (Boolean.getBoolean("sys")) {
System.out.println("sys");
} else {
System.out.println(":check while");
check: while (true) {
System.out.println("for");
for (int i = 0; i < list.length; i++) {
System.out.println("list[i]");
if (list[i] == 2) {
continue check;
}
}
System.out.println("break");
break;
}
System.out.println("exit(0)");
System.exit(0);
}
}
反编译后的代码：和f7()比较一下，基本就可以确定反编译后的代码对应关系了。
public void f8()
{
int list[];
list = (new int[] {
1, 2, 3, 4
});
if(Boolean.getBoolean("sys"))
{
System.out.println("sys");
break MISSING_BLOCK_LABEL_107;
}
System.out.println(":check while");
_L2:
int i;
System.out.println("for");
i = 0;
goto _L1
_L5:
System.out.println("list[i]");
if(list[i] != 2) goto _L3; else goto _L2
_L3:
i++;
_L1:
if(i < list.length) goto _L5; else goto _L4
_L4:
System.out.println("break");
System.out.println("exit(0)");
System.exit(0);
}
9、逻辑和f8比没有变，只是多了一行System.out.println()代码，导致了反编译后的/* Loop/switch isn't completed */
public void f9() {
int[] list = new int[] { 1, 2, 3, 4 };
if (Boolean.getBoolean("sys")) {
System.out.println("sys");
} else {
System.out.println(":check while");
check: while (true) {
System.out.println("for");
for (int i = 0; i < list.length; i++) {
System.out.println("list[i]");
if (list[i] == 2) {
System.out.println("continue check");
continue check;
}
}
System.out.println("break");
break;
}
System.out.println("exit(0)");
System.exit(0);
}
}
}
反编译后的代码：
public void f9()
{
int list[] = {
1, 2, 3, 4
};
if(!Boolean.getBoolean("sys")) goto _L2; else goto _L1
_L1:
System.out.println("sys");
goto _L3
_L2:
System.out.println(":check while");
_L5:
System.out.println("for");
for(int i = 0; i < list.length; i++)
{
System.out.println("list[i]");
if(list[i] != 2)
continue;
System.out.println("continue check");
continue; /* Loop/switch isn't completed */
}
System.out.println("break");
System.out.println("exit(0)");
System.exit(0);
_L3:
return;
if(true) goto _L5; else goto _L4
_L4:
}
}