proguard.analysis.cpa.jvm.transfer

Class JvmTransferRelation<StateT extends LatticeAbstractState<StateT>>

java.lang.Object

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

All Implemented Interfaces:

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

Direct Known Subclasses:

JvmReferenceTransferRelation, JvmTaintTransferRelation, JvmValueTransferRelation

public abstract class JvmTransferRelation<StateT extends LatticeAbstractState<StateT>>
extends java.lang.Object
implements ProgramLocationDependentForwardTransferRelation<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.

Nested Class Summary

Nested Classes

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

Constructor Summary

Constructors

Constructor and Description
JvmTransferRelation()

Method Summary

Modifier and Type	Method and Description
protected StateT	calculateArithmeticInstruction(Instruction instruction, java.util.List<StateT> operands) Calculates the result of the instruction application.
protected StateT	computeIncrement(StateT state, int value) Returns the abstract state of the incremented input state by value.
AbstractState	generateEdgeAbstractSuccessor(AbstractState abstractState, JvmCfaEdge edge, Precision precision)
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	getAbstractReferenceValue(java.lang.String className) Returns an abstract representation of a reference value object.
StateT	getAbstractReferenceValue(java.lang.String className, Clazz referencedClazz, boolean mayBeExtension, boolean mayBeNull) Returns an abstract representation of a reference value object.
StateT	getAbstractReferenceValue(java.lang.String className, 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.
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.
protected StateT	handleCheckCast(StateT state, java.lang.String typeName) Returns an abstract state representing the result of the checkcast operation.
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.ProgramLocationDependentForwardTransferRelation

getEdges

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

generateAbstractSuccessors, generateEdgeAbstractSuccessors, wrapAbstractSuccessorInCollection

Constructor Detail

JvmTransferRelation

public JvmTransferRelation()

Method Detail

generateEdgeAbstractSuccessor

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

getAbstractSuccessorForInstruction

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

Returns the result of applying instruction to the abstractState.

calculateArithmeticInstruction

protected StateT calculateArithmeticInstruction(Instruction instruction,
                                                java.util.List<StateT> operands)

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

computeIncrement

protected StateT computeIncrement(StateT state,
                                  int value)

Returns the abstract state of the incremented input state by value. The default implementation computes the join.

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.

getAbstractReferenceValue

public StateT getAbstractReferenceValue(java.lang.String className)

Returns an abstract representation of a reference value object.

getAbstractReferenceValue

public StateT getAbstractReferenceValue(java.lang.String className,
                                        Clazz referencedClazz,
                                        boolean mayBeExtension,
                                        boolean mayBeNull)

Returns an abstract representation of a reference value object.

getAbstractReferenceValue

public StateT getAbstractReferenceValue(java.lang.String className,
                                        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.

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.

handleCheckCast

protected StateT handleCheckCast(StateT state,
                                 java.lang.String typeName)

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