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

Class JvmTreeHeapFollowerAbstractState<StateT extends LatticeAbstractState<StateT>>

java.lang.Object

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

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

All Implemented Interfaces:

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

public class JvmTreeHeapFollowerAbstractState<StateT extends LatticeAbstractState<StateT>>
extends JvmTreeHeapAbstractState<StateT>

This is a heap model for analyses that need to track the actual content of heap objects. This does not track references to these objects though, it relies on JvmTreeHeapPrincipalAbstractState instead for finding out which field/variable references an object.

Field Summary

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

referenceToNode

Constructor Summary

Constructors

Constructor and Description
JvmTreeHeapFollowerAbstractState(JvmReferenceAbstractState principal, StateT defaultValue) Create a follower heap abstract state.

Method Summary

Modifier and Type	Method and Description
JvmTreeHeapFollowerAbstractState<StateT>	copy() Creates a copy of itself.
StateT	getArrayElementOrDefault(StateT array, StateT index, StateT defaultValue) Returns an array element at the specified index or the defaultValue, if the element is unset.
StateT	getField(StateT object, java.lang.String descriptor, StateT defaultValue) Returns a field descriptor from a reference object.
boolean	isLessOrEqual(JvmHeapAbstractState<StateT> abstractState) Compares itself to the abstractState.
JvmTreeHeapFollowerAbstractState<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	setArrayElement(StateT array, StateT index, StateT value) Sets the array element value at the specified index.
void	setField(StateT object, java.lang.String descriptor, StateT value) Sets a value to a field descriptor of a referenced object and returns the value.
void	setPrincipalState(JvmReferenceAbstractState principal)

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

equals, getArrayElementOrDefault, getField, hashCode, 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.defaults.LatticeAbstractState

isLess

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

getPrecision, getStateByName

Constructor Detail

JvmTreeHeapFollowerAbstractState

public JvmTreeHeapFollowerAbstractState(JvmReferenceAbstractState principal,
                                        StateT defaultValue)

Create a follower heap abstract state.

Parameters:

principal - the principal heap abstract state containing reference abstract states

defaultValue - the default value representing unknown values

Method Detail

getField

public StateT getField(StateT object,
                       java.lang.String descriptor,
                       StateT defaultValue)

Description copied from interface: JvmHeapAbstractState

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

setField

public void setField(StateT object,
                     java.lang.String descriptor,
                     StateT value)

Description copied from interface: JvmHeapAbstractState

Sets a value to a field descriptor of a referenced object and returns the value.

getArrayElementOrDefault

public StateT getArrayElementOrDefault(StateT 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.

setArrayElement

public void setArrayElement(StateT array,
                            StateT index,
                            StateT value)

Description copied from interface: JvmHeapAbstractState

Sets the array element value at the specified index.

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.

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.

join

public JvmTreeHeapFollowerAbstractState<StateT> join(JvmHeapAbstractState<StateT> abstractState)

Description copied from interface: LatticeAbstractState

Computes a join over itself and the abstractState.

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

Overrides:

isLessOrEqual in class JvmTreeHeapAbstractState<StateT extends LatticeAbstractState<StateT>>

copy

public JvmTreeHeapFollowerAbstractState<StateT> copy()

Description copied from interface: AbstractState

Creates a copy of itself.

setPrincipalState

public void setPrincipalState(JvmReferenceAbstractState principal)