程序包 proguard.analysis.cpa.jvm.domain.value

类 JvmValueAbstractState

java.lang.Object

proguard.analysis.cpa.jvm.state.JvmAbstractState<ValueAbstractState>

proguard.analysis.cpa.jvm.domain.value.JvmValueAbstractState

所有已实现的接口:

AbstractState<JvmAbstractState<ValueAbstractState>>, ProgramLocationDependent

public class JvmValueAbstractState
extends JvmAbstractState<ValueAbstractState>

字段概要

从类继承的字段 proguard.analysis.cpa.jvm.state.JvmAbstractState

DEFAULT_FIELD, frame, heap, programLocation, staticFields, topLocation

构造器概要

构造器

构造器	说明
JvmValueAbstractState(ValueFactory valueFactory, ExecutingInvocationUnit executingInvocationUnit, JvmCfaNode programLocation, JvmFrameAbstractState<ValueAbstractState> frame, JvmHeapAbstractState<ValueAbstractState> heap, MapAbstractState<java.lang.String,ValueAbstractState> staticFields)	Create a JVM value abstract state.

方法概要

修饰符和类型	方法	说明
JvmValueAbstractState	copy()	Creates a copy of itself.
boolean	equals(java.lang.Object obj)
ValueFactory	getValueFactory()	Returns the ValueFactory.
ValueAbstractState	getVariableOrDefault(int index, ValueAbstractState defaultState)	Returns an abstract state at the indexth position of the variable array, the corresponding heap value for an IdentifiedReferenceValue or defaultState if there is no entry.
JvmValueAbstractState	join(JvmAbstractState<ValueAbstractState> abstractState)	Computes a join over itself and another abstract state abstractState (i.e., finds the least upper bound on the semilattice).
ValueAbstractState	newObject(java.lang.String className)	Returns an ValueAbstractState for a new object of the given className.
ValueAbstractState	newObject(Clazz clazz)	Returns an ValueAbstractState state for a new object of the given Clazz.
<T> void	setField(T object, ValueAbstractState value)	Sets the default field of the object to value.
ValueAbstractState	setVariable(int index, ValueAbstractState state, ValueAbstractState defaultState)	Sets the indexth position of the variable array to state and returns state.
java.lang.String	toString()

从类继承的方法 proguard.analysis.cpa.jvm.state.JvmAbstractState

clearOperandStack, getArrayElementOrDefault, getFieldOrDefault, getFieldOrDefault, getFrame, getHeap, getProgramLocation, getStaticFields, getStaticOrDefault, hashCode, isLessOrEqual, newArray, peek, peek, peekOrDefault, peekOrDefault, pop, popOrDefault, push, pushAll, setArrayElement, setField, setProgramLocation, setStatic

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

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

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

getPrecision, isLess

构造器详细资料

JvmValueAbstractState

public JvmValueAbstractState(ValueFactory valueFactory,
                             ExecutingInvocationUnit executingInvocationUnit,
                             JvmCfaNode programLocation,
                             JvmFrameAbstractState<ValueAbstractState> frame,
                             JvmHeapAbstractState<ValueAbstractState> heap,
                             MapAbstractState<java.lang.String,ValueAbstractState> staticFields)

Create a JVM value abstract state.

参数:

valueFactory - a ValueFactory which is used to create abstract values.

executingInvocationUnit - an ExecutingInvocationUnit which is used to execute methods reflectively.

programLocation - a CFA node

frame - a frame abstract state

heap - a heap abstract state

staticFields - a static field table

方法详细资料

getValueFactory

public ValueFactory getValueFactory()

Returns the ValueFactory.

getVariableOrDefault

public ValueAbstractState getVariableOrDefault(int index,
                                               ValueAbstractState defaultState)

Returns an abstract state at the indexth position of the variable array, the corresponding heap value for an IdentifiedReferenceValue or defaultState if there is no entry.

覆盖:

getVariableOrDefault 在类中 JvmAbstractState<ValueAbstractState>

setVariable

public ValueAbstractState setVariable(int index,
                                      ValueAbstractState state,
                                      ValueAbstractState defaultState)

Sets the indexth position of the variable array to state and returns state. If the array has to be extended, the added cells are padded with defaultState.

If the value is an IdentifiedReferenceValue, the corresponding heap value is also updated.

覆盖:

setVariable 在类中 JvmAbstractState<ValueAbstractState>

newObject

public ValueAbstractState newObject(java.lang.String className)

Returns an ValueAbstractState for a new object of the given className.

覆盖:

newObject 在类中 JvmAbstractState<ValueAbstractState>

newObject

public ValueAbstractState newObject(Clazz clazz)

Returns an ValueAbstractState state for a new object of the given Clazz.

覆盖:

newObject 在类中 JvmAbstractState<ValueAbstractState>

setField

public <T> void setField(T object,
                         ValueAbstractState value)

从类复制的说明: JvmAbstractState

Sets the default field of the object to value.

覆盖:

setField 在类中 JvmAbstractState<ValueAbstractState>

join

public JvmValueAbstractState join(JvmAbstractState<ValueAbstractState> abstractState)

从接口复制的说明: AbstractState

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

指定者:

join 在接口中 AbstractState<JvmAbstractState<ValueAbstractState>>

覆盖:

join 在类中 JvmAbstractState<ValueAbstractState>

copy

public JvmValueAbstractState copy()

从接口复制的说明: AbstractState

Creates a copy of itself.

指定者:

copy 在接口中 AbstractState<JvmAbstractState<ValueAbstractState>>

覆盖:

copy 在类中 JvmAbstractState<ValueAbstractState>

equals

public boolean equals(java.lang.Object obj)

指定者:

equals 在接口中 AbstractState<JvmAbstractState<ValueAbstractState>>

覆盖:

equals 在类中 JvmAbstractState<ValueAbstractState>

toString

public java.lang.String toString()

覆盖:

toString 在类中 java.lang.Object