proguard.classfile.util

Class InstructionSequenceMatcher

java.lang.Object

proguard.classfile.util.SimplifiedVisitor

proguard.classfile.util.InstructionSequenceMatcher

All Implemented Interfaces:

ConstantVisitor, InstructionVisitor

public class InstructionSequenceMatcher
extends SimplifiedVisitor
implements InstructionVisitor, ConstantVisitor

This InstructionVisitor checks whether a given pattern instruction sequence occurs in the instructions that are visited. The arguments of the instruction sequence can be wildcards that are matched.

Author:

Eric Lafortune

Field Summary

Fields

Modifier and Type	Field and Description
static int	A
static int	B
static int	C
static int	D
static int	E
static int	F
static int	G
static int	H
static int	I
static int	J
static int	K
static int	L
static int	M
protected boolean	matchingConstant
static int	N
static int	O
static int	P
protected Constant	patternConstant
protected Constant[]	patternConstants
protected Instruction[]	patternInstructions
static int	Q
static int	R
static int	X
static int	Y
static int	Z

Constructor Summary

Constructors

Constructor and Description
InstructionSequenceMatcher(Constant[] patternConstants, Instruction[] patternInstructions) Creates a new InstructionSequenceMatcher.

Method Summary

Modifier and Type	Method and Description
protected boolean	finalMatch(Clazz clazz, Method method, CodeAttribute codeAttribute, int offset, Instruction instruction) Performs a final check on the candidate sequence to match, after the pattern has been successfully fully matched with the sequence.
int	instructionCount() Returns the number of instructions in the pattern sequence.
boolean	isMatching() Returns whether the complete pattern sequence has been matched.
int	matchedArgument(int argument) Returns the value of the specified matched argument (wildcard or not).
int[]	matchedArguments(int[] arguments) Returns the values of the specified matched arguments (wildcard or not).
int	matchedBranchOffset(int offset, int branchOffset) Returns the value of the specified matched branch offset (wildcard or not).
int	matchedConstantIndex(int constantIndex) Returns the index of the specified matched constant (wildcard or not).
int	matchedInstructionOffset(int index) Returns the matched instruction offset of the specified pattern instruction.
int[]	matchedJumpOffsets(int offset, int[] jumpOffsets) Returns the values of the specified matched jump offsets (wildcard or not).
protected boolean	matchingArguments(int[] arguments1, int[] arguments2)
protected boolean	matchingArguments(int argument1, int argument2)
protected boolean	matchingBranchOffsets(int offset, int branchOffset1, int branchOffset2)
protected boolean	matchingConstantIndices(Clazz clazz, int constantIndex1, int constantIndex2)
protected boolean	matchingJumpOffsets(int offset, int[] jumpOffsets1, int[] jumpOffsets2)
protected boolean	matchingOpcodes(Instruction instruction1, Instruction instruction2)
void	reset() Starts matching from the first instruction again next time.
void	visitAnyRefConstant(Clazz clazz, RefConstant refConstant) Visits any type of RefConstant of the given class.
void	visitBranchInstruction(Clazz clazz, Method method, CodeAttribute codeAttribute, int offset, BranchInstruction branchInstruction)
void	visitClassConstant(Clazz clazz, ClassConstant classConstant)
void	visitConstantInstruction(Clazz clazz, Method method, CodeAttribute codeAttribute, int offset, ConstantInstruction constantInstruction)
void	visitDoubleConstant(Clazz clazz, DoubleConstant doubleConstant)
void	visitDynamicConstant(Clazz clazz, DynamicConstant dynamicConstant)
void	visitFloatConstant(Clazz clazz, FloatConstant floatConstant)
void	visitIntegerConstant(Clazz clazz, IntegerConstant integerConstant)
void	visitInvokeDynamicConstant(Clazz clazz, InvokeDynamicConstant invokeDynamicConstant)
void	visitLongConstant(Clazz clazz, LongConstant longConstant)
void	visitLookUpSwitchInstruction(Clazz clazz, Method method, CodeAttribute codeAttribute, int offset, LookUpSwitchInstruction lookUpSwitchInstruction)
void	visitMethodHandleConstant(Clazz clazz, MethodHandleConstant methodHandleConstant)
void	visitMethodTypeConstant(Clazz clazz, MethodTypeConstant methodTypeConstant)
void	visitNameAndTypeConstant(Clazz clazz, NameAndTypeConstant nameAndTypeConstant)
void	visitPrimitiveArrayConstant(Clazz clazz, PrimitiveArrayConstant primitiveArrayConstant)
void	visitSimpleInstruction(Clazz clazz, Method method, CodeAttribute codeAttribute, int offset, SimpleInstruction simpleInstruction)
void	visitStringConstant(Clazz clazz, StringConstant stringConstant)
void	visitTableSwitchInstruction(Clazz clazz, Method method, CodeAttribute codeAttribute, int offset, TableSwitchInstruction tableSwitchInstruction)
void	visitUtf8Constant(Clazz clazz, Utf8Constant utf8Constant)
void	visitVariableInstruction(Clazz clazz, Method method, CodeAttribute codeAttribute, int offset, VariableInstruction variableInstruction)
boolean	wasConstant(int argument) Returns whether the specified wildcard argument was a constant from the constant pool in the most recent match.

