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

类 JvmFrameAbstractState<StateT extends AbstractState<StateT>>

java.lang.Object

proguard.analysis.cpa.jvm.state.JvmFrameAbstractState<StateT>

所有已实现的接口:

AbstractState<JvmFrameAbstractState<StateT>>

public class JvmFrameAbstractState<StateT extends AbstractState<StateT>>
extends Object
implements AbstractState<JvmFrameAbstractState<StateT>>

The JvmFrameAbstractState combines the operand stack as the StackAbstractState and the local variable array as the ListAbstractState. This abstract state does not restrict the way one models values, i.e., one abstract state may correspond to a byte sequence of arbitrary length.

字段概要

字段

修饰符和类型	字段	说明
protected final ListAbstractState<StateT>	localVariables
protected final StackAbstractState<StateT>	operandStack

构造器概要

构造器

构造器	说明
JvmFrameAbstractState()	Create an empty frame.
JvmFrameAbstractState(ListAbstractState<StateT> localVariables, StackAbstractState<StateT> operandStack)	Create a frame from a local variable array and an operand stack.

方法概要

修饰符和类型	方法	说明
JvmFrameAbstractState<StateT>	copy()	Creates a copy of itself.
boolean	equals(Object obj)
ListAbstractState<StateT>	getLocalVariables()	Returns the variable array.
StackAbstractState<StateT>	getOperandStack()	Returns the operand stack.
StateT	getVariableOrDefault(int index, StateT defaultState)	Returns an abstract state at the indexth position of the variable array or defaultState if there is no entry.
int	hashCode()
boolean	isLessOrEqual(JvmFrameAbstractState<StateT> abstractState)	Compares itself to the abstractState (i.e., compare the states on the partial order provided by the domain of the analysis).
JvmFrameAbstractState<StateT>	join(JvmFrameAbstractState<StateT> abstractState)	Computes a join over itself and another abstract state abstractState (i.e., finds the least upper bound on the semilattice).
StateT	peek(int index)	Returns the indexth element from the top of the operand stack.
StateT	peekOrDefault(int index, StateT defaultState)	Returns the indexth element from the top of the operand stack or returns defaultState if the stack does not have enough elements.
StateT	pop()	Removes the top element of the operand stack end returns it.
StateT	popOrDefault(StateT defaultState)	Removes the top element of the operand stack end returns it.
StateT	push(StateT state)	Inserts state to the top of the operand stack and returns it.
List<StateT>	pushAll(List<StateT> states)	Sequentially inserts elements of states to the top of the operand stack and returns states.
StateT	setVariable(int index, StateT state, StateT 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

字段详细资料

localVariables

protected final ListAbstractState<StateT extends AbstractState<StateT>> localVariables

operandStack

protected final StackAbstractState<StateT extends AbstractState<StateT>> operandStack

构造器详细资料

JvmFrameAbstractState

public JvmFrameAbstractState()

Create an empty frame.

JvmFrameAbstractState

public JvmFrameAbstractState(ListAbstractState<StateT> localVariables,
 StackAbstractState<StateT> operandStack)

Create a frame from a local variable array and an operand stack.

参数:

localVariables - a local variable array

operandStack - an operand stack

方法详细资料

join

public JvmFrameAbstractState<StateT> join(JvmFrameAbstractState<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(JvmFrameAbstractState<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>>

copy

public JvmFrameAbstractState<StateT> copy()

从接口复制的说明: AbstractState

Creates a copy of itself.

指定者:

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

equals

public boolean equals(Object obj)

指定者:

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

覆盖:

equals 在类中 Object

hashCode

public int hashCode()

指定者:

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

覆盖:

hashCode 在类中 Object

peekOrDefault

public StateT peekOrDefault(int index,
 StateT defaultState)

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

peek

public StateT peek(int index)

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

pop

public StateT pop()

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

popOrDefault

public StateT popOrDefault(StateT defaultState)

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

push

public StateT push(StateT state)

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

pushAll

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

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

getVariableOrDefault

public StateT getVariableOrDefault(int index,
 StateT defaultState)

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

setVariable

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

getLocalVariables

public ListAbstractState<StateT> getLocalVariables()

Returns the variable array.

getOperandStack

public StackAbstractState<StateT> getOperandStack()

Returns the operand stack.