proguard.analysis.cpa.jvm.transfer

Class JvmTransferRelation.InstructionAbstractInterpreter

java.lang.Object

proguard.analysis.cpa.jvm.transfer.JvmTransferRelation.InstructionAbstractInterpreter

All Implemented Interfaces:

InstructionVisitor

Direct Known Subclasses:

JvmTaintTransferRelation.InstructionAbstractInterpreter

Enclosing class:

JvmTransferRelation<StateT extends LatticeAbstractState<StateT>>

protected class JvmTransferRelation.InstructionAbstractInterpreter
extends java.lang.Object
implements InstructionVisitor

This InstructionVisitor performs generic operations (e.g., loads, stores) parametrized by the specific behavior of JvmTransferRelation for instruction applications, method invocations, and constructing literals.

Field Summary

Fields

Modifier and Type	Field and Description
protected JvmAbstractState<StateT>	abstractState
protected ConstantLookupVisitor	constantLookupVisitor

Constructor Summary

Constructors

Constructor and Description
InstructionAbstractInterpreter(JvmAbstractState<StateT> abstractState)

Method Summary

Modifier and Type	Method and Description
void	visitAnySwitchInstruction(Clazz clazz, Method method, CodeAttribute codeAttribute, int offset, SwitchInstruction switchInstruction) Visits any SwitchInstruction instance.
void	visitBranchInstruction(Clazz clazz, Method method, CodeAttribute codeAttribute, int offset, BranchInstruction branchInstruction)
void	visitConstantInstruction(Clazz clazz, Method method, CodeAttribute codeAttribute, int offset, ConstantInstruction constantInstruction)
void	visitSimpleInstruction(Clazz clazz, Method method, CodeAttribute codeAttribute, int offset, SimpleInstruction simpleInstruction)
void	visitVariableInstruction(Clazz clazz, Method method, CodeAttribute codeAttribute, int offset, VariableInstruction variableInstruction)

Methods inherited from class java.lang.Object

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

Methods inherited from interface proguard.classfile.instruction.visitor.InstructionVisitor

visitAnyInstruction, visitLookUpSwitchInstruction, visitTableSwitchInstruction

Field Detail

abstractState

protected final JvmAbstractState<StateT extends LatticeAbstractState<StateT>> abstractState

constantLookupVisitor

protected final ConstantLookupVisitor constantLookupVisitor

Constructor Detail

InstructionAbstractInterpreter

public InstructionAbstractInterpreter(JvmAbstractState<StateT> abstractState)

Method Detail

visitSimpleInstruction

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

Specified by:

visitSimpleInstruction in interface InstructionVisitor

visitVariableInstruction

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

Specified by:

visitVariableInstruction in interface InstructionVisitor

visitConstantInstruction

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

Specified by:

visitConstantInstruction in interface InstructionVisitor

visitBranchInstruction

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

Specified by:

visitBranchInstruction in interface InstructionVisitor

visitAnySwitchInstruction

public void visitAnySwitchInstruction(Clazz clazz,
                                      Method method,
                                      CodeAttribute codeAttribute,
                                      int offset,
                                      SwitchInstruction switchInstruction)

Description copied from interface: InstructionVisitor

Visits any SwitchInstruction instance. The more specific default implementations of this interface delegate to this method.

Specified by:

visitAnySwitchInstruction in interface InstructionVisitor