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

Class JvmTreeHeapPrincipalAbstractState

java.lang.Object

proguard.analysis.cpa.jvm.state.heap.tree.JvmTreeHeapAbstractState<SetAbstractState<Reference>>

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

All Implemented Interfaces:

LatticeAbstractState<JvmHeapAbstractState<SetAbstractState<Reference>>>, AbstractState, JvmHeapAbstractState<SetAbstractState<Reference>>

public class JvmTreeHeapPrincipalAbstractState
extends JvmTreeHeapAbstractState<SetAbstractState<Reference>>

This is a self-sufficient heap model in the sense that it contains references necessary for addressing. When a memory location is accessed, it is created on-the-fly and is assumed to contain a distinct reference. Currently, such creation aliases all top level fields with deeper ones. For instance, if the object o is created on-the-fly, its field o.f will be aliased with o.f.f.

Field Summary

Fields inherited from class proguard.analysis.cpa.jvm.state.heap.tree.JvmTreeHeapAbstractState

defaultValue, heapMapAbstractStateFactory, heapNodeMapAbstractStateFactory, referenceToObject

Constructor Summary

Constructors

Constructor and Description
JvmTreeHeapPrincipalAbstractState(MapAbstractStateFactory<Reference,HeapNode<SetAbstractState<Reference>>> heapMapAbstractStateFactory, MapAbstractStateFactory<java.lang.String,SetAbstractState<Reference>> heapNodeMapAbstractStateFactory) Create an empty principal heap model.

Method Summary

Modifier and Type	Method and Description
JvmTreeHeapPrincipalAbstractState	copy() Creates a copy of itself.
<T> SetAbstractState<Reference>	getArrayElementOrDefault(T array, SetAbstractState<Reference> index, SetAbstractState<Reference> defaultValue) Returns an array element at the specified index or the defaultValue, if the element is unset.
<T> SetAbstractState<Reference>	getFieldOrDefault(T object, java.lang.String fqn, SetAbstractState<Reference> defaultValue) Returns a field fqn from a reference object.
java.util.Set<java.lang.Object>	getStaticCreationReferences() Get all the references to nodes that have been created in a JvmStaticFieldLocation.
JvmTreeHeapPrincipalAbstractState	join(JvmHeapAbstractState<SetAbstractState<Reference>> abstractState) Computes a join over itself and the abstractState.
SetAbstractState<Reference>	newArray(java.lang.String type, java.util.List<SetAbstractState<Reference>> 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.
SetAbstractState<Reference>	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> roots) Slices the principal heap tree starting from the specified roots.
<T> void	setArrayElement(T array, SetAbstractState<Reference> index, SetAbstractState<Reference> value) Sets the array element value at the specified index.
<T> void	setField(T object, java.lang.String fqn, SetAbstractState<Reference> value) Sets a value to a field fqn of a referenced object.

Methods inherited from class proguard.analysis.cpa.jvm.state.heap.tree.JvmTreeHeapAbstractState

assignField, equals, expand, getArrayElementOrDefault, getField, getHeapNode, hashCode, isLessOrEqual, mergeField, setArrayElement, setField

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

Constructor Detail

JvmTreeHeapPrincipalAbstractState

public JvmTreeHeapPrincipalAbstractState(MapAbstractStateFactory<Reference,HeapNode<SetAbstractState<Reference>>> heapMapAbstractStateFactory,
                                         MapAbstractStateFactory<java.lang.String,SetAbstractState<Reference>> heapNodeMapAbstractStateFactory)

Create an empty principal heap model.

Parameters:

heapMapAbstractStateFactory - a map abstract state factory used for constructing the mapping from references to objects

heapNodeMapAbstractStateFactory - a map abstract state factory used for constructing the mapping from fields to values

Method Detail

getFieldOrDefault

public <T> SetAbstractState<Reference> getFieldOrDefault(T object,
                                                         java.lang.String fqn,
                                                         SetAbstractState<Reference> 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

setField

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

Description copied from interface: JvmHeapAbstractState

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

getArrayElementOrDefault

public <T> SetAbstractState<Reference> getArrayElementOrDefault(T array,
                                                                SetAbstractState<Reference> index,
                                                                SetAbstractState<Reference> defaultValue)

Description copied from interface: JvmHeapAbstractState

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

setArrayElement

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

Description copied from interface: JvmHeapAbstractState

Sets the array element value at the specified index.

newObject

public SetAbstractState<Reference> 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.

newArray

public SetAbstractState<Reference> newArray(java.lang.String type,
                                            java.util.List<SetAbstractState<Reference>> 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.

getStaticCreationReferences

public java.util.Set<java.lang.Object> getStaticCreationReferences()

Get all the references to nodes that have been created in a JvmStaticFieldLocation.

reduce

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

Slices the principal heap tree starting from the specified roots.

Parameters:

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

join

public JvmTreeHeapPrincipalAbstractState join(JvmHeapAbstractState<SetAbstractState<Reference>> abstractState)

Description copied from interface: LatticeAbstractState

Computes a join over itself and the abstractState.

copy

public JvmTreeHeapPrincipalAbstractState copy()

Description copied from interface: AbstractState

Creates a copy of itself.