proguard.analysis.cpa.jvm.state.heap.tree

Class JvmShallowHeapAbstractState<ReferenceT,StateT extends LatticeAbstractState<StateT>>

java.lang.Object

proguard.analysis.cpa.jvm.state.heap.tree.JvmShallowHeapAbstractState<ReferenceT,StateT>

All Implemented Interfaces:

LatticeAbstractState<JvmHeapAbstractState<StateT>>, AbstractState, JvmHeapAbstractState<StateT>

public class JvmShallowHeapAbstractState<ReferenceT,StateT extends LatticeAbstractState<StateT>>
extends java.lang.Object
implements JvmHeapAbstractState<StateT>

A shallow heap models objects as atomic abstract states thus having only one level of depth. Object fields are not modeled. References of wrong types are ignored.

Field Summary

Fields

Modifier and Type	Field and Description
protected StateT	defaultValue
protected java.lang.Class<ReferenceT>	referenceClass
MapAbstractState<ReferenceT,StateT>	referenceToObject

Constructor Summary

Constructors

Constructor and Description
JvmShallowHeapAbstractState(MapAbstractState<ReferenceT,StateT> referenceToObject, java.lang.Class<ReferenceT> referenceClass, StateT defaultValue) Create a shallow heap abstract state returning the specified value for all queries from an existing reference to abstract state map.

Method Summary

Modifier and Type	Method and Description
JvmShallowHeapAbstractState<ReferenceT,StateT>	copy() Creates a copy of itself.
boolean	equals(java.lang.Object o)
void	expand(JvmHeapAbstractState<StateT> otherState) Expands the state with all the entries from another heap state with reference not already known by the state.
<T> StateT	getArrayElementOrDefault(T array, StateT index, StateT defaultValue) Returns an array element at the specified index or the defaultValue, if the element is unset.
<T> StateT	getFieldOrDefault(T object, java.lang.String fqn, StateT defaultValue) Returns a field fqn from a reference object.
int	hashCode()
boolean	isLessOrEqual(JvmHeapAbstractState<StateT> abstractState) Compares itself to the abstractState.
JvmShallowHeapAbstractState<ReferenceT,StateT>	join(JvmHeapAbstractState<StateT> abstractState) Computes a join over itself and the abstractState.
StateT	newArray(java.lang.String type, java.util.List<StateT> dimensions, JvmCfaNode creationCite) Creates a new array of a given class with the given dimension sizes at a specific program point and returns a reference to it.
StateT	newObject(java.lang.String className, JvmCfaNode creationCite) Creates a new object of a given class at a specific program point and returns a reference to it.
void	reduce(java.util.Set<java.lang.Object> referencesToKeep) Discards all the references not in .
<T> void	setArrayElement(T array, StateT index, StateT value) Sets the array element value at the specified index.
<T> void	setField(T object, java.lang.String fqn, StateT value) Sets a value to a field fqn of a referenced object.

Methods inherited from class java.lang.Object

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

Methods inherited from interface proguard.analysis.cpa.jvm.state.heap.JvmHeapAbstractState

newObject

Methods inherited from interface proguard.analysis.cpa.defaults.LatticeAbstractState

isLess

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

getPrecision, getStateByName

Field Detail

referenceToObject

public final MapAbstractState<ReferenceT,StateT extends LatticeAbstractState<StateT>> referenceToObject

referenceClass

protected final java.lang.Class<ReferenceT> referenceClass

defaultValue

protected final StateT extends LatticeAbstractState<StateT> defaultValue

Constructor Detail

JvmShallowHeapAbstractState

public JvmShallowHeapAbstractState(MapAbstractState<ReferenceT,StateT> referenceToObject,
                                   java.lang.Class<ReferenceT> referenceClass,
                                   StateT defaultValue)

Create a shallow heap abstract state returning the specified value for all queries from an existing reference to abstract state map.

Parameters:

defaultValue - the value to be returned by memory accesses

referenceClass - the class of the reference used for addressing

referenceToObject - the value to be returned by memory accesses

