proguard.analysis.cpa.jvm.state.heap

Class JvmForgetfulHeapAbstractState<StateT extends LatticeAbstractState<StateT>>

java.lang.Object

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

All Implemented Interfaces:

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

public class JvmForgetfulHeapAbstractState<StateT extends LatticeAbstractState<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 and Description
JvmForgetfulHeapAbstractState(StateT defaultValue) Create a forgetful heap abstract state returning the specified value for all queries.

Method Summary

Modifier and Type	Method and 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.
JvmForgetfulHeapAbstractState<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.
<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.jvm.state.heap.JvmHeapAbstractState

expand, newObject, reduce

Methods inherited from interface proguard.analysis.cpa.defaults.LatticeAbstractState

isLess

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

getPrecision, getStateByName

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

join

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

Description copied from interface: LatticeAbstractState

Computes a join over itself and the abstractState.

Specified by:

join in interface LatticeAbstractState<JvmHeapAbstractState<StateT extends LatticeAbstractState<StateT>>>

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

equals

public boolean equals(java.lang.Object o)

Specified by:

equals in interface AbstractState

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Specified by:

hashCode in interface AbstractState

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

Specified by:

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