为什么proguard不会混淆方法体？

Question

我正在使用ProGuard来混淆我的.jar程序.一切正常,但ProGuard不会在方法体中混淆局部变量.这是一个例子:

生的:

混淆:

以黄色突出显示的变量名称应该被混淆,但它们不是.我怎样才能对它们进行模糊处理(将它们重命名为a,b,c等？)

这是我的ProGuard配置:http://pastebin.com/sb3DMRcC(上述方法不是来自其中一个排除的类).

Answer 1

为什么proguard不会混淆方法体？

因为它不能.
编译时根本不存储方法参数和局部变量的名称.
您看到的名称由您的反编译器生成.

对于已编译的代码,有两种方法可以在本地存储数据(即在方法中):

• 在操作数堆栈上
• 在局部变量中

操作数堆栈实际上只是一个堆栈.
有关堆栈运算符,请参阅Java VM规范中的表7.2.
您可以在弹出的值(pop),复制前值(dup),交换顶部两个值(swap)和相同与稍微改变行为(pop2,dup_x1,dup_x2,dup2,dup2_x1,dup2_x2).
并且大多数情况下,如果不是所有产生返回值的指令都会将所述值丢弃到堆栈上.

这个问题的重要之处在于如何引用堆栈上的内容,这与任何其他堆栈类似:
相对于顶部位置,并基于所使用的指令.
没有指定的数字或名称,它只是当前的任何内容.

现在,对于所谓的"局部变量":

将它们视为ArrayList比Java中的变量更多.
因为这正是你访问它们的方式:通过索引.
对于变量0到3,有特殊指令(即单字节),因为它们经常使用,所有其他变量只能通过双字节指令访问,其中第二个字节是索引.
请参阅表7.2再次,"加载"和"存储".
在两个表中的前五个条目是宽(两字节)存储/加载每个数据类型(注意的指令,用于单个值,boolean,char,byte和short被全部转换为int,只留下int,float并Object作为单槽值和long和double作为双口的),下一个20说明适用于直接访问寄存器0至3中的指示,并且最后八个指令是访问数组索引(请注意,内阵列boolean,byte,char和short被不转换为int,不浪费空间,这就是为什么还有三个指令(不是四个,因为byte并且char具有相同的大小)).

最大堆栈大小和局部变量数都是有限的,并且必须在Code每个方法的属性的标题中给出,如第4.7.3节(max_stack和max_locals)中所定义.

然而,局部变量的有趣之处在于它们兼作方法参数,这意味着局部变量的数量永远不会低于方法参数的数量.
请注意,对于Java虚拟机计数的值时,该类型的变量long,并double作为两个值对待,需要两个"插槽"相应.
还要注意,对于非静态方法,参数0将是this,这需要另一个"槽".

话虽这么说,让我们来看看一些代码吧!

例:

class Test
{
    public static void main(String[] myArgs) throws NumberFormatException
    {
        String myString = "42";
        int myInt = Integer.parseInt(myString);
        double myDouble = (double)myInt * 42.0d;
        System.out.println(myDouble);
    }
}

在这里,我们有三个局部变量myString,myInt并myDouble加一个参数myArgs.
另外,我们有两个常数"42"和42.0d,以及很多外部参考:

• java.lang.String[] - 上课
• java.lang.NumberFormatException - 上课
• java.lang.String - 上课
• java.lang.Integer.parseInt - 方法
• java.lang.System.out - 场
• java.io.PrintStream.println - 方法

还有一些导出:Test以及main编译器为我们生成的默认构造函数.

所有常量,引用和导出都将导出到常量池 - 局部变量和参数名称不会.

编译和反汇编(使用javap -c Test)产生:

Compiled from "Test.java"
class Test {
  Test();
    Code:
       0: aload_0
       1: invokespecial #1                  // Method java/lang/Object."<init>":()V
       4: return

  public static void main(java.lang.String[]) throws java.lang.NumberFormatException;
    Code:
       0: ldc           #2                  // String 42
       2: astore_1
       3: aload_1
       4: invokestatic  #3                  // Method java/lang/Integer.parseInt:(Ljava/lang/String;)I
       7: istore_2
       8: iload_2
       9: i2d
      10: ldc2_w        #4                  // double 42.0d
      13: dmul
      14: dstore_3
      15: getstatic     #6                  // Field java/lang/System.out:Ljava/io/PrintStream;
      18: dload_3
      19: invokevirtual #7                  // Method java/io/PrintStream.println:(D)V
      22: return
}

除了默认构造函数,我们可以main逐步看到我们的方法.
注意如何myString与访问astore_1和aload_1,myInt有istore_2和iload_2,和myDouble同dstore_3和dload_3.
myArgs不能在任何地方访问,因此也没有字节码处理它,但在方法的开头,对String数组的引用将在本地变量1中,很快就会被引用覆盖"42".

javap如果你传递-v标志,它也会显示常量池,但它并没有真正为输出添加任何值,因为常量池中的所有相关信息都会显示在注释中.

但现在,让我们来看看反编译器产生的内容!

JD-GUI 0.3.5(JD-Core 0.6.2):

import java.io.PrintStream;

class Test
{
  public static void main(String[] paramArrayOfString)
    throws NumberFormatException
  {
    String str = "42";
    int i = Integer.parseInt(str);
    double d = i * 42.0D;
    System.out.println(d);
  }
}

Procyon 0.5.28:

class Test
{
    public static void main(final String[] array) throws NumberFormatException {
        System.out.println(Integer.parseInt("42") * 42.0);
    }
}

请注意导出到常量池的所有内容是如何保留的,而JD-GUI只是为局部变量选择一些名称,而Procyon完全优化它们.
参数的名称 - paramArrayOfStringvs array(vs the original myArgs) - 是一个很好的例子,但是,为了表明没有"正确的"名称,反编译器只需要依赖一些选择名称的模式.

我不知道反编译代码中的"真实"名称来自哪里,但我相当确定它们不包含在jar文件中.
IDE的功能可能吗？