Package proguard.analysis.cpa.jvm.domain.value

Class JvmValueAbstractState

java.lang.Object

proguard.analysis.cpa.jvm.state.JvmAbstractState<ValueAbstractState>

proguard.analysis.cpa.jvm.domain.value.JvmValueAbstractState

All Implemented Interfaces:

AbstractState<JvmAbstractState<ValueAbstractState>>, ProgramLocationDependent

public class JvmValueAbstractState
extends JvmAbstractState<ValueAbstractState>

Field Summary

Fields inherited from class proguard.analysis.cpa.jvm.state.JvmAbstractState

DEFAULT_FIELD, frame, heap, programLocation, staticFields, topLocation

Constructor Summary

Constructors

Constructor	Description
JvmValueAbstractState(ValueFactory valueFactory, ExecutingInvocationUnit executingInvocationUnit, JvmCfaNode programLocation, JvmFrameAbstractState<ValueAbstractState> frame, JvmHeapAbstractState<ValueAbstractState> heap, MapAbstractState<java.lang.String,ValueAbstractState> staticFields)	Create a JVM value abstract state.

Method Summary

Modifier and Type	Method	Description
JvmValueAbstractState	copy()	Creates a copy of itself.
boolean	equals(java.lang.Object obj)
ValueFactory	getValueFactory()	Returns the ValueFactory.
ValueAbstractState	getVariableOrDefault(int index, ValueAbstractState defaultState)	Returns an abstract state at the indexth position of the variable array, the corresponding heap value for an IdentifiedReferenceValue or defaultState if there is no entry.
JvmValueAbstractState	join(JvmAbstractState<ValueAbstractState> abstractState)	Computes a join over itself and another abstract state abstractState (i.e., finds the least upper bound on the semilattice).
ValueAbstractState	newObject(java.lang.String className)	Returns an ValueAbstractState for a new object of the given className.
ValueAbstractState	newObject(Clazz clazz)	Returns an ValueAbstractState state for a new object of the given Clazz.
<T> void	setField(T object, ValueAbstractState value)	Sets the default field of the object to value.
ValueAbstractState	setVariable(int index, ValueAbstractState state, ValueAbstractState defaultState)	Sets the indexth position of the variable array to state and returns state.
java.lang.String	toString()

Methods inherited from class proguard.analysis.cpa.jvm.state.JvmAbstractState

clearOperandStack, getArrayElementOrDefault, getFieldOrDefault, getFieldOrDefault, getFrame, getHeap, getProgramLocation, getStaticFields, getStaticOrDefault, hashCode, isLessOrEqual, newArray, peek, peek, peekOrDefault, peekOrDefault, pop, popOrDefault, push, pushAll, setArrayElement, setField, setProgramLocation, setStatic

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

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

getPrecision, isLess

Constructor Detail

JvmValueAbstractState

public JvmValueAbstractState(ValueFactory valueFactory,
                             ExecutingInvocationUnit executingInvocationUnit,
                             JvmCfaNode programLocation,
                             JvmFrameAbstractState<ValueAbstractState> frame,
                             JvmHeapAbstractState<ValueAbstractState> heap,
                             MapAbstractState<java.lang.String,ValueAbstractState> staticFields)

Create a JVM value abstract state.

Parameters:

valueFactory - a ValueFactory which is used to create abstract values.

executingInvocationUnit - an ExecutingInvocationUnit which is used to execute methods reflectively.

programLocation - a CFA node

frame - a frame abstract state

heap - a heap abstract state

staticFields - a static field table

Method Detail

getValueFactory

public ValueFactory getValueFactory()

Returns the ValueFactory.

getVariableOrDefault

public ValueAbstractState getVariableOrDefault(int index,
                                               ValueAbstractState defaultState)

Returns an abstract state at the indexth position of the variable array, the corresponding heap value for an IdentifiedReferenceValue or defaultState if there is no entry.

Overrides:

getVariableOrDefault in class JvmAbstractState<ValueAbstractState>

setVariable

public ValueAbstractState setVariable(int index,
                                      ValueAbstractState state,
                                      ValueAbstractState defaultState)

Sets the indexth position of the variable array to state and returns state. If the array has to be extended, the added cells are padded with defaultState.

If the value is an IdentifiedReferenceValue, the corresponding heap value is also updated.

Overrides:

setVariable in class JvmAbstractState<ValueAbstractState>

newObject

public ValueAbstractState newObject(java.lang.String className)

Returns an ValueAbstractState for a new object of the given className.

Overrides:

newObject in class JvmAbstractState<ValueAbstractState>

newObject

public ValueAbstractState newObject(Clazz clazz)

Returns an ValueAbstractState state for a new object of the given Clazz.

Overrides:

newObject in class JvmAbstractState<ValueAbstractState>

setField

public <T> void setField(T object,
                         ValueAbstractState value)

Description copied from class: JvmAbstractState

Sets the default field of the object to value.

Overrides:

setField in class JvmAbstractState<ValueAbstractState>

join

public JvmValueAbstractState join(JvmAbstractState<ValueAbstractState> abstractState)

Description copied from interface: AbstractState

Computes a join over itself and another abstract state abstractState (i.e., finds the least upper bound on the semilattice).

Specified by:

join in interface AbstractState<JvmAbstractState<ValueAbstractState>>

Overrides:

join in class JvmAbstractState<ValueAbstractState>

copy

public JvmValueAbstractState copy()

Description copied from interface: AbstractState

Creates a copy of itself.

Specified by:

copy in interface AbstractState<JvmAbstractState<ValueAbstractState>>

Overrides:

copy in class JvmAbstractState<ValueAbstractState>

equals

public boolean equals(java.lang.Object obj)

Specified by:

equals in interface AbstractState<JvmAbstractState<ValueAbstractState>>

Overrides:

equals in class JvmAbstractState<ValueAbstractState>

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object