Methods inherited from class proguard.classfile.util.SimplifiedVisitor

visitAnnotation, visitAnnotation, visitAnnotation, visitAnnotation, visitAnnotation, visitAnnotation, visitAnnotationDefaultAttribute, visitAnnotationElementValue, visitAnyAnnotationsAttribute, visitAnyAttribute, visitAnyClass, visitAnyConstant, visitAnyElementValue, visitAnyInstruction, visitAnyMember, visitAnyMethodrefConstant, visitAnyParameterAnnotationsAttribute, visitAnyPrimitiveArrayConstant, visitAnyPrimitiveArrayConstantElement, visitAnyStackMapFrame, visitAnySwitchInstruction, visitAnyTargetInfo, visitAnyTypeAnnotationsAttribute, visitAnyVerificationType, visitArrayElementValue, visitBooleanArrayConstant, visitBooleanArrayConstantElement, visitBootstrapMethodsAttribute, visitByteArrayConstant, visitByteArrayConstantElement, visitCatchTargetInfo, visitCharArrayConstant, visitCharArrayConstantElement, visitClassElementValue, visitCodeAttribute, visitConstantElementValue, visitConstantValueAttribute, visitDeprecatedAttribute, visitDeprecatedAttribute, visitDeprecatedAttribute, visitDeprecatedAttribute, visitDoubleArrayConstant, visitDoubleArrayConstantElement, visitDoubleType, visitEmptyTargetInfo, visitEmptyTargetInfo, visitEmptyTargetInfo, visitEnclosingMethodAttribute, visitEnumConstantElementValue, visitExceptionsAttribute, visitFieldrefConstant, visitFloatArrayConstant, visitFloatArrayConstantElement, visitFloatType, visitFormalParameterTargetInfo, visitFullFrame, visitInnerClassesAttribute, visitIntArrayConstant, visitIntArrayConstantElement, visitIntegerType, visitInterfaceMethodrefConstant, visitLessZeroFrame, visitLibraryClass, visitLibraryField, visitLibraryMember, visitLibraryMethod, visitLineNumberTableAttribute, visitLocalVariableTableAttribute, visitLocalVariableTargetInfo, visitLocalVariableTypeTableAttribute, visitLongArrayConstant, visitLongArrayConstantElement, visitLongType, visitMethodParametersAttribute, visitMethodrefConstant, visitModuleAttribute, visitModuleConstant, visitModuleMainClassAttribute, visitModulePackagesAttribute, visitMoreZeroFrame, visitNestHostAttribute, visitNestMembersAttribute, visitNullType, visitObjectType, visitOffsetTargetInfo, visitPackageConstant, visitProgramClass, visitProgramField, visitProgramMember, visitProgramMethod, visitRuntimeInvisibleAnnotationsAttribute, visitRuntimeInvisibleAnnotationsAttribute, visitRuntimeInvisibleAnnotationsAttribute, visitRuntimeInvisibleAnnotationsAttribute, visitRuntimeInvisibleParameterAnnotationsAttribute, visitRuntimeInvisibleTypeAnnotationsAttribute, visitRuntimeInvisibleTypeAnnotationsAttribute, visitRuntimeInvisibleTypeAnnotationsAttribute, visitRuntimeInvisibleTypeAnnotationsAttribute, visitRuntimeInvisibleTypeAnnotationsAttribute, visitRuntimeVisibleAnnotationsAttribute, visitRuntimeVisibleAnnotationsAttribute, visitRuntimeVisibleAnnotationsAttribute, visitRuntimeVisibleAnnotationsAttribute, visitRuntimeVisibleParameterAnnotationsAttribute, visitRuntimeVisibleTypeAnnotationsAttribute, visitRuntimeVisibleTypeAnnotationsAttribute, visitRuntimeVisibleTypeAnnotationsAttribute, visitRuntimeVisibleTypeAnnotationsAttribute, visitRuntimeVisibleTypeAnnotationsAttribute, visitSameOneFrame, visitSameZeroFrame, visitShortArrayConstant, visitShortArrayConstantElement, visitSignatureAttribute, visitSignatureAttribute, visitSignatureAttribute, visitSignatureAttribute, visitSourceDirAttribute, visitSourceFileAttribute, visitStackDoubleType, visitStackFloatType, visitStackIntegerType, visitStackLongType, visitStackMapAttribute, visitStackMapTableAttribute, visitStackNullType, visitStackObjectType, visitStackTopType, visitStackUninitializedThisType, visitStackUninitializedType, visitSuperTypeTargetInfo, visitSyntheticAttribute, visitSyntheticAttribute, visitSyntheticAttribute, visitSyntheticAttribute, visitThrowsTargetInfo, visitTopType, visitTypeAnnotation, visitTypeAnnotation, visitTypeAnnotation, visitTypeAnnotation, visitTypeAnnotation, visitTypeAnnotation, visitTypeArgumentTargetInfo, visitTypeParameterBoundTargetInfo, visitTypeParameterBoundTargetInfo, visitTypeParameterBoundTargetInfo, visitTypeParameterBoundTargetInfo, visitTypeParameterTargetInfo, visitTypeParameterTargetInfo, visitTypePathInfo, visitTypePathInfo, visitTypePathInfo, visitTypePathInfo, visitTypePathInfo, visitUninitializedThisType, visitUninitializedType, visitUnknownAttribute, visitVariablesDoubleType, visitVariablesFloatType, visitVariablesIntegerType, visitVariablesLongType, visitVariablesNullType, visitVariablesObjectType, visitVariablesTopType, visitVariablesUninitializedThisType, visitVariablesUninitializedType

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface proguard.classfile.constant.visitor.ConstantVisitor

