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

类 JvmAbstractState<ContentT extends AbstractState<ContentT>>

java.lang.Object

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

类型参数:

ContentT - The type of the states contained in the JVM state. e.g., for taint analysis this would be a SetAbstractState containing the taints and for value analysis a ValueAbstractState.

所有已实现的接口:

AbstractState<JvmAbstractState<ContentT>>, ProgramLocationDependent

直接已知子类:

JvmValueAbstractState

public class JvmAbstractState<ContentT extends AbstractState<ContentT>>
extends Object
implements AbstractState<JvmAbstractState<ContentT>>, ProgramLocationDependent

The JvmAbstractState consists of the method frame JvmFrameAbstractState and the heap JvmHeapAbstractState.

字段概要

字段

修饰符和类型	字段	说明
static final String	DEFAULT_FIELD
protected final JvmFrameAbstractState<ContentT>	frame
protected final JvmHeapAbstractState<ContentT>	heap
protected JvmCfaNode	programLocation
protected final MapAbstractState<String,ContentT>	staticFields
protected static final JvmCfaNode	topLocation

构造器概要

构造器

构造器	说明
JvmAbstractState(JvmCfaNode programLocation, JvmFrameAbstractState<ContentT> frame, JvmHeapAbstractState<ContentT> heap, MapAbstractState<String,ContentT> staticFields)	Create a JVM abstract state.

方法概要

修饰符和类型	方法	说明
void	clearOperandStack()	Empties the operand stack.
JvmAbstractState<ContentT>	copy()	Creates a copy of itself.
boolean	equals(Object obj)
<T> ContentT	getArrayElementOrDefault(T array, ContentT index, ContentT abstractDefault)	Returns an abstract state for the array element at the given index or the abstractDefault if there is no information available.
<T> ContentT	getFieldOrDefault(T object, ContentT defaultValue)	Returns an abstract state representing the default field of the object or defaultState if there is no entry.
<T> ContentT	getFieldOrDefault(T object, String descriptor, ContentT defaultValue)	Returns an abstract state representing the field descriptor of the object or defaultState if there is no entry.
JvmFrameAbstractState<ContentT>	getFrame()	Returns the frame abstract state.
JvmHeapAbstractState<ContentT>	getHeap()	Returns the heap abstract state.
JvmCfaNode	getProgramLocation()	Returns the program location.
MapAbstractState<String,ContentT>	getStaticFields()	Returns the static field table abstract state.
ContentT	getStaticOrDefault(String fqn, ContentT defaultState)	Returns an abstract state representing the static field fqn or defaultState if there is no entry.
ContentT	getVariableOrDefault(int index, ContentT defaultState)	Returns an abstract state at the indexth position of the variable array or defaultState if there is no entry.
int	hashCode()
boolean	isLessOrEqual(JvmAbstractState<ContentT> abstractState)	Compares itself to the abstractState (i.e., compare the states on the partial order provided by the domain of the analysis).
JvmAbstractState<ContentT>	join(JvmAbstractState<ContentT> abstractState)	Computes a join over itself and another abstract state abstractState (i.e., finds the least upper bound on the semilattice).
ContentT	newArray(String type, List<ContentT> dimensions)	Returns an abstract state for a new array for the given type and dimentions.
ContentT	newObject(String className)	Returns an abstract state for a new object of the given className.
ContentT	newObject(Clazz clazz)	Returns an abstract state for a new object of the given Clazz.
ContentT	peek()	Returns the top element of the operand stack.
ContentT	peek(int index)	Returns the indexth element from the top of the operand stack.
ContentT	peekOrDefault(int index, ContentT defaultState)	Returns the indexth element from the top of the operand stack or returns defaultState if the stack does not have enough elements.
ContentT	peekOrDefault(ContentT defaultState)	Returns the top element of the operand stack or returns defaultState if the stack is empty.
ContentT	pop()	Removes the top element of the operand stack end returns it.
ContentT	popOrDefault(ContentT defaultState)	Removes the top element of the operand stack end returns it.
ContentT	push(ContentT state)	Inserts state to the top of the operand stack and returns it.
List<ContentT>	pushAll(List<ContentT> states)	Consequentially inserts elements of states to the top of the operand stack and returns states.
<T> void	setArrayElement(T array, ContentT index, ContentT value)	Sets the array element at the given index to the value.
<T> void	setField(T object, ContentT value)	Sets the default field of the object to value.
<T> void	setField(T object, String descriptor, ContentT value)	Sets the field descriptor of the object to value.
void	setProgramLocation(JvmCfaNode programLocation)	Sets the program location.
void	setStatic(String fqn, ContentT value, ContentT defaultState)	Sets the static field fqn to value, unless the value is defaultState.
ContentT	setVariable(int index, ContentT state, ContentT defaultState)	Sets the indexth position of the variable array to state and returns state.

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

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

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

getPrecision, isLess

字段详细资料

DEFAULT_FIELD

public static final String DEFAULT_FIELD

另请参阅:

• 常量字段值

frame

