sometsome 1.0.2 → 3.10.42

data/lib/proguard4.7/src/proguard/classfile/util/DynamicMemberReferenceInitializer.java

@@ -0,0 +1,944 @@
+/*
+ * 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.util;
+
+import proguard.classfile.*;
+import proguard.classfile.attribute.CodeAttribute;
+import proguard.classfile.attribute.visitor.AttributeVisitor;
+import proguard.classfile.constant.*;
+import proguard.classfile.constant.visitor.ConstantVisitor;
+import proguard.classfile.instruction.*;
+import proguard.classfile.instruction.visitor.InstructionVisitor;
+import proguard.classfile.visitor.*;
+import proguard.util.StringMatcher;
+
+/**
+ * This InstructionVisitor initializes any constant
+ * <code>Class.get[Declared]{Field,Method}</code> references of all instructions
+ * it visits. More specifically, it fills out the references of string constant
+ * pool entries that refer to a class member in the program class pool or in the
+ * library class pool.
+ * <p>
+ * It optionally prints notes if on usage of
+ * <code>(SomeClass)Class.forName(variable).newInstance()</code>.
+ * <p>
+ * The class hierarchy and references must be initialized before using this
+ * visitor.
+ *
+ * @see ClassSuperHierarchyInitializer
+ * @see ClassReferenceInitializer
+ *
+ * @author Eric Lafortune
+ */
+public class DynamicMemberReferenceInitializer
+extends      SimplifiedVisitor
+implements   InstructionVisitor,
+             ConstantVisitor,
+             AttributeVisitor,
+             MemberVisitor
+{
+    /*
+    private static       boolean DEBUG      = true;
+    /*/
+    private static final boolean DEBUG      = false;
+    //*/
+
+    public static final int CLASS_INDEX       = InstructionSequenceMatcher.X;
+    public static final int MEMBER_NAME_INDEX = InstructionSequenceMatcher.Y;
+    public static final int TYPE_CLASS_INDEX = InstructionSequenceMatcher.Z;
+
+    public static final int PARAMETER0_CLASS_INDEX = InstructionSequenceMatcher.A;
+    public static final int PARAMETER1_CLASS_INDEX = InstructionSequenceMatcher.B;
+    public static final int PARAMETER2_CLASS_INDEX = InstructionSequenceMatcher.C;
+    public static final int PARAMETER3_CLASS_INDEX = InstructionSequenceMatcher.D;
+
+
+    private final Constant[] GET_FIELD_CONSTANTS = new Constant[]
+    {
+        new MethodrefConstant(1, 2, null, null),
+        new ClassConstant(3, null),
+        new NameAndTypeConstant(4, 5),
+        new Utf8Constant(ClassConstants.INTERNAL_NAME_JAVA_LANG_CLASS),
+        new Utf8Constant(ClassConstants.INTERNAL_METHOD_NAME_CLASS_GET_FIELD),
+        new Utf8Constant(ClassConstants.INTERNAL_METHOD_TYPE_CLASS_GET_FIELD),
+    };
+
+    private final Constant[] GET_DECLARED_FIELD_CONSTANTS = new Constant[]
+    {
+        new MethodrefConstant(1, 2, null, null),
+        new ClassConstant(3, null),
+        new NameAndTypeConstant(4, 5),
+        new Utf8Constant(ClassConstants.INTERNAL_NAME_JAVA_LANG_CLASS),
+        new Utf8Constant(ClassConstants.INTERNAL_METHOD_NAME_CLASS_GET_DECLARED_FIELD),
+        new Utf8Constant(ClassConstants.INTERNAL_METHOD_TYPE_CLASS_GET_DECLARED_FIELD),
+    };
+
+    private final Constant[] GET_CONSTRUCTOR_CONSTANTS = new Constant[]
+    {
+        new MethodrefConstant(1, 2, null, null),
+        new ClassConstant(3, null),
+        new NameAndTypeConstant(4, 5),
+        new Utf8Constant(ClassConstants.INTERNAL_NAME_JAVA_LANG_CLASS),
+        new Utf8Constant(ClassConstants.INTERNAL_CONSTRUCTOR_NAME_CLASS_GET_CONSTRUCTOR),
+        new Utf8Constant(ClassConstants.INTERNAL_CONSTRUCTOR_TYPE_CLASS_GET_CONSTRUCTOR),
+    };
+
+    private final Constant[] GET_DECLARED_CONSTRUCTOR_CONSTANTS = new Constant[]
+    {
+        new MethodrefConstant(1, 2, null, null),
+        new ClassConstant(3, null),
+        new NameAndTypeConstant(4, 5),
+        new Utf8Constant(ClassConstants.INTERNAL_NAME_JAVA_LANG_CLASS),
+        new Utf8Constant(ClassConstants.INTERNAL_CONSTRUCTOR_NAME_CLASS_GET_DECLARED_CONSTRUCTOR),
+        new Utf8Constant(ClassConstants.INTERNAL_CONSTRUCTOR_TYPE_CLASS_GET_DECLARED_CONSTRUCTOR),
+    };
+
+    private final Constant[] GET_METHOD_CONSTANTS = new Constant[]
+    {
+        new MethodrefConstant(1, 2, null, null),
+        new ClassConstant(3, null),
+        new NameAndTypeConstant(4, 5),
+        new Utf8Constant(ClassConstants.INTERNAL_NAME_JAVA_LANG_CLASS),
+        new Utf8Constant(ClassConstants.INTERNAL_METHOD_NAME_CLASS_GET_METHOD),
+        new Utf8Constant(ClassConstants.INTERNAL_METHOD_TYPE_CLASS_GET_METHOD),
+    };
+
+    private final Constant[] GET_DECLARED_METHOD_CONSTANTS = new Constant[]
+    {
+        new MethodrefConstant(1, 2, null, null),
+        new ClassConstant(3, null),
+        new NameAndTypeConstant(4, 5),
+        new Utf8Constant(ClassConstants.INTERNAL_NAME_JAVA_LANG_CLASS),
+        new Utf8Constant(ClassConstants.INTERNAL_METHOD_NAME_CLASS_GET_DECLARED_METHOD),
+        new Utf8Constant(ClassConstants.INTERNAL_METHOD_TYPE_CLASS_GET_DECLARED_METHOD),
+    };
+
+    private final Constant[] NEW_INTEGER_UPDATER_CONSTANTS = new Constant[]
+    {
+        new MethodrefConstant(1, 2, null, null),
+        new ClassConstant(3, null),
+        new NameAndTypeConstant(4, 5),
+        new Utf8Constant(ClassConstants.INTERNAL_NAME_JAVA_UTIL_CONCURRENT_ATOMIC_ATOMIC_INTEGER_FIELD_UPDATER),
+        new Utf8Constant(ClassConstants.INTERNAL_METHOD_NAME_NEW_UPDATER),
+        new Utf8Constant(ClassConstants.INTERNAL_METHOD_TYPE_NEW_INTEGER_UPDATER),
+    };
+
+    private final Constant[] NEW_LONG_UPDATER_CONSTANTS = new Constant[]
+    {
+        new MethodrefConstant(1, 2, null, null),
+        new ClassConstant(3, null),
+        new NameAndTypeConstant(4, 5),
+        new Utf8Constant(ClassConstants.INTERNAL_NAME_JAVA_UTIL_CONCURRENT_ATOMIC_ATOMIC_LONG_FIELD_UPDATER),
+        new Utf8Constant(ClassConstants.INTERNAL_METHOD_NAME_NEW_UPDATER),
+        new Utf8Constant(ClassConstants.INTERNAL_METHOD_TYPE_NEW_LONG_UPDATER),
+    };
+
+    private final Constant[] NEW_REFERENCE_UPDATER_CONSTANTS = new Constant[]
+    {
+        new MethodrefConstant(1, 2, null, null),
+        new ClassConstant(3, null),
+        new NameAndTypeConstant(4, 5),
+        new Utf8Constant(ClassConstants.INTERNAL_NAME_JAVA_UTIL_CONCURRENT_ATOMIC_ATOMIC_REFERENCE_FIELD_UPDATER),
+        new Utf8Constant(ClassConstants.INTERNAL_METHOD_NAME_NEW_UPDATER),
+        new Utf8Constant(ClassConstants.INTERNAL_METHOD_TYPE_NEW_REFERENCE_UPDATER),
+    };
+
+    // SomeClass.class.get[Declared]Field("someField").
+    private final Instruction[] CONSTANT_GET_FIELD_INSTRUCTIONS = new Instruction[]
+    {
+        new ConstantInstruction(InstructionConstants.OP_LDC, CLASS_INDEX),
+        new ConstantInstruction(InstructionConstants.OP_LDC, MEMBER_NAME_INDEX),
+        new ConstantInstruction(InstructionConstants.OP_INVOKEVIRTUAL, 0),
+    };
+
+//    // SomeClass.class.get[Declared]Constructor(new Class[] {}).
+//    private final Instruction[] CONSTANT_GET_CONSTRUCTOR_INSTRUCTIONS0 = new Instruction[]
+//    {
+//        new ConstantInstruction(InstructionConstants.OP_LDC, CLASS_INDEX),
+//        new SimpleInstruction(InstructionConstants.OP_ICONST_0),
+//        new ConstantInstruction(InstructionConstants.OP_ANEWARRAY, 1),
+//        new ConstantInstruction(InstructionConstants.OP_INVOKEVIRTUAL, 0),
+//    };
+//
+//    // SomeClass.class.get[Declared]Constructor(new Class[] { A.class }).
+//    private final Instruction[] CONSTANT_GET_CONSTRUCTOR_INSTRUCTIONS1 = new Instruction[]
+//    {
+//        new ConstantInstruction(InstructionConstants.OP_LDC, CLASS_INDEX),
+//        new SimpleInstruction(InstructionConstants.OP_ICONST_1),
+//        new ConstantInstruction(InstructionConstants.OP_ANEWARRAY, 1),
+//        new SimpleInstruction(InstructionConstants.OP_DUP),
+//        new SimpleInstruction(InstructionConstants.OP_ICONST_0),
+//        new ConstantInstruction(InstructionConstants.OP_LDC, PARAMETER0_CLASS_INDEX),
+//        new SimpleInstruction(InstructionConstants.OP_AASTORE),
+//        new ConstantInstruction(InstructionConstants.OP_INVOKEVIRTUAL, 0),
+//    };
+//
+//    // SomeClass.class.get[Declared]Constructor(new Class[] { A.class, B.class }).
+//    private final Instruction[] CONSTANT_GET_CONSTRUCTOR_INSTRUCTIONS2 = new Instruction[]
+//    {
+//        new ConstantInstruction(InstructionConstants.OP_LDC, CLASS_INDEX),
+//        new SimpleInstruction(InstructionConstants.OP_ICONST_2),
+//        new ConstantInstruction(InstructionConstants.OP_ANEWARRAY, 1),
+//        new SimpleInstruction(InstructionConstants.OP_DUP),
+//        new SimpleInstruction(InstructionConstants.OP_ICONST_0),
+//        new ConstantInstruction(InstructionConstants.OP_LDC, PARAMETER0_CLASS_INDEX),
+//        new SimpleInstruction(InstructionConstants.OP_AASTORE),
+//        new SimpleInstruction(InstructionConstants.OP_DUP),
+//        new SimpleInstruction(InstructionConstants.OP_ICONST_1),
+//        new ConstantInstruction(InstructionConstants.OP_LDC, PARAMETER1_CLASS_INDEX),
+//        new SimpleInstruction(InstructionConstants.OP_AASTORE),
+//        new ConstantInstruction(InstructionConstants.OP_INVOKEVIRTUAL, 0),
+//    };
+
+    // SomeClass.class.get[Declared]Method("someMethod", new Class[] {}).
+    private final Instruction[] CONSTANT_GET_METHOD_INSTRUCTIONS0 = new Instruction[]
+    {
+        new ConstantInstruction(InstructionConstants.OP_LDC, CLASS_INDEX),
+        new ConstantInstruction(InstructionConstants.OP_LDC, MEMBER_NAME_INDEX),
+        new SimpleInstruction(InstructionConstants.OP_ICONST_0),
+        new ConstantInstruction(InstructionConstants.OP_ANEWARRAY, 1),
+        new ConstantInstruction(InstructionConstants.OP_INVOKEVIRTUAL, 0),
+    };
+
+    // SomeClass.class.get[Declared]Method("someMethod", new Class[] { A.class }).
+    private final Instruction[] CONSTANT_GET_METHOD_INSTRUCTIONS1 = new Instruction[]
+    {
+        new ConstantInstruction(InstructionConstants.OP_LDC, CLASS_INDEX),
+        new ConstantInstruction(InstructionConstants.OP_LDC, MEMBER_NAME_INDEX),
+        new SimpleInstruction(InstructionConstants.OP_ICONST_1),
+        new ConstantInstruction(InstructionConstants.OP_ANEWARRAY, 1),
+        new SimpleInstruction(InstructionConstants.OP_DUP),
+        new SimpleInstruction(InstructionConstants.OP_ICONST_0),
+        new ConstantInstruction(InstructionConstants.OP_LDC, PARAMETER0_CLASS_INDEX),
+        new SimpleInstruction(InstructionConstants.OP_AASTORE),
+        new ConstantInstruction(InstructionConstants.OP_INVOKEVIRTUAL, 0),
+    };
+
+    // SomeClass.class.get[Declared]Method("someMethod", new Class[] { A.class, B.class }).
+    private final Instruction[] CONSTANT_GET_METHOD_INSTRUCTIONS2 = new Instruction[]
+    {
+        new ConstantInstruction(InstructionConstants.OP_LDC, CLASS_INDEX),
+        new ConstantInstruction(InstructionConstants.OP_LDC, MEMBER_NAME_INDEX),
+        new SimpleInstruction(InstructionConstants.OP_ICONST_2),
+        new ConstantInstruction(InstructionConstants.OP_ANEWARRAY, 1),
+        new SimpleInstruction(InstructionConstants.OP_DUP),
+        new SimpleInstruction(InstructionConstants.OP_ICONST_0),
+        new ConstantInstruction(InstructionConstants.OP_LDC, PARAMETER0_CLASS_INDEX),
+        new SimpleInstruction(InstructionConstants.OP_AASTORE),
+        new SimpleInstruction(InstructionConstants.OP_DUP),
+        new SimpleInstruction(InstructionConstants.OP_ICONST_1),
+        new ConstantInstruction(InstructionConstants.OP_LDC, PARAMETER1_CLASS_INDEX),
+        new SimpleInstruction(InstructionConstants.OP_AASTORE),
+        new ConstantInstruction(InstructionConstants.OP_INVOKEVIRTUAL, 0),
+    };
+
+    // AtomicIntegerFieldUpdater.newUpdater(A.class, "someField").
+    // AtomicLongFieldUpdater.newUpdater(A.class, "someField").
+    private final Instruction[] CONSTANT_NEW_PRIMITIVE_UPDATER_INSTRUCTIONS = new Instruction[]
+    {
+        new ConstantInstruction(InstructionConstants.OP_LDC, CLASS_INDEX),
+        new ConstantInstruction(InstructionConstants.OP_LDC, MEMBER_NAME_INDEX),
+        new ConstantInstruction(InstructionConstants.OP_INVOKESTATIC, 0),
+    };
+
+    // AtomicReferenceFieldUpdater.newUpdater(A.class, B.class, "someField").
+    private final Instruction[] CONSTANT_NEW_REFERENCE_UPDATER_INSTRUCTIONS = new Instruction[]
+    {
+        new ConstantInstruction(InstructionConstants.OP_LDC, CLASS_INDEX),
+        new ConstantInstruction(InstructionConstants.OP_LDC, TYPE_CLASS_INDEX),
+        new ConstantInstruction(InstructionConstants.OP_LDC, MEMBER_NAME_INDEX),
+        new ConstantInstruction(InstructionConstants.OP_INVOKESTATIC, 0),
+    };
+
+    // get[Declared]Field("someField").
+    private final Instruction[] GET_FIELD_INSTRUCTIONS = new Instruction[]
+    {
+        new ConstantInstruction(InstructionConstants.OP_LDC, MEMBER_NAME_INDEX),
+        new ConstantInstruction(InstructionConstants.OP_INVOKEVIRTUAL, 0),
+    };
+
+//    // get[Declared]Constructor(new Class[] {}).
+//    private final Instruction[] GET_CONSTRUCTOR_INSTRUCTIONS0 = new Instruction[]
+//    {
+//        new SimpleInstruction(InstructionConstants.OP_ICONST_0),
+//        new ConstantInstruction(InstructionConstants.OP_ANEWARRAY, 1),
+//        new ConstantInstruction(InstructionConstants.OP_INVOKEVIRTUAL, 0),
+//    };
+
+    // get[Declared]Constructor(new Class[] { A.class }).
+    private final Instruction[] GET_CONSTRUCTOR_INSTRUCTIONS1 = new Instruction[]
+    {
+        new SimpleInstruction(InstructionConstants.OP_ICONST_1),
+        new ConstantInstruction(InstructionConstants.OP_ANEWARRAY, 1),
+        new SimpleInstruction(InstructionConstants.OP_DUP),
+        new SimpleInstruction(InstructionConstants.OP_ICONST_0),
+        new ConstantInstruction(InstructionConstants.OP_LDC, PARAMETER0_CLASS_INDEX),
+        new SimpleInstruction(InstructionConstants.OP_AASTORE),
+        new ConstantInstruction(InstructionConstants.OP_INVOKEVIRTUAL, 0),
+    };
+
+    // get[Declared]Constructor(new Class[] { A.class, B.class }).
+    private final Instruction[] GET_CONSTRUCTOR_INSTRUCTIONS2 = new Instruction[]
+    {
+        new SimpleInstruction(InstructionConstants.OP_ICONST_2),
+        new ConstantInstruction(InstructionConstants.OP_ANEWARRAY, 1),
+        new SimpleInstruction(InstructionConstants.OP_DUP),
+        new SimpleInstruction(InstructionConstants.OP_ICONST_0),
+        new ConstantInstruction(InstructionConstants.OP_LDC, PARAMETER0_CLASS_INDEX),
+        new SimpleInstruction(InstructionConstants.OP_AASTORE),
+        new SimpleInstruction(InstructionConstants.OP_DUP),
+        new SimpleInstruction(InstructionConstants.OP_ICONST_1),
+        new ConstantInstruction(InstructionConstants.OP_LDC, PARAMETER1_CLASS_INDEX),
+        new SimpleInstruction(InstructionConstants.OP_AASTORE),
+        new ConstantInstruction(InstructionConstants.OP_INVOKEVIRTUAL, 0),
+    };
+
+    // get[Declared]Method("someMethod", new Class[] {}).
+    private final Instruction[] GET_METHOD_INSTRUCTIONS0 = new Instruction[]
+    {
+        new ConstantInstruction(InstructionConstants.OP_LDC, MEMBER_NAME_INDEX),
+        new SimpleInstruction(InstructionConstants.OP_ICONST_0),
+        new ConstantInstruction(InstructionConstants.OP_ANEWARRAY, 1),
+        new ConstantInstruction(InstructionConstants.OP_INVOKEVIRTUAL, 0),
+    };
+
+    // get[Declared]Method("someMethod", new Class[] { A.class }).
+    private final Instruction[] GET_METHOD_INSTRUCTIONS1 = new Instruction[]
+    {
+        new ConstantInstruction(InstructionConstants.OP_LDC, MEMBER_NAME_INDEX),
+        new SimpleInstruction(InstructionConstants.OP_ICONST_1),
+        new ConstantInstruction(InstructionConstants.OP_ANEWARRAY, 1),
+        new SimpleInstruction(InstructionConstants.OP_DUP),
+        new SimpleInstruction(InstructionConstants.OP_ICONST_0),
+        new ConstantInstruction(InstructionConstants.OP_LDC, PARAMETER0_CLASS_INDEX),
+        new SimpleInstruction(InstructionConstants.OP_AASTORE),
+        new ConstantInstruction(InstructionConstants.OP_INVOKEVIRTUAL, 0),
+    };
+
+    // get[Declared]Method("someMethod", new Class[] { A.class, B.class }).
+    private final Instruction[] GET_METHOD_INSTRUCTIONS2 = new Instruction[]
+    {
+        new ConstantInstruction(InstructionConstants.OP_LDC, MEMBER_NAME_INDEX),
+        new SimpleInstruction(InstructionConstants.OP_ICONST_2),
+        new ConstantInstruction(InstructionConstants.OP_ANEWARRAY, 1),
+        new SimpleInstruction(InstructionConstants.OP_DUP),
+        new SimpleInstruction(InstructionConstants.OP_ICONST_0),
+        new ConstantInstruction(InstructionConstants.OP_LDC, PARAMETER0_CLASS_INDEX),
+        new SimpleInstruction(InstructionConstants.OP_AASTORE),
+        new SimpleInstruction(InstructionConstants.OP_DUP),
+        new SimpleInstruction(InstructionConstants.OP_ICONST_1),
+        new ConstantInstruction(InstructionConstants.OP_LDC, PARAMETER1_CLASS_INDEX),
+        new SimpleInstruction(InstructionConstants.OP_AASTORE),
+        new ConstantInstruction(InstructionConstants.OP_INVOKEVIRTUAL, 0),
+    };
+
+    // AtomicIntegerFieldUpdater.newUpdater(..., "someField").
+    // AtomicLongFieldUpdater.newUpdater(..., "someField").
+    // AtomicReferenceFieldUpdater.newUpdater(..., "someField").
+    private final Instruction[] NEW_UPDATER_INSTRUCTIONS = new Instruction[]
+    {
+        new ConstantInstruction(InstructionConstants.OP_LDC, MEMBER_NAME_INDEX),
+        new ConstantInstruction(InstructionConstants.OP_INVOKESTATIC, 0),
+    };
+
+
+    private final ClassPool      programClassPool;
+    private final ClassPool      libraryClassPool;
+    private final WarningPrinter notePrinter;
+    private final StringMatcher  noteFieldExceptionMatcher;
+    private final StringMatcher  noteMethodExceptionMatcher;
+
+
+    private final InstructionSequenceMatcher constantGetFieldMatcher =
+        new InstructionSequenceMatcher(GET_FIELD_CONSTANTS,
+                                       CONSTANT_GET_FIELD_INSTRUCTIONS);
+
+    private final InstructionSequenceMatcher constantGetDeclaredFieldMatcher =
+        new InstructionSequenceMatcher(GET_DECLARED_FIELD_CONSTANTS,
+                                       CONSTANT_GET_FIELD_INSTRUCTIONS);
+
+//    private final InstructionSequenceMatcher constantGetConstructorMatcher0 =
+//        new InstructionSequenceMatcher(GET_CONSTRUCTOR_CONSTANTS,
+//                                       CONSTANT_GET_CONSTRUCTOR_INSTRUCTIONS0);
+//
+//    private final InstructionSequenceMatcher constantGetDeclaredConstructorMatcher0 =
+//        new InstructionSequenceMatcher(GET_DECLARED_CONSTRUCTOR_CONSTANTS,
+//                                       CONSTANT_GET_CONSTRUCTOR_INSTRUCTIONS0);
+//
+//    private final InstructionSequenceMatcher constantGetConstructorMatcher1 =
+//        new InstructionSequenceMatcher(GET_CONSTRUCTOR_CONSTANTS,
+//                                       CONSTANT_GET_CONSTRUCTOR_INSTRUCTIONS1);
+//
+//    private final InstructionSequenceMatcher constantGetDeclaredConstructorMatcher1 =
+//        new InstructionSequenceMatcher(GET_DECLARED_CONSTRUCTOR_CONSTANTS,
+//                                       CONSTANT_GET_CONSTRUCTOR_INSTRUCTIONS1);
+//
+//    private final InstructionSequenceMatcher constantGetConstructorMatcher2 =
+//        new InstructionSequenceMatcher(GET_CONSTRUCTOR_CONSTANTS,
+//                                       CONSTANT_GET_CONSTRUCTOR_INSTRUCTIONS2);
+//
+//    private final InstructionSequenceMatcher constantGetDeclaredConstructorMatcher2 =
+//        new InstructionSequenceMatcher(GET_DECLARED_CONSTRUCTOR_CONSTANTS,
+//                                       CONSTANT_GET_CONSTRUCTOR_INSTRUCTIONS2);
+
+    private final InstructionSequenceMatcher constantGetMethodMatcher0 =
+        new InstructionSequenceMatcher(GET_METHOD_CONSTANTS,
+                                       CONSTANT_GET_METHOD_INSTRUCTIONS0);
+
+    private final InstructionSequenceMatcher constantGetDeclaredMethodMatcher0 =
+        new InstructionSequenceMatcher(GET_DECLARED_METHOD_CONSTANTS,
+                                       CONSTANT_GET_METHOD_INSTRUCTIONS0);
+
+    private final InstructionSequenceMatcher constantGetMethodMatcher1 =
+        new InstructionSequenceMatcher(GET_METHOD_CONSTANTS,
+                                       CONSTANT_GET_METHOD_INSTRUCTIONS1);
+
+    private final InstructionSequenceMatcher constantGetDeclaredMethodMatcher1 =
+        new InstructionSequenceMatcher(GET_DECLARED_METHOD_CONSTANTS,
+                                       CONSTANT_GET_METHOD_INSTRUCTIONS1);
+
+    private final InstructionSequenceMatcher constantGetMethodMatcher2 =
+        new InstructionSequenceMatcher(GET_METHOD_CONSTANTS,
+                                       CONSTANT_GET_METHOD_INSTRUCTIONS2);
+
+    private final InstructionSequenceMatcher constantGetDeclaredMethodMatcher2 =
+        new InstructionSequenceMatcher(GET_DECLARED_METHOD_CONSTANTS,
+                                       CONSTANT_GET_METHOD_INSTRUCTIONS2);
+
+    private final InstructionSequenceMatcher constantGetIntegerUpdaterMatcher =
+        new InstructionSequenceMatcher(NEW_INTEGER_UPDATER_CONSTANTS,
+                                       CONSTANT_NEW_PRIMITIVE_UPDATER_INSTRUCTIONS);
+
+    private final InstructionSequenceMatcher constantGetLongUpdaterMatcher =
+        new InstructionSequenceMatcher(NEW_LONG_UPDATER_CONSTANTS,
+                                       CONSTANT_NEW_PRIMITIVE_UPDATER_INSTRUCTIONS);
+
+    private final InstructionSequenceMatcher constantGetReferenceUpdaterMatcher =
+        new InstructionSequenceMatcher(NEW_REFERENCE_UPDATER_CONSTANTS,
+                                       CONSTANT_NEW_REFERENCE_UPDATER_INSTRUCTIONS);
+
+    private final InstructionSequenceMatcher getFieldMatcher =
+        new InstructionSequenceMatcher(GET_FIELD_CONSTANTS,
+                                       GET_FIELD_INSTRUCTIONS);
+
+    private final InstructionSequenceMatcher getDeclaredFieldMatcher =
+        new InstructionSequenceMatcher(GET_DECLARED_FIELD_CONSTANTS,
+                                       GET_FIELD_INSTRUCTIONS);
+
+//    private final InstructionSequenceMatcher getConstructorMatcher0 =
+//        new InstructionSequenceMatcher(GET_CONSTRUCTOR_CONSTANTS,
+//                                       GET_CONSTRUCTOR_INSTRUCTIONS0);
+//
+//    private final InstructionSequenceMatcher getDeclaredConstructorMatcher0 =
+//        new InstructionSequenceMatcher(GET_DECLARED_CONSTRUCTOR_CONSTANTS,
+//                                       GET_CONSTRUCTOR_INSTRUCTIONS0);
+
+    private final InstructionSequenceMatcher getConstructorMatcher1 =
+        new InstructionSequenceMatcher(GET_CONSTRUCTOR_CONSTANTS,
+                                       GET_CONSTRUCTOR_INSTRUCTIONS1);
+
+    private final InstructionSequenceMatcher getDeclaredConstructorMatcher1 =
+        new InstructionSequenceMatcher(GET_DECLARED_CONSTRUCTOR_CONSTANTS,
+                                       GET_CONSTRUCTOR_INSTRUCTIONS1);
+
+    private final InstructionSequenceMatcher getConstructorMatcher2 =
+        new InstructionSequenceMatcher(GET_CONSTRUCTOR_CONSTANTS,
+                                       GET_CONSTRUCTOR_INSTRUCTIONS2);
+
+    private final InstructionSequenceMatcher getDeclaredConstructorMatcher2 =
+        new InstructionSequenceMatcher(GET_DECLARED_CONSTRUCTOR_CONSTANTS,
+                                       GET_CONSTRUCTOR_INSTRUCTIONS2);
+
+    private final InstructionSequenceMatcher getMethodMatcher0 =
+        new InstructionSequenceMatcher(GET_METHOD_CONSTANTS,
+                                       GET_METHOD_INSTRUCTIONS0);
+
+    private final InstructionSequenceMatcher getDeclaredMethodMatcher0 =
+        new InstructionSequenceMatcher(GET_DECLARED_METHOD_CONSTANTS,
+                                       GET_METHOD_INSTRUCTIONS0);
+
+    private final InstructionSequenceMatcher getMethodMatcher1 =
+        new InstructionSequenceMatcher(GET_METHOD_CONSTANTS,
+                                       GET_METHOD_INSTRUCTIONS1);
+
+    private final InstructionSequenceMatcher getDeclaredMethodMatcher1 =
+        new InstructionSequenceMatcher(GET_DECLARED_METHOD_CONSTANTS,
+                                       GET_METHOD_INSTRUCTIONS1);
+
+    private final InstructionSequenceMatcher getMethodMatcher2 =
+        new InstructionSequenceMatcher(GET_METHOD_CONSTANTS,
+                                       GET_METHOD_INSTRUCTIONS2);
+
+    private final InstructionSequenceMatcher getDeclaredMethodMatcher2 =
+        new InstructionSequenceMatcher(GET_DECLARED_METHOD_CONSTANTS,
+                                       GET_METHOD_INSTRUCTIONS2);
+
+    private final InstructionSequenceMatcher getIntegerUpdaterMatcher =
+        new InstructionSequenceMatcher(NEW_INTEGER_UPDATER_CONSTANTS,
+                                       NEW_UPDATER_INSTRUCTIONS);
+
+    private final InstructionSequenceMatcher getLongUpdaterMatcher =
+        new InstructionSequenceMatcher(NEW_LONG_UPDATER_CONSTANTS,
+                                       NEW_UPDATER_INSTRUCTIONS);
+
+    private final InstructionSequenceMatcher getReferenceUpdaterMatcher =
+        new InstructionSequenceMatcher(NEW_REFERENCE_UPDATER_CONSTANTS,
+                                       NEW_UPDATER_INSTRUCTIONS);
+
+    private final MemberFinder memberFinder = new MemberFinder();
+
+
+    // Fields acting as parameters for the visitors.
+    private Clazz   referencedClass;
+    private String descriptor;
+    private boolean isDeclared;
+    private boolean isField;
+
+
+
+    /**
+     * Creates a new DynamicMemberReferenceInitializer.
+     */
+    public DynamicMemberReferenceInitializer(ClassPool      programClassPool,
+                                             ClassPool      libraryClassPool,
+                                             WarningPrinter notePrinter,
+                                             StringMatcher  noteFieldExceptionMatcher,
+                                             StringMatcher  noteMethodExceptionMatcher)
+    {
+        this.programClassPool           = programClassPool;
+        this.libraryClassPool           = libraryClassPool;
+        this.notePrinter                = notePrinter;
+        this.noteFieldExceptionMatcher  = noteFieldExceptionMatcher;
+        this.noteMethodExceptionMatcher = noteMethodExceptionMatcher;
+    }
+
+
+    // Implementations for InstructionVisitor.
+
+    public void visitAnyInstruction(Clazz clazz, Method method, CodeAttribute codeAttribute, int offset, Instruction instruction)
+    {
+        // Try to match the SomeClass.class.getField("someField") construct.
+        matchGetMember(clazz, method, codeAttribute, offset, instruction,
+                       constantGetFieldMatcher,
+                       getFieldMatcher, true, false, null, null);
+
+        // Try to match the SomeClass.class.getDeclaredField("someField") construct.
+        matchGetMember(clazz, method, codeAttribute, offset, instruction,
+                       constantGetDeclaredFieldMatcher,
+                       getDeclaredFieldMatcher, true, true, null, null);
+
+//        // Try to match the SomeClass.class.getConstructor(new Class[]
+//        // {}) construct.
+//        matchGetMember(clazz, method, codeAttribute, offset, instruction,
+//                       cnull, //onstantGetConstructorMatcher0,
+//                       getConstructorMatcher0, false, false,
+//                       ClassConstants.INTERNAL_METHOD_NAME_INIT, null);
+//
+//        // Try to match the SomeClass.class.getDeclaredConstructor(new Class[]
+//        // {}) construct.
+//        matchGetMember(clazz, method, codeAttribute, offset, instruction,
+//                       null, //constantGetDeclaredConstructorMatcher0,
+//                       getDeclaredConstructorMatcher0, false, true,
+//                       ClassConstants.INTERNAL_METHOD_NAME_INIT, null);
+
+        // Try to match the SomeClass.class.getConstructor(new Class[]
+        // { A.class }) construct.
+        matchGetMember(clazz, method, codeAttribute, offset, instruction,
+                       null, //constantGetConstructorMatcher1,
+                       getConstructorMatcher1, false, false,
+                       ClassConstants.INTERNAL_METHOD_NAME_INIT, null);
+
+        // Try to match the SomeClass.class.getDeclaredConstructor(new Class[]
+        // { A.class }) construct.
+        matchGetMember(clazz, method, codeAttribute, offset, instruction,
+                       null, //constantGetDeclaredConstructorMatcher1,
+                       getDeclaredConstructorMatcher1, false, true,
+                       ClassConstants.INTERNAL_METHOD_NAME_INIT, null);
+
+        // Try to match the SomeClass.class.getConstructor(new Class[]
+        // { A.class, B.class }) construct.
+        matchGetMember(clazz, method, codeAttribute, offset, instruction,
+                       null, //constantGetConstructorMatcher2,
+                       getConstructorMatcher2, false, false,
+                       ClassConstants.INTERNAL_METHOD_NAME_INIT, null);
+
+        // Try to match the SomeClass.class.getDeclaredConstructor(new Class[]
+        // { A.class, B.class }) construct.
+        matchGetMember(clazz, method, codeAttribute, offset, instruction,
+                       null, //constantGetDeclaredConstructorMatcher2,
+                       getDeclaredConstructorMatcher2, false, true,
+                       ClassConstants.INTERNAL_METHOD_NAME_INIT, null);
+
+        // Try to match the SomeClass.class.getMethod("someMethod", new Class[]
+        // {}) construct.
+        matchGetMember(clazz, method, codeAttribute, offset, instruction,
+                       constantGetMethodMatcher0,
+                       getMethodMatcher0, false, false, null, null);
+
+        // Try to match the SomeClass.class.getDeclaredMethod("someMethod",
+        // new Class[] {}) construct.
+        matchGetMember(clazz, method, codeAttribute, offset, instruction,
+                       constantGetDeclaredMethodMatcher0,
+                       getDeclaredMethodMatcher0, false, true, null, null);
+
+        // Try to match the SomeClass.class.getMethod("someMethod", new Class[]
+        // { A.class }) construct.
+        matchGetMember(clazz, method, codeAttribute, offset, instruction,
+                       constantGetMethodMatcher1,
+                       getMethodMatcher1, false, false, null, null);
+
+        // Try to match the SomeClass.class.getDeclaredMethod("someMethod",
+        //  new Class[] { A.class }) construct.
+        matchGetMember(clazz, method, codeAttribute, offset, instruction,
+                       constantGetDeclaredMethodMatcher1,
+                       getDeclaredMethodMatcher1, false, true, null, null);
+
+        // Try to match the SomeClass.class.getMethod("someMethod", new Class[]
+        // { A.class, B.class }) construct.
+        matchGetMember(clazz, method, codeAttribute, offset, instruction,
+                       constantGetMethodMatcher2,
+                       getMethodMatcher2, false, false, null, null);
+
+        // Try to match the SomeClass.class.getDeclaredMethod("someMethod",
+        // new Class[] { A.class, B.class }) construct.
+        matchGetMember(clazz, method, codeAttribute, offset, instruction,
+                       constantGetDeclaredMethodMatcher2,
+                       getDeclaredMethodMatcher2, false, true, null, null);
+
+        // Try to match the AtomicIntegerFieldUpdater.newUpdater(
+        // SomeClass.class, "someField") construct.
+        matchGetMember(clazz, method, codeAttribute, offset, instruction,
+                       constantGetIntegerUpdaterMatcher,
+                       getIntegerUpdaterMatcher, true, false, null,
+                       "" + ClassConstants.INTERNAL_TYPE_INT);
+
+        // Try to match the AtomicLongFieldUpdater.newUpdater(
+        // SomeClass.class, "someField") construct.
+        matchGetMember(clazz, method, codeAttribute, offset, instruction,
+                       constantGetLongUpdaterMatcher,
+                       getLongUpdaterMatcher, true, false, null,
+                       "" + ClassConstants.INTERNAL_TYPE_LONG);
+
+        // Try to match the AtomicReferenceFieldUpdater.newUpdater(
+        // SomeClass.class, SomeClass.class, "someField") construct.
+        matchGetMember(clazz, method, codeAttribute, offset, instruction,
+                       constantGetReferenceUpdaterMatcher,
+                       getReferenceUpdaterMatcher, true, false, null, null);
+    }
+
+
+    /**
+     * Tries to match the next instruction and fills out the string constant
+     * or prints out a note accordingly.
+     */
+    private void matchGetMember(Clazz                      clazz,
+                                Method                     method,
+                                CodeAttribute              codeAttribute,
+                                int                        offset,
+                                Instruction                instruction,
+                                InstructionSequenceMatcher constantSequenceMatcher,
+                                InstructionSequenceMatcher variableSequenceMatcher,
+                                boolean                    isField,
+                                boolean                    isDeclared,
+                                String                     defaultName,
+                                String                     defaultDescriptor)
+    {
+        if (constantSequenceMatcher != null)
+        {
+            // Try to match the next instruction in the constant sequence.
+            instruction.accept(clazz, method, codeAttribute, offset,
+                               constantSequenceMatcher);
+
+            // Did we find a match to fill out the string constant?
+            if (constantSequenceMatcher.isMatching())
+            {
+                initializeStringReference(clazz,
+                                          constantSequenceMatcher,
+                                          isField,
+                                          isDeclared,
+                                          defaultDescriptor);
+
+                // Don't look for the dynamic construct.
+                variableSequenceMatcher.reset();
+            }
+        }
+
+        // Try to match the next instruction in the variable sequence.
+        instruction.accept(clazz, method, codeAttribute, offset,
+                           variableSequenceMatcher);
+
+        // Did we find a match to print out a note?
+        if (variableSequenceMatcher.isMatching())
+        {
+            // Print out a note about the dynamic invocation.
+            printDynamicInvocationNote(clazz,
+                                       variableSequenceMatcher,
+                                       isField,
+                                       isDeclared,
+                                       defaultName,
+                                       defaultDescriptor);
+        }
+    }
+
+
+    /**
+     * Initializes the reference of the matched string constant to the
+     * referenced class member and its class.
+     */
+    private void initializeStringReference(Clazz                      clazz,
+                                           InstructionSequenceMatcher constantSequenceMatcher,
+                                           boolean                    isField,
+                                           boolean                    isDeclared,
+                                           String                     defaultDescriptor)
+    {
+        this.isField    = isField;
+        this.isDeclared = isDeclared;
+
+        // Get the member's class.
+        int classIndex = constantSequenceMatcher.matchedConstantIndex(CLASS_INDEX);
+        clazz.constantPoolEntryAccept(classIndex, this);
+
+        // Get the field's reference type, if applicable.
+        int typeClassIndex = constantSequenceMatcher.matchedConstantIndex(TYPE_CLASS_INDEX);
+        descriptor = typeClassIndex <= 0 ? defaultDescriptor :
+            ClassUtil.internalTypeFromClassName(clazz.getClassName(typeClassIndex));
+
+        // Fill out the matched string constant.
+        int memberNameIndex = constantSequenceMatcher.matchedConstantIndex(MEMBER_NAME_INDEX);
+        clazz.constantPoolEntryAccept(memberNameIndex, this);
+    }
+
+
+    // Implementations for ConstantVisitor.
+
+    /**
+     * Remembers the referenced class.
+     */
+    public void visitClassConstant(Clazz clazz, ClassConstant classConstant)
+    {
+        if (DEBUG)
+        {
+            System.out.println("DynamicMemberReferenceInitializer: ["+clazz.getName()+"] matched class ["+classConstant.getName(clazz)+"]");
+        }
+
+        // Remember the referenced class.
+        referencedClass = ClassUtil.isInternalArrayType(classConstant.getName(clazz)) ?
+            null :
+            classConstant.referencedClass;
+    }
+
+
+    /**
+     * Fills out the link to the referenced class member.
+     */
+    public void visitStringConstant(Clazz clazz, StringConstant stringConstant)
+    {
+        if (referencedClass != null)
+        {
+            String name = stringConstant.getString(clazz);
+
+            if (DEBUG)
+            {
+                System.out.println("DynamicMemberReferenceInitializer: ["+clazz.getName()+"] matched string ["+name+"]");
+            }
+
+            // See if we can find the referenced class member locally, or
+            // somewhere in the hierarchy.
+            Member referencedMember = isDeclared ? isField ?
+                (Member)referencedClass.findField(name, descriptor) :
+                (Member)referencedClass.findMethod(name, descriptor) :
+                (Member)memberFinder.findMember(clazz,
+                                                referencedClass,
+                                                name,
+                                                descriptor,
+                                                isField);
+            if (referencedMember != null)
+            {
+                stringConstant.referencedMember = referencedMember;
+                stringConstant.referencedClass  = isDeclared ?
+                    referencedClass :
+                    memberFinder.correspondingClass();
+            }
+        }
+    }
+
+
+    // Small utility methods.
+
+    /**
+     * Prints out a note on the matched dynamic invocation, if necessary.
+     */
+    private void printDynamicInvocationNote(Clazz                      clazz,
+                                            InstructionSequenceMatcher noteSequenceMatcher,
+                                            boolean                    isField,
+                                            boolean                    isDeclared,
+                                            String                     defaultName,
+                                            String                     defaultDescriptor)
+    {
+        // Print out a note about the dynamic invocation.
+        if (notePrinter != null &&
+            notePrinter.accepts(clazz.getName()))
+        {
+            // Is the class member name in the list of exceptions?
+            StringMatcher noteExceptionMatcher = isField ?
+                noteFieldExceptionMatcher :
+                noteMethodExceptionMatcher;
+
+            int memberNameIndex = noteSequenceMatcher.matchedConstantIndex(MEMBER_NAME_INDEX);
+            String memberName = memberNameIndex <= 0 ? defaultName :
+                clazz.getStringString(memberNameIndex);
+
+            if (noteExceptionMatcher == null ||
+                !noteExceptionMatcher.matches(memberName))
+            {
+                // Compose the external member name and partial descriptor.
+                String externalMemberDescription = memberName;
+
+                if (!isField)
+                {
+                    externalMemberDescription += '(';
+                    for (int count = 0; count < 2; count++)
+                    {
+                        int memberArgumentIndex = noteSequenceMatcher.matchedConstantIndex(
+                            PARAMETER0_CLASS_INDEX + count);
+                        if (memberArgumentIndex > 0)
+                        {
+                            if (count > 0)
+                            {
+                                externalMemberDescription += ',';
+                            }
+                            String className = clazz.getClassName(memberArgumentIndex);
+                            externalMemberDescription += ClassUtil.isInternalArrayType(className) ?
+                                ClassUtil.externalType(className) :
+                                ClassUtil.externalClassName(className);
+                        }
+                    }
+                    externalMemberDescription += ')';
+                }
+
+                // Print out the actual note.
+                notePrinter.print(clazz.getName(),
+                                  "Note: " +
+                                  ClassUtil.externalClassName(clazz.getName()) +
+                                  " accesses a " +
+                                  (isDeclared ? "declared " : "") +
+                                  (isField    ? "field" :
+                                   memberName.equals(ClassConstants.INTERNAL_METHOD_NAME_INIT) ?
+                                                "constructor" : "method") +
+                                  " '" +
+                                  externalMemberDescription +
+                                  "' dynamically");
+
+                // Print out notes about potential candidates.
+                ClassVisitor classVisitor;
+
+                if (isField)
+                {
+                    classVisitor = defaultDescriptor == null ?
+                       new AllFieldVisitor(
+                       new MemberNameFilter(memberName, this)) :
+                       new AllFieldVisitor(
+                       new MemberNameFilter(memberName,
+                       new MemberDescriptorFilter(defaultDescriptor, this)));
+                }
+                else
+                {
+                    // Compose the partial method descriptor.
+                    String methodDescriptor = "(";
+                    for (int count = 0; count < 2; count++)
+                    {
+                        int memberArgumentIndex = noteSequenceMatcher.matchedConstantIndex(PARAMETER0_CLASS_INDEX + count);
+                        if (memberArgumentIndex > 0)
+                        {
+                            String className = clazz.getClassName(memberArgumentIndex);
+                            methodDescriptor += ClassUtil.isInternalArrayType(className) ?
+                                className :
+                                ClassUtil.internalTypeFromClassName(className);
+                        }
+                    }
+                    methodDescriptor += ")L***;";
+
+                    classVisitor =
+                        new AllMethodVisitor(
+                        new MemberNameFilter(memberName,
+                        new MemberDescriptorFilter(methodDescriptor, this)));
+                }
+
+                programClassPool.classesAcceptAlphabetically(classVisitor);
+                libraryClassPool.classesAcceptAlphabetically(classVisitor);
+            }
+        }
+    }
+
+
+    // Implementations for MemberVisitor.
+
+    public void visitProgramField(ProgramClass programClass, ProgramField programField)
+    {
+        if (notePrinter.accepts(programClass.getName()))
+        {
+            System.out.println("      Maybe this is program field '" +
+                               ClassUtil.externalFullClassDescription(0, programClass.getName()) +
+                               " { " +
+                               ClassUtil.externalFullFieldDescription(0, programField.getName(programClass), programField.getDescriptor(programClass)) +
+                               "; }'");
+        }
+    }
+
+
+    public void visitProgramMethod(ProgramClass programClass, ProgramMethod programMethod)
+    {
+        if (notePrinter.accepts(programClass.getName()))
+        {
+            System.out.println("      Maybe this is program method '" +
+                               ClassUtil.externalFullClassDescription(0, programClass.getName()) +
+                               " { " +
+                               ClassUtil.externalFullMethodDescription(programClass.getName(), 0, programMethod.getName(programClass), programMethod.getDescriptor(programClass)) +
+                               "; }'");
+        }
+    }
+
+
+    public void visitLibraryField(LibraryClass libraryClass, LibraryField libraryField)
+    {
+        if (notePrinter.accepts(libraryClass.getName()))
+        {
+            System.out.println("      Maybe this is library field '" +
+                               ClassUtil.externalFullClassDescription(0, libraryClass.getName()) +
+                               " { " +
+                               ClassUtil.externalFullFieldDescription(0, libraryField.getName(libraryClass), libraryField.getDescriptor(libraryClass)) +
+                               "; }'");
+        }
+    }
+
+
+    public void visitLibraryMethod(LibraryClass libraryClass, LibraryMethod libraryMethod)
+    {
+        if (notePrinter.accepts(libraryClass.getName()))
+        {
+            System.out.println("      Maybe this is library method '" +
+                               ClassUtil.externalFullClassDescription(0, libraryClass.getName()) +
+                               " { " +
+                               ClassUtil.externalFullMethodDescription(libraryClass.getName(), 0, libraryMethod.getName(libraryClass), libraryMethod.getDescriptor(libraryClass)) +
+                               "; }'");
+        }
+    }
+}