sometsome 1.0.2 → 3.10.42

data/lib/proguard4.7/src/proguard/classfile/editor/VariableCleaner.java

@@ -0,0 +1,267 @@
+/*
+ * ProGuard -- shrinking, optimization, obfuscation, and preverification
+ *             of Java bytecode.
+ *
+ * Copyright (c) 2002-2011 Eric Lafortune (eric@graphics.cornell.edu)
+ *
+ * This program is free software; you can redistribute it and/or modify it
+ * under the terms of the GNU General Public License as published by the Free
+ * Software Foundation; either version 2 of the License, or (at your option)
+ * any later version.
+ *
+ * This program is distributed in the hope that it will be useful, but WITHOUT
+ * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
+ * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
+ * more details.
+ *
+ * You should have received a copy of the GNU General Public License along
+ * with this program; if not, write to the Free Software Foundation, Inc.,
+ * 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
+ */
+package proguard.classfile.editor;
+
+import proguard.classfile.*;
+import proguard.classfile.attribute.*;
+import proguard.classfile.attribute.visitor.AttributeVisitor;
+import proguard.classfile.util.SimplifiedVisitor;
+
+import java.util.Arrays;
+
+/**
+ * This AttributeVisitor cleans up variable tables in all code attributes that
+ * it visits. It trims overlapping local variables. It removes empty local
+ * variables and empty local variable tables.
+ *
+ * @author Eric Lafortune
+ */
+public class VariableCleaner
+extends      SimplifiedVisitor
+implements   AttributeVisitor
+{
+    private boolean deleteLocalVariableTableAttribute;
+    private boolean deleteLocalVariableTypeTableAttribute;
+
+
+    // Implementations for AttributeVisitor.
+
+    public void visitAnyAttribute(Clazz clazz, Attribute attribute) {}
+
+
+    public void visitCodeAttribute(Clazz clazz, Method method, CodeAttribute codeAttribute)
+    {
+        deleteLocalVariableTableAttribute     = false;
+        deleteLocalVariableTypeTableAttribute = false;
+
+        // Trim the local variable table and the local variable type table.
+        codeAttribute.attributesAccept(clazz, method, this);
+
+        // Delete the local variable table if it ended up empty.
+        if (deleteLocalVariableTableAttribute)
+        {
+            AttributesEditor editor =
+                new AttributesEditor((ProgramClass)clazz,
+                                     (ProgramMember)method,
+                                     codeAttribute,
+                                     true);
+
+            editor.deleteAttribute(ClassConstants.ATTR_LocalVariableTable);
+        }
+
+        // Delete the local variable type table if it ended up empty.
+        if (deleteLocalVariableTypeTableAttribute)
+        {
+            AttributesEditor editor =
+                new AttributesEditor((ProgramClass)clazz,
+                                     (ProgramMember)method,
+                                     codeAttribute,
+                                     true);
+
+            editor.deleteAttribute(ClassConstants.ATTR_LocalVariableTypeTable);
+        }
+    }
+
+
+    public void visitLocalVariableTableAttribute(Clazz clazz, Method method, CodeAttribute codeAttribute, LocalVariableTableAttribute localVariableTableAttribute)
+    {
+        // Clean up local variables that aren't used.
+        localVariableTableAttribute.u2localVariableTableLength =
+            removeUnusedLocalVariables(localVariableTableAttribute.localVariableTable,
+                                       localVariableTableAttribute.u2localVariableTableLength,
+                                       codeAttribute.u2maxLocals);
+
+        // Trim the code blocks of the local variables.
+        trimLocalVariables(localVariableTableAttribute.localVariableTable,
+                           localVariableTableAttribute.u2localVariableTableLength,
+                           codeAttribute.u2maxLocals);
+
+        // Delete the attribute in a moment, if it is empty.
+        if (localVariableTableAttribute.u2localVariableTableLength == 0)
+        {
+            deleteLocalVariableTableAttribute = true;
+        }
+    }
+
+
+    public void visitLocalVariableTypeTableAttribute(Clazz clazz, Method method, CodeAttribute codeAttribute, LocalVariableTypeTableAttribute localVariableTypeTableAttribute)
+    {
+        // Clean up local variables that aren't used.
+        localVariableTypeTableAttribute.u2localVariableTypeTableLength =
+            removeUnusedLocalVariableTypes(localVariableTypeTableAttribute.localVariableTypeTable,
+                                           localVariableTypeTableAttribute.u2localVariableTypeTableLength,
+                                           codeAttribute.u2maxLocals);
+
+        // Trim the code blocks of the local variables.
+        trimLocalVariableTypes(localVariableTypeTableAttribute.localVariableTypeTable,
+                               localVariableTypeTableAttribute.u2localVariableTypeTableLength,
+                               codeAttribute.u2maxLocals);
+
+        // Delete the attribute in a moment, if it is empty.
+        if (localVariableTypeTableAttribute.u2localVariableTypeTableLength == 0)
+        {
+            deleteLocalVariableTypeTableAttribute = true;
+        }
+    }
+
+
+    // Small utility methods.
+
+    /**
+     * Returns the given list of local variables, without the ones that aren't
+     * used.
+     */
+    private int removeUnusedLocalVariables(LocalVariableInfo[] localVariableInfos,
+                                           int                 localVariableInfoCount,
+                                           int                 maxLocals)
+    {
+        // Overwrite all empty local variable entries.
+        int newIndex = 0;
+        for (int index = 0; index < localVariableInfoCount; index++)
+        {
+            LocalVariableInfo localVariableInfo = localVariableInfos[index];
+
+            if (localVariableInfo.u2index >= 0        &&
+                localVariableInfo.u2index < maxLocals &&
+                localVariableInfo.u2length > 0)
+            {
+                localVariableInfos[newIndex++] = localVariableInfos[index];
+            }
+        }
+
+        // Clean up any remaining array elements.
+        Arrays.fill(localVariableInfos,  newIndex, localVariableInfoCount, null);
+
+        return newIndex;
+    }
+
+
+    /**
+     * Returns the given list of local variable types, without the ones that
+     * aren't used.
+     */
+    private int removeUnusedLocalVariableTypes(LocalVariableTypeInfo[] localVariableTypeInfos,
+                                               int                     localVariableTypeInfoCount,
+                                               int                     maxLocals)
+    {
+        // Overwrite all empty local variable type entries.
+        int newIndex = 0;
+        for (int index = 0; index < localVariableTypeInfoCount; index++)
+        {
+            LocalVariableTypeInfo localVariableTypeInfo = localVariableTypeInfos[index];
+
+            if (localVariableTypeInfo.u2index >= 0        &&
+                localVariableTypeInfo.u2index < maxLocals &&
+                localVariableTypeInfo.u2length > 0)
+            {
+                localVariableTypeInfos[newIndex++] = localVariableTypeInfos[index];
+            }
+        }
+
+        // Clean up any remaining array elements.
+        Arrays.fill(localVariableTypeInfos,  newIndex, localVariableTypeInfoCount, null);
+
+        return newIndex;
+    }
+
+
+    /**
+     * Sorts the given list of local variables and trims their code blocks
+     * when necessary. The block is trimmed at the end, which is a bit
+     * arbitrary.
+     */
+    private void trimLocalVariables(LocalVariableInfo[] localVariableInfos,
+                                    int                 localVariableInfoCount,
+                                    int                 maxLocals)
+    {
+        // Sort the local variable entries.
+        Arrays.sort(localVariableInfos, 0, localVariableInfoCount);
+
+        int[] startPCs = createMaxArray(maxLocals);
+
+        // Trim the local variable entries, starting at the last one.
+        for (int index = localVariableInfoCount-1; index >= 0; index--)
+        {
+            LocalVariableInfo localVariableInfo = localVariableInfos[index];
+
+            // Make sure the variable's code block doesn't overlap with the
+            // next one for the same variable.
+            int maxLength = startPCs[localVariableInfo.u2index] -
+                            localVariableInfo.u2startPC;
+
+            if (localVariableInfo.u2length > maxLength)
+            {
+                localVariableInfo.u2length = maxLength;
+            }
+
+            startPCs[localVariableInfo.u2index] = localVariableInfo.u2startPC;
+        }
+    }
+
+
+    /**
+     * Sorts the given list of local variable types and trims their code blocks
+     * when necessary. The block is trimmed at the end, which is a bit
+     * arbitrary.
+     */
+    private void trimLocalVariableTypes(LocalVariableTypeInfo[] localVariableTypeInfos,
+                                        int                     localVariableTypeInfoCount,
+                                        int                     maxLocals)
+    {
+        // Sort the local variable entries.
+        Arrays.sort(localVariableTypeInfos, 0, localVariableTypeInfoCount);
+
+        int[] startPCs = createMaxArray(maxLocals);
+
+        // Trim the local variable entries, starting at the last one.
+        for (int index = localVariableTypeInfoCount-1; index >= 0; index--)
+        {
+            LocalVariableTypeInfo localVariableTypeInfo = localVariableTypeInfos[index];
+
+            // Make sure the variable's code block doesn't overlap with the
+            // next one for the same variable.
+            int maxLength = startPCs[localVariableTypeInfo.u2index] -
+                            localVariableTypeInfo.u2startPC;
+
+            if (localVariableTypeInfo.u2length > maxLength)
+            {
+                localVariableTypeInfo.u2length = maxLength;
+            }
+
+            startPCs[localVariableTypeInfo.u2index] = localVariableTypeInfo.u2startPC;
+        }
+    }
+
+
+    /**
+     * Creates an integer array of the given length, initialized with
+     * Integer.MAX_VALUE.
+     */
+    private int[] createMaxArray(int length)
+    {
+        int[] startPCs = new int[length];
+        for (int index = 0; index < length; index++)
+        {
+            startPCs[index] = Integer.MAX_VALUE;
+        }
+        return startPCs;
+    }
+}

