常量入棧指令

Java程式的反編譯工具已經十分成熟了，相對於x86平臺更底層指令的反編譯技術來說，面向VM的 bytecode更容易反編譯。這主要是因為：

1. 位元組碼含有更為豐富的資料型別資訊。
2. JVM記憶體模型更嚴格，因此位元組碼分析起來更為有章可循。
3. Java編譯器不做任何優化工作（而 JVM JIT在執行時會做優化工作），因此在反編譯位元組碼之後，我們基本可以直接理解Java類檔案裡的原始指令。

反編譯有什麼用途呢？

1. 無需重新編譯反彙編的結果，而能給類檔案做應急補丁。
2. 分析混淆程式碼。
3. 需要編寫自己的程式碼混淆器。
4. 建立面向JVM的、類似編譯程式的程式碼生成工具（類似 Scala，Cloture等等）。
5. 破解研究
    

開啟Java逆向學習系列筆記，參考網上各大神的分享，有不對的請指正。

常量入棧指令有iconst、bipush、sipush、ldc、ldc2_w分別對應不同的使用場景

八大基本型別場景表

指令場景表

以下是簡單的例子

整型常量0的例子iconst

public class ret
{
public static int main(String[] args)
{
return 0;
}
}

編譯

javac ret.java

Java標準反編譯

javap -c -verbose ret.class

...
major version: 52
...
public static int main(java.lang.String[]);
descriptor: ([Ljava/lang/String;)I
flags: ACC_PUBLIC, ACC_STATIC
Code:
stack=1, locals=1, args_size=1
0: iconst_0
1: ireturn
LineNumberTable:
line 5: 0

注意其中的0: iconst_0即可

整型常量123的例子bipush

public class ret
{
public static int main(String[] args)
{
return 123;
}
}

反編譯

...
major version: 52
...
public static int main(java.lang.String[]);
descriptor: ([Ljava/lang/String;)I
flags: ACC_PUBLIC, ACC_STATIC
Code:
stack=1, locals=1, args_size=1
0: bipush        123
2: ireturn
LineNumberTable:
line 5: 0

注意其中的0: bipush        123

整型常量1234的例子sipush

public class ret
{
public static int main(String[] args)
{
return 1234;
}
}

反編譯

...
major version: 52
...
public static int main(java.lang.String[]);
descriptor: ([Ljava/lang/String;)I
flags: ACC_PUBLIC, ACC_STATIC
Code:
stack=1, locals=1, args_size=1
0: sipush        1234
3: ireturn
LineNumberTable:
line 5: 0

注意其中的 0: sipush        1234

整型常量12345678的例子ldc

public class ret
{
public static int main(String[] args)
{
return 12345678;
}
}

反編譯

...
major version: 52
...
#2 = Integer            12345678
...
public static int main(java.lang.String[]);
descriptor: ([Ljava/lang/String;)I
flags: ACC_PUBLIC, ACC_STATIC
Code:
stack=1, locals=1, args_size=1
0: ldc           #2                  // int 12345678
2: ireturn
LineNumberTable:
line 5: 0

布林型true例子iconst

public class ret
{
public static boolean main(String[] args)
{
return true;
}
}

反編譯

...
major version: 52
...
public static boolean main(java.lang.String[]);
descriptor: ([Ljava/lang/String;)Z
flags: ACC_PUBLIC, ACC_STATIC
Code:
stack=1, locals=1, args_size=1
0: iconst_1
1: ireturn
LineNumberTable:
line 5: 0

注意0: iconst_1即ture用常量1表示

短整型short例子

public class ret
{
public static short main(String[] args)
{
return 1234;
}
}

反編譯

...
major version: 52
...
public static short main(java.lang.String[]);
descriptor: ([Ljava/lang/String;)S
flags: ACC_PUBLIC, ACC_STATIC
Code:
stack=1, locals=1, args_size=1
0: sipush        1234
3: ireturn
LineNumberTable:
line 5: 0

注意0: sipush        1234

字元型A例子

public class ret
{
public static char main(String[] args)
{
return 'A';
}
}

反編譯

...
major version: 52
...
public static char main(java.lang.String[]);
descriptor: ([Ljava/lang/String;)C
flags: ACC_PUBLIC, ACC_STATIC
Code:
stack=1, locals=1, args_size=1
0: bipush        65
2: ireturn
LineNumberTable:
line 5: 0

注意0: bipush        65

字元型中例子

public class ret
{
public static char main(String[] args)
{
return '中';
}
}

反編譯

...
major version: 52
...
public static char main(java.lang.String[]);
descriptor: ([Ljava/lang/String;)C
flags: ACC_PUBLIC, ACC_STATIC
Code:
stack=1, locals=1, args_size=1
0: sipush        20013
3: ireturn
LineNumberTable:
line 5: 0

注意0: sipush        20013

byte型別123列子

public class ret
{
public static byte main(String[] args)
{
return 123;
}
}

反編譯

...
major version: 52
...
public static byte main(java.lang.String[]);
descriptor: ([Ljava/lang/String;)B
flags: ACC_PUBLIC, ACC_STATIC
Code:
stack=1, locals=1, args_size=1
0: bipush        123
2: ireturn
LineNumberTable:
line 5: 0

注意 0: bipush        123

long型別1234567890123456789L例子

public class ret
{
public static long main(String[] args)
{
return 1234567890123456789l;
}
}

反編譯

...
major version: 52
...
#2 = Long               1234567890123456789l
...
public static long main(java.lang.String[]);
descriptor: ([Ljava/lang/String;)J
flags: ACC_PUBLIC, ACC_STATIC
Code:
stack=2, locals=1, args_size=1
0: ldc2_w        #2                  // long 1234567890123456789l
3: lreturn
LineNumberTable:
line 5: 0

注意0: ldc2_w        #2                  // long 1234567890123456789l

浮點型別123.456d的例子

public class ret
{
public static double main(String[] args)
{
return 123.456d;
}
}

反編譯

...
major version: 52
...
#2 = Double             123.456d
...
public static double main(java.lang.String[]);
descriptor: ([Ljava/lang/String;)D
flags: ACC_PUBLIC, ACC_STATIC
Code:
stack=2, locals=1, args_size=1
0: ldc2_w        #2                  // double 123.456d
3: dreturn
LineNumberTable:
line 5: 0

注意0: ldc2_w        #2                  // double 123.456d

浮點型別123.456f的例子

public class ret
{
public static float main(String[] args)
{
return 123.456f;
}
}

反編譯

...
major version: 52
...
#2 = Float              123.456f
...
public static float main(java.lang.String[]);
descriptor: ([Ljava/lang/String;)F
flags: ACC_PUBLIC, ACC_STATIC
Code:
stack=1, locals=1, args_size=1
0: ldc           #2                  // float 123.456f
2: freturn
LineNumberTable:
line 5: 0

注意0: ldc           #2                  // float 123.456f

本文參考：逆向工程權威指南.下冊.pdf 和http://blog.51cto.com/7317859/2105269