visitFieldrefConstant, visitInterfaceMethodrefConstant, visitMethodrefConstant, visitModuleConstant, visitPackageConstant

Field Detail

X

public static final int X

See Also:

Constant Field Values

Y

public static final int Y

See Also:

Constant Field Values

Z

public static final int Z

See Also:

Constant Field Values

A

public static final int A

See Also:

Constant Field Values

B

public static final int B

See Also:

Constant Field Values

C

public static final int C

See Also:

Constant Field Values

D

public static final int D

See Also:

Constant Field Values

E

public static final int E

See Also:

Constant Field Values

F

public static final int F

See Also:

Constant Field Values

G

public static final int G

See Also:

Constant Field Values

H

public static final int H

See Also:

Constant Field Values

I

public static final int I

See Also:

Constant Field Values

J

public static final int J

See Also:

Constant Field Values

K

public static final int K

See Also:

Constant Field Values

L

public static final int L

See Also:

Constant Field Values

M

public static final int M

See Also:

Constant Field Values

N

public static final int N

See Also:

Constant Field Values

O

public static final int O

See Also:

Constant Field Values

P

public static final int P

See Also:

Constant Field Values

Q

public static final int Q

See Also:

Constant Field Values

R

public static final int R

See Also:

Constant Field Values

patternConstants

protected final Constant[] patternConstants

patternInstructions

protected final Instruction[] patternInstructions

patternConstant

protected Constant patternConstant

matchingConstant

protected boolean matchingConstant

Constructor Detail

InstructionSequenceMatcher

public InstructionSequenceMatcher(Constant[] patternConstants,
                                  Instruction[] patternInstructions)

Creates a new InstructionSequenceMatcher.

Parameters:

patternConstants - any constants referenced by the pattern instruction.

