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

类 JvmForgetfulHeapAbstractState<StateT extends AbstractState<StateT>>

java.lang.Object

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

所有已实现的接口:

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.

构造器概要

构造器

构造器	说明
JvmForgetfulHeapAbstractState(StateT defaultValue)	Create a forgetful heap abstract state returning the specified value for all queries.

方法概要

修饰符和类型	方法	说明
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.

从类继承的方法 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

expand, newObject, reduce

构造器详细资料

JvmForgetfulHeapAbstractState

public JvmForgetfulHeapAbstractState(StateT defaultValue)

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

参数:

defaultValue - the value to be returned by memory accesses

方法详细资料

getFieldOrDefault

public <T> StateT getFieldOrDefault(T object,
                                    java.lang.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<StateT extends AbstractState<StateT>>

setField

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

从接口复制的说明: JvmHeapAbstractState

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

指定者:

setField 在接口中 JvmHeapAbstractState<StateT extends AbstractState<StateT>>

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<StateT extends AbstractState<StateT>>

setArrayElement

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

从接口复制的说明: JvmHeapAbstractState

Sets the array element value at the specified index.

指定者:

setArrayElement 在接口中 JvmHeapAbstractState<StateT extends AbstractState<StateT>>

newObject

public StateT newObject(java.lang.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<StateT extends AbstractState<StateT>>

newArray

public StateT newArray(java.lang.String type,
                       java.util.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<StateT extends AbstractState<StateT>>

join

public JvmForgetfulHeapAbstractState<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<StateT extends AbstractState<StateT>>

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<StateT extends AbstractState<StateT>>

equals

public boolean equals(java.lang.Object o)

指定者:

equals 在接口中 AbstractState<StateT extends AbstractState<StateT>>

覆盖:

equals 在类中 java.lang.Object

hashCode

public int hashCode()

指定者:

hashCode 在接口中 AbstractState<StateT extends AbstractState<StateT>>

覆盖:

hashCode 在类中 java.lang.Object

copy

public JvmForgetfulHeapAbstractState<StateT> copy()

从接口复制的说明: AbstractState

Creates a copy of itself.

指定者:

copy 在接口中 AbstractState<StateT extends AbstractState<StateT>>

指定者:

copy 在接口中 JvmHeapAbstractState<StateT extends AbstractState<StateT>>