Package proguard.analysis.cpa.jvm.state.heap

Class JvmForgetfulHeapAbstractState<StateT extends AbstractState<StateT>>

java.lang.Object

proguard.analysis.cpa.jvm.state.heap.JvmForgetfulHeapAbstractState<StateT>

All Implemented Interfaces:

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

public class JvmForgetfulHeapAbstractState<StateT extends AbstractState<StateT>>
extends java.lang.Object
implements JvmHeapAbstractState<StateT>

This is a forgetful stub heap implementation. It does not change and always returns the default value.

Constructor Summary

Constructors

Constructor	Description
JvmForgetfulHeapAbstractState(StateT defaultValue)	Create a forgetful heap abstract state returning the specified value for all queries.

Method Summary

Modifier and Type	Method	Description
JvmForgetfulHeapAbstractState<StateT>	copy()	Creates a copy of itself.
boolean	equals(java.lang.Object o)
<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.
int	hashCode()
boolean	isLessOrEqual(JvmHeapAbstractState<StateT> abstractState)	Compares itself to the abstractState (i.e., compare the states on the partial order provided by the domain of the analysis).
JvmForgetfulHeapAbstractState<StateT>	join(JvmHeapAbstractState<StateT> abstractState)	Computes a join over itself and another abstract state abstractState (i.e., finds the least upper bound on the semilattice).
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.
<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.

Methods inherited from class java.lang.Object

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

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

getPrecision, isLess

Methods inherited from interface proguard.analysis.cpa.jvm.state.heap.JvmHeapAbstractState

expand, newObject, reduce

Constructor Detail

JvmForgetfulHeapAbstractState

public JvmForgetfulHeapAbstractState(StateT defaultValue)

Create a forgetful heap abstract state returning the specified value for all queries.

Parameters:

defaultValue - the value to be returned by memory accesses

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

Specified by:

getFieldOrDefault in interface JvmHeapAbstractState<StateT extends AbstractState<StateT>>

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.

Specified by:

setField in interface JvmHeapAbstractState<StateT extends AbstractState<StateT>>

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.

Specified by:

getArrayElementOrDefault in interface JvmHeapAbstractState<StateT extends AbstractState<StateT>>

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.

Specified by:

setArrayElement in interface JvmHeapAbstractState<StateT extends AbstractState<StateT>>

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.

Specified by:

newObject in interface JvmHeapAbstractState<StateT extends AbstractState<StateT>>

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.

Specified by:

newArray in interface JvmHeapAbstractState<StateT extends AbstractState<StateT>>

join

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

Description copied from interface: AbstractState

Computes a join over itself and another abstract state abstractState (i.e., finds the least upper bound on the semilattice).

Specified by:

join in interface AbstractState<StateT extends AbstractState<StateT>>

isLessOrEqual

public boolean isLessOrEqual(JvmHeapAbstractState<StateT> abstractState)

Description copied from interface: AbstractState

Compares itself to the abstractState (i.e., compare the states on the partial order provided by the domain of the analysis).

Specified by:

isLessOrEqual in interface AbstractState<StateT extends AbstractState<StateT>>

equals

public boolean equals(java.lang.Object o)

Specified by:

equals in interface AbstractState<StateT extends AbstractState<StateT>>

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Specified by:

hashCode in interface AbstractState<StateT extends AbstractState<StateT>>

Overrides:

hashCode in class java.lang.Object

copy

public JvmForgetfulHeapAbstractState<StateT> copy()

Description copied from interface: AbstractState

Creates a copy of itself.

Specified by:

copy in interface AbstractState<StateT extends AbstractState<StateT>>

Specified by:

copy in interface JvmHeapAbstractState<StateT extends AbstractState<StateT>>