proguard.analysis.cpa.jvm.domain.value

Class JvmValueTransferRelation

java.lang.Object

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

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

All Implemented Interfaces:

ProgramLocationDependentForwardTransferRelation<JvmCfaNode,JvmCfaEdge,MethodSignature>, ProgramLocationDependentTransferRelation<JvmCfaNode,JvmCfaEdge,MethodSignature>, TransferRelation

public class JvmValueTransferRelation
extends JvmTransferRelation<ValueAbstractState>

A JvmTransferRelation that tracks values.

Nested Class Summary

Nested classes/interfaces inherited from class proguard.analysis.cpa.jvm.transfer.JvmTransferRelation

JvmTransferRelation.InstructionAbstractInterpreter

Field Summary

Fields

Modifier and Type	Field and Description
ExecutingInvocationUnit	executingInvocationUnit

Constructor Summary

Constructors

Constructor and Description
JvmValueTransferRelation(ValueFactory valueFactory, ExecutingInvocationUnit executingInvocationUnit)

Method Summary

Modifier and Type	Method and Description
java.util.Collection<? extends AbstractState>	generateEdgeAbstractSuccessors(AbstractState abstractState, JvmCfaEdge edge, Precision precision) Computes the successor states for the CFA edge.
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 className) Returns an abstract representation of a reference value object.
ValueAbstractState	getAbstractReferenceValue(java.lang.String internalType, Clazz referencedClazz, boolean mayBeExtension, boolean mayBeNull) Returns an abstract representation of a reference value object.
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.

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

calculateArithmeticInstruction, computeIncrement, generateEdgeAbstractSuccessor, getAbstractSuccessorForInstruction, isInstanceOf

Methods inherited from class java.lang.Object

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

Methods inherited from interface proguard.analysis.cpa.interfaces.ProgramLocationDependentForwardTransferRelation

getEdges

Methods inherited from interface proguard.analysis.cpa.interfaces.ProgramLocationDependentTransferRelation

generateAbstractSuccessors, wrapAbstractSuccessorInCollection

Field Detail

executingInvocationUnit

public final ExecutingInvocationUnit executingInvocationUnit

Constructor Detail

JvmValueTransferRelation

public JvmValueTransferRelation(ValueFactory valueFactory,
                                ExecutingInvocationUnit executingInvocationUnit)

Method Detail

getValueFactory

public ValueFactory getValueFactory()

getAbstractDefault

public ValueAbstractState getAbstractDefault()

Description copied from class: JvmTransferRelation

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

Specified by:

getAbstractDefault in class JvmTransferRelation<ValueAbstractState>

getAbstractByteConstant

public ValueAbstractState getAbstractByteConstant(byte b)

Description copied from class: JvmTransferRelation

Returns an abstract representation of a byte constant b.

Overrides:

getAbstractByteConstant in class JvmTransferRelation<ValueAbstractState>

getAbstractDoubleConstant

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

Description copied from class: JvmTransferRelation

Returns an abstract representation of a double constant d.

Overrides:

getAbstractDoubleConstant in class JvmTransferRelation<ValueAbstractState>

getAbstractFloatConstant

public ValueAbstractState getAbstractFloatConstant(float f)

Description copied from class: JvmTransferRelation

Returns an abstract representation of a float constant f.

Overrides:

getAbstractFloatConstant in class JvmTransferRelation<ValueAbstractState>

getAbstractIntegerConstant

public ValueAbstractState getAbstractIntegerConstant(int i)

Description copied from class: JvmTransferRelation

Returns an abstract representation of an integer constant i.

Overrides:

getAbstractIntegerConstant in class JvmTransferRelation<ValueAbstractState>

getAbstractLongConstant

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

Description copied from class: JvmTransferRelation

Returns an abstract representation of a long constant l.

Overrides:

getAbstractLongConstant in class JvmTransferRelation<ValueAbstractState>

getAbstractNull

public ValueAbstractState getAbstractNull()

Description copied from class: JvmTransferRelation

Returns an abstract representation of a null reference.

Overrides:

getAbstractNull in class JvmTransferRelation<ValueAbstractState>

getAbstractShortConstant

public ValueAbstractState getAbstractShortConstant(short s)

Description copied from class: JvmTransferRelation

Returns an abstract representation of a short constant s.

Overrides:

getAbstractShortConstant in class JvmTransferRelation<ValueAbstractState>

getAbstractReferenceValue

public ValueAbstractState getAbstractReferenceValue(java.lang.String className)

Description copied from class: JvmTransferRelation

Returns an abstract representation of a reference value object.

Overrides:

getAbstractReferenceValue in class JvmTransferRelation<ValueAbstractState>

getAbstractReferenceValue

public ValueAbstractState getAbstractReferenceValue(java.lang.String internalType,
                                                    Clazz referencedClazz,
                                                    boolean mayBeExtension,
                                                    boolean mayBeNull)

Description copied from class: JvmTransferRelation

Returns an abstract representation of a reference value object.

Overrides:

getAbstractReferenceValue in class 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)

Description copied from class: JvmTransferRelation

Returns an abstract representation of a reference value object.

Overrides:

getAbstractReferenceValue in class JvmTransferRelation<ValueAbstractState>

processCall

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

Description copied from class: JvmTransferRelation

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

Overrides:

processCall in class JvmTransferRelation<ValueAbstractState>

invokeMethod

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

Description copied from class: JvmTransferRelation

The default implementation computes join over its arguments.

Overrides:

invokeMethod in class JvmTransferRelation<ValueAbstractState>

handleCheckCast

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

Description copied from class: JvmTransferRelation

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

Overrides:

handleCheckCast in class JvmTransferRelation<ValueAbstractState>

generateEdgeAbstractSuccessors

public java.util.Collection<? extends AbstractState> generateEdgeAbstractSuccessors(AbstractState abstractState,
                                                                                    JvmCfaEdge edge,
                                                                                    Precision precision)

Description copied from interface: ProgramLocationDependentTransferRelation

Computes the successor states for the CFA edge.