Method Detail

reduce

public void reduce(java.util.Set<java.lang.Object> referencesToKeep)

Discards all the references not in .

Specified by:

reduce in interface JvmHeapAbstractState<StateT extends LatticeAbstractState<StateT>>

Parameters:

referencesToKeep - information on the references to keep or discard, based on the implementation. Unused in the default implementation

expand

public void expand(JvmHeapAbstractState<StateT> otherState)

Expands the state with all the entries from another heap state with reference not already known by the state.

Specified by:

expand in interface JvmHeapAbstractState<StateT extends LatticeAbstractState<StateT>>

Parameters:

otherState - a heap state from which expanding the heap (e.g. the state calling a method to recover information discarded from it)

getFieldOrDefault

public <T> StateT getFieldOrDefault(T object,
                                    java.lang.String fqn,
                                    StateT defaultValue)

Description copied from interface: JvmHeapAbstractState

Returns a field fqn from a reference object. If there is no abstract state representing the field, returns the defaultValue

Specified by:

getFieldOrDefault in interface JvmHeapAbstractState<StateT extends LatticeAbstractState<StateT>>

setField

public <T> void setField(T object,
                         java.lang.String fqn,
                         StateT value)

Description copied from interface: JvmHeapAbstractState

Sets a value to a field fqn of a referenced object.

Specified by:

setField in interface JvmHeapAbstractState<StateT extends LatticeAbstractState<StateT>>

getArrayElementOrDefault

public <T> StateT getArrayElementOrDefault(T array,
                                           StateT index,
                                           StateT defaultValue)

Description copied from interface: JvmHeapAbstractState

Returns an array element at the specified index or the defaultValue, if the element is unset.

Specified by:

getArrayElementOrDefault in interface JvmHeapAbstractState<StateT extends LatticeAbstractState<StateT>>

setArrayElement

public <T> void setArrayElement(T array,
                                StateT index,
                                StateT value)

Description copied from interface: JvmHeapAbstractState

Sets the array element value at the specified index.

Specified by:

setArrayElement in interface JvmHeapAbstractState<StateT extends LatticeAbstractState<StateT>>

newObject

public StateT newObject(java.lang.String className,
                        JvmCfaNode creationCite)

Description copied from interface: JvmHeapAbstractState

Creates a new object of a given class at a specific program point and returns a reference to it.

Specified by:

newObject in interface JvmHeapAbstractState<StateT extends LatticeAbstractState<StateT>>

newArray

public StateT newArray(java.lang.String type,
                       java.util.List<StateT> dimensions,
                       JvmCfaNode creationCite)

Description copied from interface: JvmHeapAbstractState

Creates a new array of a given class with the given dimension sizes at a specific program point and returns a reference to it.

Specified by:

newArray in interface JvmHeapAbstractState<StateT extends LatticeAbstractState<StateT>>

join

public JvmShallowHeapAbstractState<ReferenceT,StateT> join(JvmHeapAbstractState<StateT> abstractState)

Description copied from interface: LatticeAbstractState

Computes a join over itself and the abstractState.

Specified by:

join in interface LatticeAbstractState<JvmHeapAbstractState<StateT extends LatticeAbstractState<StateT>>>

isLessOrEqual

public boolean isLessOrEqual(JvmHeapAbstractState<StateT> abstractState)

Description copied from interface: LatticeAbstractState

Compares itself to the abstractState.

Specified by:

isLessOrEqual in interface LatticeAbstractState<JvmHeapAbstractState<StateT extends LatticeAbstractState<StateT>>>

equals

public boolean equals(java.lang.Object o)

Specified by:

equals in interface AbstractState

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Specified by:

hashCode in interface AbstractState

Overrides:

hashCode in class java.lang.Object

copy

public JvmShallowHeapAbstractState<ReferenceT,StateT> copy()

Description copied from interface: AbstractState

Creates a copy of itself.

Specified by:

copy in interface AbstractState

Specified by:

copy in interface JvmHeapAbstractState<StateT extends LatticeAbstractState<StateT>>