data/lib/proguard4.7/src/proguard/classfile/editor/VariableEditor.java

@@ -0,0 +1,130 @@
+/*
+ * ProGuard -- shrinking, optimization, obfuscation, and preverification
+ *             of Java bytecode.
+ *
+ * Copyright (c) 2002-2011 Eric Lafortune (eric@graphics.cornell.edu)
+ *
+ * This program is free software; you can redistribute it and/or modify it
+ * under the terms of the GNU General Public License as published by the Free
+ * Software Foundation; either version 2 of the License, or (at your option)
+ * any later version.
+ *
+ * This program is distributed in the hope that it will be useful, but WITHOUT
+ * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
+ * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
+ * more details.
+ *
+ * You should have received a copy of the GNU General Public License along
+ * with this program; if not, write to the Free Software Foundation, Inc.,
+ * 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
+ */
+package proguard.classfile.editor;
+
+import proguard.classfile.*;
+import proguard.classfile.attribute.*;
+import proguard.classfile.attribute.visitor.AttributeVisitor;
+import proguard.classfile.util.SimplifiedVisitor;
+
+import java.util.Arrays;
+
+/**
+ * This AttributeVisitor accumulates specified changes to local variables, and
+ * then applies these accumulated changes to the code attributes that it visits.
+ *
+ * @author Eric  Lafortune
+ */
+public class VariableEditor
+extends      SimplifiedVisitor
+implements   AttributeVisitor
+{
+    private boolean   modified;
+
+    private boolean[] deleted     = new boolean[ClassConstants.TYPICAL_VARIABLES_SIZE];
+    private int[]     variableMap = new int[ClassConstants.TYPICAL_VARIABLES_SIZE];
+
+    private final VariableRemapper variableRemapper = new VariableRemapper();
+
+
+    /**
+     * Resets the accumulated code changes.
+     * @param maxLocals the length of the local variable frame that will be
+     *                  edited next.
+     */
+    public void reset(int maxLocals)
+    {
+        // Try to reuse the previous array.
+        if (deleted.length < maxLocals)
+        {
+            // Create a new array.
+            deleted = new boolean[maxLocals];
+        }
+        else
+        {
+            // Reset the array.
+            Arrays.fill(deleted, 0, maxLocals, false);
+        }
+
+        modified = false;
+    }
+
+
+    /**
+     * Remembers to delete the given variable.
+     * @param variableIndex the index of the variable to be deleted.
+     */
+    public void deleteVariable(int variableIndex)
+    {
+        deleted[variableIndex] = true;
+
+        modified = true;
+    }
+
+
+    /**
+     * Returns whether the given variable at the given offset has deleted.
+     */
+    public boolean isDeleted(int instructionOffset)
+    {
+        return deleted[instructionOffset];
+    }
+
+
+    // Implementations for AttributeVisitor.
+
+    public void visitAnyAttribute(Clazz clazz, Attribute attribute) {}
+
+
+    public void visitCodeAttribute(Clazz clazz, Method method, CodeAttribute codeAttribute)
+    {
+        // Avoid doing any work if nothing is changing anyway.
+        if (!modified)
+        {
+            return;
+        }
+
+        int oldMaxLocals = codeAttribute.u2maxLocals;
+
+        // Make sure there is a sufficiently large variable map.
+        if (variableMap.length < oldMaxLocals)
+        {
+            variableMap = new int[oldMaxLocals];
+        }
+
+        // Fill out the variable map.
+        int newVariableIndex = 0;
+        for (int oldVariableIndex = 0; oldVariableIndex < oldMaxLocals; oldVariableIndex++)
+        {
+            variableMap[oldVariableIndex] = deleted[oldVariableIndex] ?
+                -1 : newVariableIndex++;
+        }
+
+        // Set the map.
+        variableRemapper.setVariableMap(variableMap);
+
+        // Remap the variables.
+        variableRemapper.visitCodeAttribute(clazz, method, codeAttribute);
+
+        // Update the length of local variable frame.
+        codeAttribute.u2maxLocals = newVariableIndex;
+    }
+}

