Package proguard.analysis.cpa.jvm.state

Class JvmFrameAbstractState<StateT extends LatticeAbstractState<StateT>>

java.lang.Object

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

All Implemented Interfaces:

LatticeAbstractState<JvmFrameAbstractState<StateT>>, AbstractState

public class JvmFrameAbstractState<StateT extends LatticeAbstractState<StateT>>
extends java.lang.Object
implements LatticeAbstractState<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.

Field Summary

Fields

Modifier and Type	Field	Description
protected ListAbstractState<StateT>	localVariables
protected StackAbstractState<StateT>	operandStack

Constructor Summary

Constructors

Constructor	Description
JvmFrameAbstractState()	Create an empty frame.
JvmFrameAbstractState(ListAbstractState<StateT> localVariables, StackAbstractState<StateT> operandStack)	Create a frame from a local variable array and an operand stack.

Method Summary

Modifier and Type	Method	Description
JvmFrameAbstractState<StateT>	copy()	Creates a copy of itself.
boolean	equals(java.lang.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.
JvmFrameAbstractState<StateT>	join(JvmFrameAbstractState<StateT> abstractState)	Computes a join over itself and the abstractState.
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.
java.util.List<StateT>	pushAll(java.util.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.

Methods inherited from class java.lang.Object

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

Methods inherited from interface proguard.analysis.cpa.interfaces.AbstractState

getPrecision, getStateByName

Methods inherited from interface proguard.analysis.cpa.defaults.LatticeAbstractState

isLess

Field Detail

localVariables

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

operandStack

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

Constructor Detail

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.

Parameters:

localVariables - a local variable array

operandStack - an operand stack

Method Detail

join

public JvmFrameAbstractState<StateT> join(JvmFrameAbstractState<StateT> abstractState)

Description copied from interface: LatticeAbstractState

Computes a join over itself and the abstractState.

Specified by:

join in interface LatticeAbstractState<StateT extends LatticeAbstractState<StateT>>

isLessOrEqual

public boolean isLessOrEqual(JvmFrameAbstractState<StateT> abstractState)

Description copied from interface: LatticeAbstractState

Compares itself to the abstractState.

Specified by:

isLessOrEqual in interface LatticeAbstractState<StateT extends LatticeAbstractState<StateT>>

copy

public JvmFrameAbstractState<StateT> copy()

Description copied from interface: AbstractState

Creates a copy of itself.

Specified by:

copy in interface AbstractState

equals

public boolean equals(java.lang.Object obj)

Specified by:

equals in interface AbstractState

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Specified by:

hashCode in interface AbstractState

Overrides:

hashCode in class java.lang.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 java.util.List<StateT> pushAll(java.util.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.