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>

Direct Known Subclasses:

JvmBasicTaintTreeHeapFollowerAbstractState, JvmTaintTreeHeapFollowerAbstractState

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

Modifier and Type	Field and Description
protected JvmReferenceAbstractState	principal

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

defaultValue, heapMapAbstractStateFactory, heapNodeMapAbstractStateFactory, referenceToObject

Constructor Summary

Constructors

Constructor and Description
JvmTreeHeapFollowerAbstractState(JvmReferenceAbstractState principal, StateT defaultValue, MapAbstractState<Reference,HeapNode<StateT>> referenceToNode, MapAbstractStateFactory<Reference,HeapNode<StateT>> heapMapAbstractStateFactory, MapAbstractStateFactory<java.lang.String,StateT> heapNodeMapAbstractStateFactory) Create a follower heap abstract state.

Method Summary

Modifier and Type	Method and Description
JvmTreeHeapFollowerAbstractState<StateT>	copy() Creates a copy of itself.
<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.
SetAbstractState<Reference>	getReferenceAbstractState(JvmMemoryLocation principalMemoryLocation)
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	reduce(java.util.Set<java.lang.Object> references) Removes all the nodes not present in the principal model.
<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.
void	setPrincipalState(JvmReferenceAbstractState principal) Sets the principal abstract state containing references.

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

Field Detail

principal

protected JvmReferenceAbstractState principal

Constructor Detail

JvmTreeHeapFollowerAbstractState

public JvmTreeHeapFollowerAbstractState(JvmReferenceAbstractState principal,
                                        StateT defaultValue,
                                        MapAbstractState<Reference,HeapNode<StateT>> referenceToNode,
                                        MapAbstractStateFactory<Reference,HeapNode<StateT>> heapMapAbstractStateFactory,
                                        MapAbstractStateFactory<java.lang.String,StateT> heapNodeMapAbstractStateFactory)

Create a follower heap abstract state.

Parameters:

principal - the principal heap abstract state containing reference abstract states

defaultValue - the default value representing unknown values

referenceToNode - the mapping from references to heap nodes

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

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.

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.

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.

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.

reduce

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

Removes all the nodes not present in the principal model.

Parameters:

references - unused

join

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

Description copied from interface: LatticeAbstractState

Computes a join over itself and the abstractState.

copy

public JvmTreeHeapFollowerAbstractState<StateT> copy()

Description copied from interface: AbstractState

Creates a copy of itself.

setPrincipalState

public void setPrincipalState(JvmReferenceAbstractState principal)

Sets the principal abstract state containing references.

getReferenceAbstractState

public SetAbstractState<Reference> getReferenceAbstractState(JvmMemoryLocation principalMemoryLocation)