patternInstructions - the pattern instruction sequence.

Method Detail

reset

public void reset()

Starts matching from the first instruction again next time.

isMatching

public boolean isMatching()

Returns whether the complete pattern sequence has been matched.

instructionCount

public int instructionCount()

Returns the number of instructions in the pattern sequence.

matchedInstructionOffset

public int matchedInstructionOffset(int index)

Returns the matched instruction offset of the specified pattern instruction.

wasConstant

public boolean wasConstant(int argument)

Returns whether the specified wildcard argument was a constant from the constant pool in the most recent match.

matchedArgument

public int matchedArgument(int argument)

Returns the value of the specified matched argument (wildcard or not).

matchedArguments

public int[] matchedArguments(int[] arguments)

Returns the values of the specified matched arguments (wildcard or not).

matchedConstantIndex

public int matchedConstantIndex(int constantIndex)

Returns the index of the specified matched constant (wildcard or not).

matchedBranchOffset

public int matchedBranchOffset(int offset,
                               int branchOffset)

Returns the value of the specified matched branch offset (wildcard or not).

matchedJumpOffsets

public int[] matchedJumpOffsets(int offset,
                                int[] jumpOffsets)

Returns the values of the specified matched jump offsets (wildcard or not).

visitSimpleInstruction

public void visitSimpleInstruction(Clazz clazz,
                                   Method method,
                                   CodeAttribute codeAttribute,
                                   int offset,
                                   SimpleInstruction simpleInstruction)

Specified by:

visitSimpleInstruction in interface InstructionVisitor

Overrides:

visitSimpleInstruction in class SimplifiedVisitor

visitVariableInstruction

public void visitVariableInstruction(Clazz clazz,
                                     Method method,
                                     CodeAttribute codeAttribute,
                                     int offset,
                                     VariableInstruction variableInstruction)

Specified by:

visitVariableInstruction in interface InstructionVisitor

Overrides:

visitVariableInstruction in class SimplifiedVisitor

visitConstantInstruction

public void visitConstantInstruction(Clazz clazz,
                                     Method method,
                                     CodeAttribute codeAttribute,
                                     int offset,
                                     ConstantInstruction constantInstruction)

Specified by:

visitConstantInstruction in interface InstructionVisitor

Overrides:

visitConstantInstruction in class SimplifiedVisitor

visitBranchInstruction

public void visitBranchInstruction(Clazz clazz,
                                   Method method,
                                   CodeAttribute codeAttribute,
                                   int offset,
                                   BranchInstruction branchInstruction)

Specified by:

visitBranchInstruction in interface InstructionVisitor

Overrides:

visitBranchInstruction in class SimplifiedVisitor

visitTableSwitchInstruction

public void visitTableSwitchInstruction(Clazz clazz,
                                        Method method,
                                        CodeAttribute codeAttribute,
                                        int offset,
                                        TableSwitchInstruction tableSwitchInstruction)

Specified by:

visitTableSwitchInstruction in interface InstructionVisitor

Overrides:

visitTableSwitchInstruction in class SimplifiedVisitor

visitLookUpSwitchInstruction

public void visitLookUpSwitchInstruction(Clazz clazz,
                                         Method method,
                                         CodeAttribute codeAttribute,
                                         int offset,
                                         LookUpSwitchInstruction lookUpSwitchInstruction)

Specified by:

visitLookUpSwitchInstruction in interface InstructionVisitor

Overrides:

visitLookUpSwitchInstruction in class SimplifiedVisitor

visitIntegerConstant

public void visitIntegerConstant(Clazz clazz,
                                 IntegerConstant integerConstant)

Specified by:

visitIntegerConstant in interface ConstantVisitor

Overrides:

visitIntegerConstant in class SimplifiedVisitor

visitLongConstant

public void visitLongConstant(Clazz clazz,
                              LongConstant longConstant)

Specified by:

visitLongConstant in interface ConstantVisitor

Overrides:

visitLongConstant in class SimplifiedVisitor

visitFloatConstant

public void visitFloatConstant(Clazz clazz,
                               FloatConstant floatConstant)

Specified by:

visitFloatConstant in interface ConstantVisitor

Overrides:

visitFloatConstant in class SimplifiedVisitor

