proguard.evaluation

Class InstructionUsageMarker

java.lang.Object

proguard.evaluation.InstructionUsageMarker

All Implemented Interfaces:

proguard.classfile.attribute.visitor.AttributeVisitor

public class InstructionUsageMarker
extends java.lang.Object
implements proguard.classfile.attribute.visitor.AttributeVisitor

This AttributeVisitor marks necessary instructions in the code attributes that it visits, based on partial evaluation.

See Also:

NoSideEffectClassMarker, SideEffectClassMarker, ReadWriteFieldMarker, NoSideEffectMethodMarker, NoExternalSideEffectMethodMarker, SideEffectMethodMarker, ParameterEscapeMarker

Constructor Summary

Constructors

Constructor and Description
InstructionUsageMarker() Creates a new InstructionUsageMarker.
InstructionUsageMarker(proguard.evaluation.PartialEvaluator partialEvaluator, boolean runPartialEvaluator) Creates a new InstructionUsageMarker.
InstructionUsageMarker(proguard.evaluation.PartialEvaluator partialEvaluator, boolean runPartialEvaluator, boolean ensureSafetyForVerifier) Creates a new InstructionUsageMarker.

Method Summary

Modifier and Type	Method and Description
proguard.evaluation.value.InstructionOffsetValue	branchTargets(int instructionOffset) Returns the instruction offsets to which the given instruction offset branches in the most recently analyzed code attribute.
proguard.evaluation.TracedStack	getStackAfter(int instructionOffset) Returns the stack after execution of the instruction at the given offset.
proguard.evaluation.TracedStack	getStackBefore(int instructionOffset) Returns the stack before execution of the instruction at the given offset.
boolean	isAnyStackEntryNecessaryAfter(proguard.evaluation.value.InstructionOffsetValue instructionOffsets, int stackIndex) Returns whether any of the stack entries after the given offsets are necessary.
boolean	isExtraPushPopInstructionNecessary(int instructionOffset) Returns whether an extra push/pop instruction is required at the given offset in the most recently analyzed code attribute.
boolean	isInstructionNecessary(int instructionOffset) Returns whether the specified instruction is necessary in the most recently analyzed code attribute.
boolean	isStackEntriesNecessaryAfter(int instructionOffset, int stackIndex1, int stackIndex2) Returns whether the stack specified entries after the given offset are necessary.
boolean	isStackEntriesPresentBefore(int instructionOffset, int stackIndex1, int stackIndex2) Returns whether the stack specified entries before the given offset are present.
boolean	isStackEntryNecessaryAfter(int instructionOffset, int stackIndex) Returns whether the specified stack entry after the given offset is necessary.
boolean	isStackEntryPresentBefore(int instructionOffset, int stackIndex) Returns whether the specified stack entry before the given offset is present.
boolean	isStackEntryUnwantedBefore(int instructionOffset, int stackIndex) Returns whether the specified stack entry before the given offset is unwanted, e.g.
boolean	isTraced(int instructionOffset) Returns whether the specified instruction was traced in the most recently analyzed code attribute.
proguard.classfile.instruction.visitor.InstructionVisitor	necessaryInstructionFilter(boolean necessary, proguard.classfile.instruction.visitor.InstructionVisitor instructionVisitor) Returns a filtering version of the given instruction visitor that only visits necessary or unnecessary instructions.
proguard.classfile.instruction.visitor.InstructionVisitor	necessaryInstructionFilter(proguard.classfile.instruction.visitor.InstructionVisitor instructionVisitor) Returns a filtering version of the given instruction visitor that only visits necessary instructions.
proguard.classfile.instruction.visitor.InstructionVisitor	tracedInstructionFilter(boolean traced, proguard.classfile.instruction.visitor.InstructionVisitor instructionVisitor) Returns a filtering version of the given instruction visitor that only visits traced or untraced instructions.
proguard.classfile.instruction.visitor.InstructionVisitor	tracedInstructionFilter(proguard.classfile.instruction.visitor.InstructionVisitor instructionVisitor) Returns a filtering version of the given instruction visitor that only visits traced instructions.
void	visitAnyAttribute(proguard.classfile.Clazz clazz, proguard.classfile.attribute.Attribute attribute)
void	visitCodeAttribute(proguard.classfile.Clazz clazz, proguard.classfile.Method method, proguard.classfile.attribute.CodeAttribute codeAttribute)
void	visitCodeAttribute0(proguard.classfile.Clazz clazz, proguard.classfile.Method method, proguard.classfile.attribute.CodeAttribute codeAttribute)

Methods inherited from class java.lang.Object

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

Methods inherited from interface proguard.classfile.attribute.visitor.AttributeVisitor

visitAnnotationDefaultAttribute, visitAnyAnnotationsAttribute, visitAnyParameterAnnotationsAttribute, visitAnyTypeAnnotationsAttribute, visitBootstrapMethodsAttribute, visitConstantValueAttribute, visitDeprecatedAttribute, visitDeprecatedAttribute, visitDeprecatedAttribute, visitDeprecatedAttribute, visitEnclosingMethodAttribute, visitExceptionsAttribute, visitInnerClassesAttribute, visitLineNumberTableAttribute, visitLocalVariableTableAttribute, visitLocalVariableTypeTableAttribute, visitMethodParametersAttribute, visitModuleAttribute, visitModuleMainClassAttribute, visitModulePackagesAttribute, visitNestHostAttribute, visitNestMembersAttribute, visitPermittedSubclassesAttribute, visitRecordAttribute, visitRuntimeInvisibleAnnotationsAttribute, visitRuntimeInvisibleAnnotationsAttribute, visitRuntimeInvisibleAnnotationsAttribute, visitRuntimeInvisibleAnnotationsAttribute, visitRuntimeInvisibleAnnotationsAttribute, visitRuntimeInvisibleParameterAnnotationsAttribute, visitRuntimeInvisibleTypeAnnotationsAttribute, visitRuntimeInvisibleTypeAnnotationsAttribute, visitRuntimeInvisibleTypeAnnotationsAttribute, visitRuntimeInvisibleTypeAnnotationsAttribute, visitRuntimeInvisibleTypeAnnotationsAttribute, visitRuntimeInvisibleTypeAnnotationsAttribute, visitRuntimeVisibleAnnotationsAttribute, visitRuntimeVisibleAnnotationsAttribute, visitRuntimeVisibleAnnotationsAttribute, visitRuntimeVisibleAnnotationsAttribute, visitRuntimeVisibleAnnotationsAttribute, visitRuntimeVisibleParameterAnnotationsAttribute, visitRuntimeVisibleTypeAnnotationsAttribute, visitRuntimeVisibleTypeAnnotationsAttribute, visitRuntimeVisibleTypeAnnotationsAttribute, visitRuntimeVisibleTypeAnnotationsAttribute, visitRuntimeVisibleTypeAnnotationsAttribute, visitRuntimeVisibleTypeAnnotationsAttribute, visitSignatureAttribute, visitSignatureAttribute, visitSignatureAttribute, visitSignatureAttribute, visitSignatureAttribute, visitSourceDebugExtensionAttribute, visitSourceDirAttribute, visitSourceFileAttribute, visitStackMapAttribute, visitStackMapTableAttribute, visitSyntheticAttribute, visitSyntheticAttribute, visitSyntheticAttribute, visitSyntheticAttribute, visitUnknownAttribute

Constructor Detail

InstructionUsageMarker

public InstructionUsageMarker()

Creates a new InstructionUsageMarker.

InstructionUsageMarker

public InstructionUsageMarker(proguard.evaluation.PartialEvaluator partialEvaluator,
                              boolean runPartialEvaluator)

Creates a new InstructionUsageMarker.

Parameters:

partialEvaluator - the evaluator to be used for the analysis.

runPartialEvaluator - specifies whether to run this evaluator on every code attribute that is visited.

InstructionUsageMarker

public InstructionUsageMarker(proguard.evaluation.PartialEvaluator partialEvaluator,
                              boolean runPartialEvaluator,
                              boolean ensureSafetyForVerifier)

Creates a new InstructionUsageMarker.

Parameters:

partialEvaluator - the evaluator to be used for the analysis.

runPartialEvaluator - specifies whether to run this evaluator on every code attribute that is visited.

ensureSafetyForVerifier - some instructions are not necessary for code correctness but are necessary for the java verifier. This flag determines whether these instructions are visited (default: true).

Method Detail

isTraced

public boolean isTraced(int instructionOffset)

Returns whether the specified instruction was traced in the most recently analyzed code attribute.

tracedInstructionFilter

public proguard.classfile.instruction.visitor.InstructionVisitor tracedInstructionFilter(proguard.classfile.instruction.visitor.InstructionVisitor instructionVisitor)

