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

Class JvmTreeHeapAbstractState<StateT extends LatticeAbstractState<StateT>>

java.lang.Object

proguard.analysis.cpa.jvm.state.heap.tree.JvmTreeHeapAbstractState<StateT>

All Implemented Interfaces:

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

Direct Known Subclasses:

JvmTreeHeapFollowerAbstractState, JvmTreeHeapPrincipalAbstractState

public abstract class JvmTreeHeapAbstractState<StateT extends LatticeAbstractState<StateT>>
extends java.lang.Object
implements JvmHeapAbstractState<StateT>

The tree heap model represents the memory as a map from references to objects or arrays (HeapNodes) which may refer other heap nodes in their fields.

Field Summary

Fields

Modifier and Type	Field and Description
protected MapAbstractState<Reference,HeapNode<StateT>>	referenceToNode

Constructor Summary

Constructors

Modifier	Constructor and Description
	JvmTreeHeapAbstractState() Create an empty tree heap abstract state.
protected	JvmTreeHeapAbstractState(MapAbstractState<Reference,HeapNode<StateT>> referenceToNode) Create an tree heap abstract state from a given memory layout.

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object obj)
protected StateT	getArrayElementOrDefault(SetAbstractState<Reference> array, StateT index, StateT defaultValue) Returns a join over all arrays aliased by the input SetAbstractState.
protected StateT	getField(SetAbstractState<Reference> object, java.lang.String descriptor, StateT defaultValue) Returns a join over all fields aliased by the input SetAbstractState.
int	hashCode()
boolean	isLessOrEqual(JvmHeapAbstractState<StateT> abstractState) Compares itself to the abstractState.
protected void	setArrayElement(SetAbstractState<Reference> array, StateT index, StateT value) Joins the array elements with the given one for all aliases.
protected void	setField(SetAbstractState<Reference> object, java.lang.String descriptor, StateT value) Sets the field value to the given one if the reference is unambiguous, joins otherwise.

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

copy, getArrayElementOrDefault, getField, newArray, newObject, setArrayElement, setField

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

isLess, join

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

getPrecision, getStateByName

Field Detail

referenceToNode

protected final MapAbstractState<Reference,HeapNode<StateT extends LatticeAbstractState<StateT>>> referenceToNode

Constructor Detail

JvmTreeHeapAbstractState

public JvmTreeHeapAbstractState()

Create an empty tree heap abstract state.

JvmTreeHeapAbstractState

protected JvmTreeHeapAbstractState(MapAbstractState<Reference,HeapNode<StateT>> referenceToNode)

Create an tree heap abstract state from a given memory layout.

Parameters:

referenceToNode - a mapping from references to their objects/arrays

Method Detail

getField

protected StateT getField(SetAbstractState<Reference> object,
                          java.lang.String descriptor,
                          StateT defaultValue)

Returns a join over all fields aliased by the input SetAbstractState. The defaultValue is used when there is no information available.

setField

protected void setField(SetAbstractState<Reference> object,
                        java.lang.String descriptor,
                        StateT value)

Sets the field value to the given one if the reference is unambiguous, joins otherwise.

getArrayElementOrDefault

protected StateT getArrayElementOrDefault(SetAbstractState<Reference> array,
                                          StateT index,
                                          StateT defaultValue)

Returns a join over all arrays aliased by the input SetAbstractState. The defaultValue is used when there is no information available.

setArrayElement

protected void setArrayElement(SetAbstractState<Reference> array,
                               StateT index,
                               StateT value)

Joins the array elements with the given one for all aliases.

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 obj)

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