data/lib/proguard4.7/src/proguard/classfile/editor/VariableRemapper.java

@@ -0,0 +1,156 @@
+/*
+ * ProGuard -- shrinking, optimization, obfuscation, and preverification
+ *             of Java bytecode.
+ *
+ * Copyright (c) 2002-2011 Eric Lafortune (eric@graphics.cornell.edu)
+ *
+ * This program is free software; you can redistribute it and/or modify it
+ * under the terms of the GNU General Public License as published by the Free
+ * Software Foundation; either version 2 of the License, or (at your option)
+ * any later version.
+ *
+ * This program is distributed in the hope that it will be useful, but WITHOUT
+ * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
+ * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
+ * more details.
+ *
+ * You should have received a copy of the GNU General Public License along
+ * with this program; if not, write to the Free Software Foundation, Inc.,
+ * 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
+ */
+package proguard.classfile.editor;
+
+import proguard.classfile.*;
+import proguard.classfile.attribute.*;
+import proguard.classfile.attribute.visitor.*;
+import proguard.classfile.instruction.*;
+import proguard.classfile.instruction.visitor.InstructionVisitor;
+import proguard.classfile.util.SimplifiedVisitor;
+
+/**
+ * This AttributeVisitor remaps variable indexes in all attributes that it
+ * visits, based on a given index map.
+ *
+ * @author Eric Lafortune
+ */
+public class VariableRemapper
+extends      SimplifiedVisitor
+implements   AttributeVisitor,
+             InstructionVisitor,
+             LocalVariableInfoVisitor,
+             LocalVariableTypeInfoVisitor
+{
+    private static final boolean DEBUG = false;
+
+
+    private final CodeAttributeEditor codeAttributeEditor = new CodeAttributeEditor();
+
+    private int[] variableMap;
+
+
+    /**
+     * Sets the given mapping of old variable indexes to their new indexes.
+     * Variables that should disappear can be mapped to -1.
+     */
+    public void setVariableMap(int[] variableMap)
+    {
+        this.variableMap = variableMap;
+    }
+
+
+    // Implementations for AttributeVisitor.
+
+    public void visitAnyAttribute(Clazz clazz, Attribute attribute) {}
+
+
+    public void visitCodeAttribute(Clazz clazz, Method method, CodeAttribute codeAttribute)
+    {
+        if (DEBUG)
+        {
+            System.out.println("VariableRemapper: "+clazz.getName()+"."+method.getName(clazz)+method.getDescriptor(clazz));
+            for (int index= 0; index < codeAttribute.u2maxLocals; index++)
+            {
+                System.out.println("  v"+index+" -> "+variableMap[index]);
+            }
+        }
+
+        // Remap the variables of the attributes, before editing the code and
+        // cleaning up its local variable frame.
+        codeAttribute.attributesAccept(clazz, method, this);
+
+        // Initially, the code attribute editor doesn't contain any changes.
+        codeAttributeEditor.reset(codeAttribute.u4codeLength);
+
+        // Remap the variables of the instructions.
+        codeAttribute.instructionsAccept(clazz, method, this);
+
+        // Apply the code atribute editor.
+        codeAttributeEditor.visitCodeAttribute(clazz, method, codeAttribute);
+    }
+
+
+    public void visitLocalVariableTableAttribute(Clazz clazz, Method method, CodeAttribute codeAttribute, LocalVariableTableAttribute localVariableTableAttribute)
+    {
+        // Remap the variable references of the local variables.
+        localVariableTableAttribute.localVariablesAccept(clazz, method, codeAttribute, this);
+    }
+
+
+    public void visitLocalVariableTypeTableAttribute(Clazz clazz, Method method, CodeAttribute codeAttribute, LocalVariableTypeTableAttribute localVariableTypeTableAttribute)
+    {
+        // Remap the variable references of the local variables.
+        localVariableTypeTableAttribute.localVariablesAccept(clazz, method, codeAttribute, this);
+    }
+
+
+    // Implementations for LocalVariableInfoVisitor.
+
+    public void visitLocalVariableInfo(Clazz clazz, Method method, CodeAttribute codeAttribute, LocalVariableInfo localVariableInfo)
+    {
+        localVariableInfo.u2index =
+            remapVariable(localVariableInfo.u2index);
+    }
+
+
+    // Implementations for LocalVariableTypeInfoVisitor.
+
+    public void visitLocalVariableTypeInfo(Clazz clazz, Method method, CodeAttribute codeAttribute, LocalVariableTypeInfo localVariableTypeInfo)
+    {
+        localVariableTypeInfo.u2index =
+            remapVariable(localVariableTypeInfo.u2index);
+    }
+
+
+    // Implementations for InstructionVisitor.
+
+    public void visitAnyInstruction(Clazz clazz, Method method, CodeAttribute codeAttribute, int offset, Instruction instruction) {}
+
+
+    public void visitVariableInstruction(Clazz clazz, Method method, CodeAttribute codeAttribute, int offset, VariableInstruction variableInstruction)
+    {
+        // Is the new variable index different from the original one?
+        int oldVariableIndex = variableInstruction.variableIndex;
+        int newVariableIndex = remapVariable(oldVariableIndex);
+        if (newVariableIndex != oldVariableIndex)
+        {
+            // Replace the instruction.
+            Instruction replacementInstruction =
+                new VariableInstruction(variableInstruction.opcode,
+                                        newVariableIndex,
+                                        variableInstruction.constant).shrink();
+
+            codeAttributeEditor.replaceInstruction(offset, replacementInstruction);
+        }
+    }
+
+
+    // Small utility methods.
+
+    /**
+     * Returns the new variable index of the given variable.
+     */
+    private int remapVariable(int variableIndex)
+    {
+        return variableMap[variableIndex];
+    }
+}