proguard.analysis.cpa.jvm.transfer

Class JvmTransferRelation<StateT extends LatticeAbstractState<StateT>>

java.lang.Object

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

All Implemented Interfaces:

ProgramLocationDependentTransferRelation<JvmCfaNode,JvmCfaEdge,MethodSignature>, TransferRelation

Direct Known Subclasses:

JvmReferenceTransferRelation, JvmTaintTransferRelation

public abstract class JvmTransferRelation<StateT extends LatticeAbstractState<StateT>>
extends java.lang.Object
implements ProgramLocationDependentTransferRelation<JvmCfaNode,JvmCfaEdge,MethodSignature>

The JvmTransferRelation computes the successors of an JvmAbstractState for a given instruction. It stores category 2 computational types as tuples of the abstract state containing the information about the value in the most significant bits and a default abstract state in the least significant bits of the big-endian notation.

Constructor Summary

Constructors

Constructor and Description
JvmTransferRelation()

Method Summary

Modifier and Type	Method and Description
protected java.util.List<StateT>	applyInstruction(Instruction instruction, java.util.List<StateT> operands, int resultCount) Returns the result of the instruction application.
StateT	getAbstractByteConstant(byte b) Returns an abstract representation of a byte constant b.
abstract StateT	getAbstractDefault() Returns a default abstract state.
java.util.List<StateT>	getAbstractDoubleConstant(double d) Returns an abstract representation of a double constant d.
StateT	getAbstractFloatConstant(float f) Returns an abstract representation of a float constant f.
StateT	getAbstractIntegerConstant(int i) Returns an abstract representation of an integer constant i.
java.util.List<StateT>	getAbstractLongConstant(long l) Returns an abstract representation of a long constant l.
StateT	getAbstractNull() Returns an abstract representation of a null reference.
StateT	getAbstractShortConstant(short s) Returns an abstract representation of a short constant s.
protected JvmAbstractState<StateT>	getAbstractSuccessorForInstruction(JvmAbstractState<StateT> abstractState, Instruction instruction, Clazz clazz, Precision precision) Returns the result of applying instruction to the abstractState.
AbstractState	getEdgeAbstractSuccessor(AbstractState abstractState, JvmCfaEdge edge, Precision precision) Computes a successor state for the CFA edge.
void	invokeMethod(JvmAbstractState<StateT> state, Call call, java.util.List<StateT> operands) The default implementation computes join over its arguments.
protected StateT	isInstanceOf(StateT state, java.lang.String type) Returns an abstract state representing the result of the instanceof operation.
protected void	processCall(JvmAbstractState<StateT> state, Call call) Pops the arguments from the operand stack and passes them to invokeMethod.

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.ProgramLocationDependentTransferRelation

getAbstractSuccessors

Constructor Detail

JvmTransferRelation

public JvmTransferRelation()

Method Detail

getEdgeAbstractSuccessor

public AbstractState getEdgeAbstractSuccessor(AbstractState abstractState,
                                              JvmCfaEdge edge,
                                              Precision precision)

Description copied from interface: ProgramLocationDependentTransferRelation

Computes a successor state for the CFA edge.

Specified by:

getEdgeAbstractSuccessor in interface ProgramLocationDependentTransferRelation<JvmCfaNode,JvmCfaEdge,MethodSignature>

getAbstractSuccessorForInstruction

protected JvmAbstractState<StateT> getAbstractSuccessorForInstruction(JvmAbstractState<StateT> abstractState,
                                                                      Instruction instruction,
                                                                      Clazz clazz,
                                                                      Precision precision)

Returns the result of applying instruction to the abstractState.

applyInstruction

protected java.util.List<StateT> applyInstruction(Instruction instruction,
                                                  java.util.List<StateT> operands,
                                                  int resultCount)

Returns the result of the instruction application. The default implementation computes join over its arguments.

getAbstractByteConstant

public StateT getAbstractByteConstant(byte b)

Returns an abstract representation of a byte constant b.

getAbstractDefault

public abstract StateT getAbstractDefault()

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

getAbstractDoubleConstant

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

Returns an abstract representation of a double constant d.

getAbstractFloatConstant

public StateT getAbstractFloatConstant(float f)

Returns an abstract representation of a float constant f.

getAbstractIntegerConstant

public StateT getAbstractIntegerConstant(int i)

Returns an abstract representation of an integer constant i.

getAbstractLongConstant

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

Returns an abstract representation of a long constant l.

getAbstractNull

public StateT getAbstractNull()

Returns an abstract representation of a null reference.

getAbstractShortConstant

public StateT getAbstractShortConstant(short s)

Returns an abstract representation of a short constant s.

processCall

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

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

invokeMethod

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

The default implementation computes join over its arguments.

isInstanceOf

protected StateT isInstanceOf(StateT state,
                              java.lang.String type)

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