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

referenceToNode

Constructor Summary

Constructors

Constructor and Description
JvmTreeHeapPrincipalAbstractState() Create an empty principal heap model.

Method Summary

Modifier and Type	Method and Description
JvmTreeHeapPrincipalAbstractState	copy() Creates a copy of itself.
SetAbstractState<Reference>	getArrayElementOrDefault(SetAbstractState<Reference> array, SetAbstractState<Reference> index, SetAbstractState<Reference> defaultValue) Returns a join over all arrays aliased by the input SetAbstractState.
SetAbstractState<Reference>	getField(SetAbstractState<Reference> object, java.lang.String descriptor, SetAbstractState<Reference> defaultValue) Returns a join over all fields aliased by the input SetAbstractState.
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	setArrayElement(SetAbstractState<Reference> array, SetAbstractState<Reference> index, SetAbstractState<Reference> value) Joins the array elements with the given one for all aliases.
void	setField(SetAbstractState<Reference> object, java.lang.String descriptor, SetAbstractState<Reference> value) Sets the field value to the given one if the reference is unambiguous, joins otherwise.

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

equals, hashCode, isLessOrEqual

Methods inherited from class java.lang.Object

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

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

Create an empty principal heap model.

Method Detail

getField

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

Description copied from class: JvmTreeHeapAbstractState

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

Specified by:

getField in interface JvmHeapAbstractState<SetAbstractState<Reference>>

Overrides:

getField in class JvmTreeHeapAbstractState<SetAbstractState<Reference>>

setField

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

Description copied from class: JvmTreeHeapAbstractState

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

Specified by:

setField in interface JvmHeapAbstractState<SetAbstractState<Reference>>

Overrides:

setField in class JvmTreeHeapAbstractState<SetAbstractState<Reference>>

getArrayElementOrDefault

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

Description copied from class: JvmTreeHeapAbstractState

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

Specified by:

getArrayElementOrDefault in interface JvmHeapAbstractState<SetAbstractState<Reference>>

Overrides:

getArrayElementOrDefault in class JvmTreeHeapAbstractState<SetAbstractState<Reference>>

setArrayElement

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

Description copied from class: JvmTreeHeapAbstractState

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

Specified by:

setArrayElement in interface JvmHeapAbstractState<SetAbstractState<Reference>>

Overrides:

setArrayElement in class JvmTreeHeapAbstractState<SetAbstractState<Reference>>

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.

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.