visitDoubleConstant

public void visitDoubleConstant(Clazz clazz,
                                DoubleConstant doubleConstant)

Specified by:

visitDoubleConstant in interface ConstantVisitor

Overrides:

visitDoubleConstant in class SimplifiedVisitor

visitPrimitiveArrayConstant

public void visitPrimitiveArrayConstant(Clazz clazz,
                                        PrimitiveArrayConstant primitiveArrayConstant)

Specified by:

visitPrimitiveArrayConstant in interface ConstantVisitor

Overrides:

visitPrimitiveArrayConstant in class SimplifiedVisitor

visitStringConstant

public void visitStringConstant(Clazz clazz,
                                StringConstant stringConstant)

Specified by:

visitStringConstant in interface ConstantVisitor

Overrides:

visitStringConstant in class SimplifiedVisitor

visitUtf8Constant

public void visitUtf8Constant(Clazz clazz,
                              Utf8Constant utf8Constant)

Specified by:

visitUtf8Constant in interface ConstantVisitor

Overrides:

visitUtf8Constant in class SimplifiedVisitor

visitDynamicConstant

public void visitDynamicConstant(Clazz clazz,
                                 DynamicConstant dynamicConstant)

Specified by:

visitDynamicConstant in interface ConstantVisitor

Overrides:

visitDynamicConstant in class SimplifiedVisitor

visitInvokeDynamicConstant

public void visitInvokeDynamicConstant(Clazz clazz,
                                       InvokeDynamicConstant invokeDynamicConstant)

Specified by:

visitInvokeDynamicConstant in interface ConstantVisitor

Overrides:

visitInvokeDynamicConstant in class SimplifiedVisitor

visitMethodHandleConstant

public void visitMethodHandleConstant(Clazz clazz,
                                      MethodHandleConstant methodHandleConstant)

Specified by:

visitMethodHandleConstant in interface ConstantVisitor

Overrides:

visitMethodHandleConstant in class SimplifiedVisitor

visitAnyRefConstant

public void visitAnyRefConstant(Clazz clazz,
                                RefConstant refConstant)

Description copied from class: SimplifiedVisitor

Visits any type of RefConstant of the given class.

Overrides:

visitAnyRefConstant in class SimplifiedVisitor

visitClassConstant

public void visitClassConstant(Clazz clazz,
                               ClassConstant classConstant)

Specified by:

visitClassConstant in interface ConstantVisitor

Overrides:

visitClassConstant in class SimplifiedVisitor

visitMethodTypeConstant

public void visitMethodTypeConstant(Clazz clazz,
                                    MethodTypeConstant methodTypeConstant)

Specified by:

visitMethodTypeConstant in interface ConstantVisitor

Overrides:

visitMethodTypeConstant in class SimplifiedVisitor

visitNameAndTypeConstant

public void visitNameAndTypeConstant(Clazz clazz,
                                     NameAndTypeConstant nameAndTypeConstant)

Specified by:

visitNameAndTypeConstant in interface ConstantVisitor

Overrides:

visitNameAndTypeConstant in class SimplifiedVisitor

matchingOpcodes

protected boolean matchingOpcodes(Instruction instruction1,
                                  Instruction instruction2)

matchingArguments

protected boolean matchingArguments(int argument1,
                                    int argument2)

matchingArguments

protected boolean matchingArguments(int[] arguments1,
                                    int[] arguments2)

matchingConstantIndices

protected boolean matchingConstantIndices(Clazz clazz,
                                          int constantIndex1,
                                          int constantIndex2)

matchingBranchOffsets

protected boolean matchingBranchOffsets(int offset,
                                        int branchOffset1,
                                        int branchOffset2)

matchingJumpOffsets

protected boolean matchingJumpOffsets(int offset,
                                      int[] jumpOffsets1,
                                      int[] jumpOffsets2)

finalMatch

protected boolean finalMatch(Clazz clazz,
                             Method method,
                             CodeAttribute codeAttribute,
                             int offset,
                             Instruction instruction)

Performs a final check on the candidate sequence to match, after the pattern has been successfully fully matched with the sequence. Subclasses may override this method to implement additional constraints on the matched sequences.

Parameters:

clazz -

method -

codeAttribute -

offset -

instruction -

Returns: