程序包 proguard.analysis.cpa.jvm.state.heap.tree

类 JvmShallowHeapAbstractState<ReferenceT,StateT extends AbstractState<StateT>>

java.lang.Object

proguard.analysis.cpa.jvm.state.heap.tree.JvmShallowHeapAbstractState<ReferenceT,StateT>

所有已实现的接口:

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

public class JvmShallowHeapAbstractState<ReferenceT,StateT extends AbstractState<StateT>>
extends Object
implements JvmHeapAbstractState<StateT>

A shallow heap models objects as atomic abstract states thus having only one level of depth. Object fields are not modeled. References of wrong types are ignored.

字段概要

字段

修饰符和类型	字段	说明
protected final StateT	defaultValue
protected final Class<ReferenceT>	referenceClass
final MapAbstractState<ReferenceT,StateT>	referenceToObject

构造器概要

构造器

构造器	说明
JvmShallowHeapAbstractState(MapAbstractState<ReferenceT,StateT> referenceToObject, Class<ReferenceT> referenceClass, StateT defaultValue)	Create a shallow heap abstract state returning the specified value for all queries from an existing reference to abstract state map.

方法概要

修饰符和类型	方法	说明
JvmShallowHeapAbstractState<ReferenceT,StateT>	copy()	Creates a copy of itself.
boolean	equals(Object o)
void	expand(JvmHeapAbstractState<StateT> otherState)	Expands the state with all the entries from another heap state with reference not already known by the state.
<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, 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).
JvmShallowHeapAbstractState<ReferenceT,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(String type, 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(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(Set<Object> referencesToKeep)	Discards all the references not in .
<T> void	setArrayElement(T array, StateT index, StateT value)	Sets the array element value at the specified index.
<T> void	setField(T object, String fqn, StateT value)	Sets a value to a field fqn of a referenced object.

从类继承的方法 java.lang.Object

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

从接口继承的方法 proguard.analysis.cpa.interfaces.AbstractState

getPrecision, isLess

从接口继承的方法 proguard.analysis.cpa.jvm.state.heap.JvmHeapAbstractState

newObject

字段详细资料

referenceToObject

public final MapAbstractState<ReferenceT,StateT extends AbstractState<StateT>> referenceToObject

referenceClass

protected final Class<ReferenceT> referenceClass

defaultValue

protected final StateT extends AbstractState<StateT> defaultValue

构造器详细资料

JvmShallowHeapAbstractState

public JvmShallowHeapAbstractState(MapAbstractState<ReferenceT,StateT> referenceToObject,
 Class<ReferenceT> referenceClass,
 StateT defaultValue)

Create a shallow heap abstract state returning the specified value for all queries from an existing reference to abstract state map.

参数:

defaultValue - the value to be returned by memory accesses

referenceClass - the class of the reference used for addressing

referenceToObject - the value to be returned by memory accesses

方法详细资料

reduce

public void reduce(Set<Object> referencesToKeep)

Discards all the references not in .

指定者:

reduce 在接口中 JvmHeapAbstractState<ReferenceT>

参数:

referencesToKeep - information on the references to keep or discard, based on the implementation. Unused in the default implementation

expand

public void expand(JvmHeapAbstractState<StateT> otherState)

Expands the state with all the entries from another heap state with reference not already known by the state.

指定者:

expand 在接口中 JvmHeapAbstractState<ReferenceT>

参数:

otherState - a heap state from which expanding the heap (e.g. the state calling a method to recover information discarded from it)

getFieldOrDefault

public <T> StateT getFieldOrDefault(T object,
 String fqn,
 StateT defaultValue)

从接口复制的说明: JvmHeapAbstractState

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

指定者:

getFieldOrDefault 在接口中 JvmHeapAbstractState<ReferenceT>

setField

public <T> void setField(T object,
 String fqn,
 StateT value)

从接口复制的说明: JvmHeapAbstractState

Sets a value to a field fqn of a referenced object.

指定者:

setField 在接口中 JvmHeapAbstractState<ReferenceT>

getArrayElementOrDefault

public <T> StateT getArrayElementOrDefault(T array,
 StateT index,
 StateT defaultValue)

从接口复制的说明: JvmHeapAbstractState

Returns an array element at the specified index or the defaultValue, if the element is unset.

指定者:

getArrayElementOrDefault 在接口中 JvmHeapAbstractState<ReferenceT>

setArrayElement

public <T> void setArrayElement(T array,
 StateT index,
 StateT value)

从接口复制的说明: JvmHeapAbstractState

Sets the array element value at the specified index.

指定者:

setArrayElement 在接口中 JvmHeapAbstractState<ReferenceT>

newObject

public StateT newObject(String className,
 JvmCfaNode creationCite)

从接口复制的说明: JvmHeapAbstractState

Creates a new object of a given class at a specific program point and returns a reference to it.

指定者:

newObject 在接口中 JvmHeapAbstractState<ReferenceT>

newArray

public StateT newArray(String type,
 List<StateT> dimensions,
 JvmCfaNode creationCite)

从接口复制的说明: 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.

指定者:

newArray 在接口中 JvmHeapAbstractState<ReferenceT>

join

public JvmShallowHeapAbstractState<ReferenceT,StateT> join(JvmHeapAbstractState<StateT> abstractState)

从接口复制的说明: AbstractState

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

指定者:

join 在接口中 AbstractState<ReferenceT>

isLessOrEqual

public boolean isLessOrEqual(JvmHeapAbstractState<StateT> abstractState)

从接口复制的说明: AbstractState

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

指定者:

isLessOrEqual 在接口中 AbstractState<ReferenceT>

equals

public boolean equals(Object o)

指定者:

equals 在接口中 AbstractState<ReferenceT>

覆盖:

equals 在类中 Object

hashCode

public int hashCode()

指定者:

hashCode 在接口中 AbstractState<ReferenceT>

覆盖:

hashCode 在类中 Object

copy

public JvmShallowHeapAbstractState<ReferenceT,StateT> copy()

从接口复制的说明: AbstractState

Creates a copy of itself.

指定者:

copy 在接口中 AbstractState<ReferenceT>

指定者:

copy 在接口中 JvmHeapAbstractState<ReferenceT>