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.4.2_08+jad 1.58f下测试。jad 1.5.8f可以到这里http://download.csdn.net/source/470540 下载。

第一部分、for、while循环

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);
     }
 
 	

3、就是比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:
     }
 }