proguard.analysis.cpa.jvm.domain.taint

Class JvmTaintTransferRelation.InstructionAbstractInterpreter

java.lang.Object

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

proguard.analysis.cpa.jvm.domain.taint.JvmTaintTransferRelation.InstructionAbstractInterpreter

All Implemented Interfaces:

InstructionVisitor

Enclosing class:

JvmTaintTransferRelation

protected class JvmTaintTransferRelation.InstructionAbstractInterpreter
extends JvmTransferRelation.InstructionAbstractInterpreter

Field Summary

Fields inherited from class proguard.analysis.cpa.jvm.transfer.JvmTransferRelation.InstructionAbstractInterpreter

abstractState, constantLookupVisitor

Constructor Summary

Constructors

Constructor and Description
InstructionAbstractInterpreter(JvmAbstractState<SetAbstractState<JvmTaintSource>> abstractState)

Method Summary

Modifier and Type	Method and Description
void	visitConstantInstruction(Clazz clazz, Method method, CodeAttribute codeAttribute, int offset, ConstantInstruction constantInstruction)
void	visitSimpleInstruction(Clazz clazz, Method method, CodeAttribute codeAttribute, int offset, SimpleInstruction simpleInstruction)

Methods inherited from class proguard.analysis.cpa.jvm.transfer.JvmTransferRelation.InstructionAbstractInterpreter

visitAnySwitchInstruction, visitBranchInstruction, visitVariableInstruction

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

Constructor Detail

InstructionAbstractInterpreter

public InstructionAbstractInterpreter(JvmAbstractState<SetAbstractState<JvmTaintSource>> abstractState)

Method Detail

visitSimpleInstruction

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

Specified by:

visitSimpleInstruction in interface InstructionVisitor

Overrides:

visitSimpleInstruction in class JvmTransferRelation.InstructionAbstractInterpreter

visitConstantInstruction

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

Specified by:

visitConstantInstruction in interface InstructionVisitor

Overrides:

visitConstantInstruction in class JvmTransferRelation.InstructionAbstractInterpreter