程序包 proguard.analysis.cpa.jvm.domain.value

类 JvmValueTransferRelation

java.lang.Object

proguard.analysis.cpa.jvm.transfer.JvmTransferRelation<ValueAbstractState>

proguard.analysis.cpa.jvm.domain.value.JvmValueTransferRelation

所有已实现的接口:

ProgramLocationDependentForwardTransferRelation<ValueAbstractState>, ProgramLocationDependentTransferRelation<ValueAbstractState>, TransferRelation<JvmAbstractState<ValueAbstractState>>

public class JvmValueTransferRelation
extends JvmTransferRelation<ValueAbstractState>

A JvmTransferRelation that tracks values.

嵌套类概要

从类继承的嵌套类/接口 proguard.analysis.cpa.jvm.transfer.JvmTransferRelation

JvmTransferRelation.InstructionAbstractInterpreter

字段概要

字段

修饰符和类型	字段	说明
ExecutingInvocationUnit	executingInvocationUnit

构造器概要

构造器

构造器	说明
JvmValueTransferRelation(ValueFactory valueFactory, ExecutingInvocationUnit executingInvocationUnit)

方法概要

修饰符和类型	方法	说明
ValueAbstractState	getAbstractByteConstant(byte b)	Returns an abstract representation of a byte constant b.
ValueAbstractState	getAbstractDefault()	Returns a default abstract state.
java.util.List<ValueAbstractState>	getAbstractDoubleConstant(double d)	Returns an abstract representation of a double constant d.
ValueAbstractState	getAbstractFloatConstant(float f)	Returns an abstract representation of a float constant f.
ValueAbstractState	getAbstractIntegerConstant(int i)	Returns an abstract representation of an integer constant i.
java.util.List<ValueAbstractState>	getAbstractLongConstant(long l)	Returns an abstract representation of a long constant l.
ValueAbstractState	getAbstractNull()	Returns an abstract representation of a null reference.
ValueAbstractState	getAbstractReferenceValue(java.lang.String internalType, Clazz referencedClazz, boolean mayBeExtension, boolean mayBeNull, Clazz creationClass, Method creationMethod, int creationOffset, java.lang.Object value)	Returns an abstract representation of a reference value object.
ValueAbstractState	getAbstractShortConstant(short s)	Returns an abstract representation of a short constant s.
ValueFactory	getValueFactory()
protected ValueAbstractState	handleCheckCast(ValueAbstractState state, java.lang.String internalName)	Returns an abstract state representing the result of the checkcast operation.
void	invokeMethod(JvmAbstractState<ValueAbstractState> state, Call call, java.util.List<ValueAbstractState> operands)	The default implementation computes join over its arguments.
protected void	processCall(JvmAbstractState<ValueAbstractState> state, Call call)	Pops the arguments from the operand stack and passes them to invokeMethod.

从类继承的方法 proguard.analysis.cpa.jvm.transfer.JvmTransferRelation

calculateArithmeticInstruction, computeIncrement, generateEdgeAbstractSuccessor, generateEdgeAbstractSuccessors, getAbstractSuccessorForInstruction, isInstanceOf

从类继承的方法 java.lang.Object

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

从接口继承的方法 proguard.analysis.cpa.interfaces.ProgramLocationDependentForwardTransferRelation

getEdges

从接口继承的方法 proguard.analysis.cpa.interfaces.ProgramLocationDependentTransferRelation

generateAbstractSuccessors, wrapAbstractSuccessorInCollection

字段详细资料

executingInvocationUnit

public final ExecutingInvocationUnit executingInvocationUnit

构造器详细资料

JvmValueTransferRelation

public JvmValueTransferRelation(ValueFactory valueFactory,
                                ExecutingInvocationUnit executingInvocationUnit)

方法详细资料

getValueFactory

public ValueFactory getValueFactory()

getAbstractDefault

public ValueAbstractState getAbstractDefault()

从类复制的说明: JvmTransferRelation

Returns a default abstract state. In case of lattice abstract domains, it should be the bottom element.

指定者:

getAbstractDefault 在类中 JvmTransferRelation<ValueAbstractState>

getAbstractByteConstant

public ValueAbstractState getAbstractByteConstant(byte b)

从类复制的说明: JvmTransferRelation

Returns an abstract representation of a byte constant b.

覆盖:

getAbstractByteConstant 在类中 JvmTransferRelation<ValueAbstractState>

getAbstractDoubleConstant

public java.util.List<ValueAbstractState> getAbstractDoubleConstant(double d)

从类复制的说明: JvmTransferRelation

Returns an abstract representation of a double constant d.

覆盖:

getAbstractDoubleConstant 在类中 JvmTransferRelation<ValueAbstractState>

getAbstractFloatConstant

public ValueAbstractState getAbstractFloatConstant(float f)

从类复制的说明: JvmTransferRelation

Returns an abstract representation of a float constant f.

覆盖:

getAbstractFloatConstant 在类中 JvmTransferRelation<ValueAbstractState>

getAbstractIntegerConstant

public ValueAbstractState getAbstractIntegerConstant(int i)

从类复制的说明: JvmTransferRelation

Returns an abstract representation of an integer constant i.

覆盖:

getAbstractIntegerConstant 在类中 JvmTransferRelation<ValueAbstractState>

getAbstractLongConstant

public java.util.List<ValueAbstractState> getAbstractLongConstant(long l)

从类复制的说明: JvmTransferRelation

Returns an abstract representation of a long constant l.

覆盖:

getAbstractLongConstant 在类中 JvmTransferRelation<ValueAbstractState>

getAbstractNull

public ValueAbstractState getAbstractNull()

从类复制的说明: JvmTransferRelation

Returns an abstract representation of a null reference.

覆盖:

getAbstractNull 在类中 JvmTransferRelation<ValueAbstractState>

getAbstractShortConstant

public ValueAbstractState getAbstractShortConstant(short s)

从类复制的说明: JvmTransferRelation

Returns an abstract representation of a short constant s.

覆盖:

getAbstractShortConstant 在类中 JvmTransferRelation<ValueAbstractState>

getAbstractReferenceValue

public ValueAbstractState getAbstractReferenceValue(java.lang.String internalType,
                                                    Clazz referencedClazz,
                                                    boolean mayBeExtension,
                                                    boolean mayBeNull,
                                                    Clazz creationClass,
                                                    Method creationMethod,
                                                    int creationOffset,
                                                    java.lang.Object value)

从类复制的说明: JvmTransferRelation

Returns an abstract representation of a reference value object.

覆盖:

getAbstractReferenceValue 在类中 JvmTransferRelation<ValueAbstractState>

processCall

protected void processCall(JvmAbstractState<ValueAbstractState> state,
                           Call call)

从类复制的说明: JvmTransferRelation

Pops the arguments from the operand stack and passes them to invokeMethod.

覆盖:

processCall 在类中 JvmTransferRelation<ValueAbstractState>

invokeMethod

public void invokeMethod(JvmAbstractState<ValueAbstractState> state,
                         Call call,
                         java.util.List<ValueAbstractState> operands)

从类复制的说明: JvmTransferRelation

The default implementation computes join over its arguments.

覆盖:

invokeMethod 在类中 JvmTransferRelation<ValueAbstractState>

handleCheckCast

protected ValueAbstractState handleCheckCast(ValueAbstractState state,
                                             java.lang.String internalName)

从类复制的说明: JvmTransferRelation

Returns an abstract state representing the result of the checkcast operation.

覆盖:

handleCheckCast 在类中 JvmTransferRelation<ValueAbstractState>