protected final JvmFrameAbstractState<ContentT extends AbstractState<ContentT>> frame

heap

protected final JvmHeapAbstractState<ContentT extends AbstractState<ContentT>> heap

staticFields

protected final MapAbstractState<String,ContentT extends AbstractState<ContentT>> staticFields

programLocation

protected JvmCfaNode programLocation

topLocation

protected static final JvmCfaNode topLocation

构造器详细资料

JvmAbstractState

public JvmAbstractState(JvmCfaNode programLocation,
 JvmFrameAbstractState<ContentT> frame,
 JvmHeapAbstractState<ContentT> heap,
 MapAbstractState<String,ContentT> staticFields)

Create a JVM abstract state.

参数:

programLocation - a CFA node

frame - a frame abstract state

heap - a heap abstract state

staticFields - a static field table

方法详细资料

join

public JvmAbstractState<ContentT> join(JvmAbstractState<ContentT> abstractState)

从接口复制的说明: AbstractState

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

指定者:

join 在接口中 AbstractState<ContentT extends AbstractState<ContentT>>

isLessOrEqual

public boolean isLessOrEqual(JvmAbstractState<ContentT> 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<ContentT extends AbstractState<ContentT>>

getProgramLocation

public JvmCfaNode getProgramLocation()

从接口复制的说明: ProgramLocationDependent

Returns the program location.

指定者:

getProgramLocation 在接口中 ProgramLocationDependent

setProgramLocation

public void setProgramLocation(JvmCfaNode programLocation)

从接口复制的说明: ProgramLocationDependent

Sets the program location.

指定者:

setProgramLocation 在接口中 ProgramLocationDependent

copy

public JvmAbstractState<ContentT> copy()

从接口复制的说明: AbstractState

Creates a copy of itself.

指定者:

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

equals

public boolean equals(Object obj)

指定者:

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

覆盖:

equals 在类中 Object

hashCode

public int hashCode()

指定者:

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

覆盖:

hashCode 在类中 Object

peek

public ContentT peek()

Returns the top element of the operand stack.

peek

public ContentT peek(int index)

Returns the indexth element from the top of the operand stack.

peekOrDefault

public ContentT peekOrDefault(ContentT defaultState)

Returns the top element of the operand stack or returns defaultState if the stack is empty.

peekOrDefault

public ContentT peekOrDefault(int index,
 ContentT defaultState)

Returns the indexth element from the top of the operand stack or returns defaultState if the stack does not have enough elements.

pop

public ContentT pop()

Removes the top element of the operand stack end returns it.

popOrDefault

public ContentT popOrDefault(ContentT defaultState)

Removes the top element of the operand stack end returns it. Returns defaultState if the stack is empty.

push

public ContentT push(ContentT state)

Inserts state to the top of the operand stack and returns it.

pushAll

public List<ContentT> pushAll(List<ContentT> states)

Consequentially inserts elements of states to the top of the operand stack and returns states.

clearOperandStack

public void clearOperandStack()

Empties the operand stack.

getVariableOrDefault

public ContentT getVariableOrDefault(int index,
 ContentT defaultState)

Returns an abstract state at the indexth position of the variable array or defaultState if there is no entry.

setVariable

public ContentT setVariable(int index,
 ContentT state,
 ContentT 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.

getStaticOrDefault

public ContentT getStaticOrDefault(String fqn,
 ContentT defaultState)

Returns an abstract state representing the static field fqn or defaultState if there is no entry.

setStatic

public void setStatic(String fqn,
 ContentT value,
 ContentT defaultState)

Sets the static field fqn to value, unless the value is defaultState.

getFieldOrDefault

public <T> ContentT getFieldOrDefault(T object,
 String descriptor,
 ContentT defaultValue)

Returns an abstract state representing the field descriptor of the object or defaultState if there is no entry.

getFieldOrDefault

public <T> ContentT getFieldOrDefault(T object,
 ContentT defaultValue)

Returns an abstract state representing the default field of the object or defaultState if there is no entry.

setField

public <T> void setField(T object,
 String descriptor,
 ContentT value)

Sets the field descriptor of the object to value.

setField

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

Sets the default field of the object to value.

getFrame

public JvmFrameAbstractState<ContentT> getFrame()

Returns the frame abstract state.

getStaticFields

public MapAbstractState<String,ContentT> getStaticFields()

Returns the static field table abstract state.

getHeap

public JvmHeapAbstractState<ContentT> getHeap()

Returns the heap abstract state.

newArray

public ContentT newArray(String type,
 List<ContentT> dimensions)

Returns an abstract state for a new array for the given type and dimentions.

newObject

public ContentT newObject(String className)

Returns an abstract state for a new object of the given className.

newObject

public ContentT newObject(Clazz clazz)

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

getArrayElementOrDefault

public <T> ContentT getArrayElementOrDefault(T array,
 ContentT index,
 ContentT abstractDefault)

Returns an abstract state for the array element at the given index or the abstractDefault if there is no information available.

setArrayElement

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

Sets the array element at the given index to the value.