Returns a filtering version of the given instruction visitor that only visits traced instructions.

tracedInstructionFilter

public proguard.classfile.instruction.visitor.InstructionVisitor tracedInstructionFilter(boolean traced,
                                                                                         proguard.classfile.instruction.visitor.InstructionVisitor instructionVisitor)

Returns a filtering version of the given instruction visitor that only visits traced or untraced instructions.

isInstructionNecessary

public boolean isInstructionNecessary(int instructionOffset)

Returns whether the specified instruction is necessary in the most recently analyzed code attribute.

isExtraPushPopInstructionNecessary

public boolean isExtraPushPopInstructionNecessary(int instructionOffset)

Returns whether an extra push/pop instruction is required at the given offset in the most recently analyzed code attribute.

necessaryInstructionFilter

public proguard.classfile.instruction.visitor.InstructionVisitor necessaryInstructionFilter(proguard.classfile.instruction.visitor.InstructionVisitor instructionVisitor)

Returns a filtering version of the given instruction visitor that only visits necessary instructions.

necessaryInstructionFilter

public proguard.classfile.instruction.visitor.InstructionVisitor necessaryInstructionFilter(boolean necessary,
                                                                                            proguard.classfile.instruction.visitor.InstructionVisitor instructionVisitor)

Returns a filtering version of the given instruction visitor that only visits necessary or unnecessary instructions.

getStackBefore

public proguard.evaluation.TracedStack getStackBefore(int instructionOffset)

Returns the stack before execution of the instruction at the given offset.

getStackAfter

public proguard.evaluation.TracedStack getStackAfter(int instructionOffset)

Returns the stack after execution of the instruction at the given offset.

isStackEntryUnwantedBefore

public boolean isStackEntryUnwantedBefore(int instructionOffset,
                                          int stackIndex)

Returns whether the specified stack entry before the given offset is unwanted, e.g. because it was intended as a method parameter that has been removed.

isStackEntriesPresentBefore

public boolean isStackEntriesPresentBefore(int instructionOffset,
                                           int stackIndex1,
                                           int stackIndex2)

Returns whether the stack specified entries before the given offset are present.

isStackEntryPresentBefore

public boolean isStackEntryPresentBefore(int instructionOffset,
                                         int stackIndex)

Returns whether the specified stack entry before the given offset is present.

Parameters:

instructionOffset - the offset of the stack entry to be checked.

stackIndex - the index of the stack entry to be checked (counting from the bottom).

isStackEntriesNecessaryAfter

public boolean isStackEntriesNecessaryAfter(int instructionOffset,
                                            int stackIndex1,
                                            int stackIndex2)

Returns whether the stack specified entries after the given offset are necessary.

isAnyStackEntryNecessaryAfter

public boolean isAnyStackEntryNecessaryAfter(proguard.evaluation.value.InstructionOffsetValue instructionOffsets,
                                             int stackIndex)

Returns whether any of the stack entries after the given offsets are necessary.

Parameters:

instructionOffsets - the offsets of the stack entries to be checked.

stackIndex - the index of the stack entries to be checked (counting from the bottom).

isStackEntryNecessaryAfter

public boolean isStackEntryNecessaryAfter(int instructionOffset,
                                          int stackIndex)

Returns whether the specified stack entry after the given offset is necessary.

Parameters:

instructionOffset - the offset of the stack entry to be checked.

stackIndex - the index of the stack entry to be checked (counting from the bottom).

branchTargets

public proguard.evaluation.value.InstructionOffsetValue branchTargets(int instructionOffset)

Returns the instruction offsets to which the given instruction offset branches in the most recently analyzed code attribute.

visitAnyAttribute

public void visitAnyAttribute(proguard.classfile.Clazz clazz,
                              proguard.classfile.attribute.Attribute attribute)

Specified by:

visitAnyAttribute in interface proguard.classfile.attribute.visitor.AttributeVisitor

visitCodeAttribute

public void visitCodeAttribute(proguard.classfile.Clazz clazz,
                               proguard.classfile.Method method,
                               proguard.classfile.attribute.CodeAttribute codeAttribute)

Specified by:

visitCodeAttribute in interface proguard.classfile.attribute.visitor.AttributeVisitor

visitCodeAttribute0

public void visitCodeAttribute0(proguard.classfile.Clazz clazz,
                                proguard.classfile.Method method,
                                proguard.classfile.attribute.CodeAttribute codeAttribute)