JvmAbstractState (ProGuardCORE)

java.lang.Object
- proguard.analysis.cpa.jvm.state.JvmAbstractState<StateT>

All Implemented Interfaces:

LatticeAbstractState<JvmAbstractState<StateT>>, AbstractState, ProgramLocationDependent<JvmCfaNode,JvmCfaEdge,MethodSignature>

Direct Known Subclasses:

JvmReferenceAbstractState, JvmTaintAbstractState, JvmValueAbstractState
```
public class JvmAbstractState<StateT extends LatticeAbstractState<StateT>>
extends java.lang.Object
implements LatticeAbstractState<JvmAbstractState<StateT>>, ProgramLocationDependent<JvmCfaNode,JvmCfaEdge,MethodSignature>
```
The JvmAbstractState consists of the method frame JvmFrameAbstractState and the heap JvmHeapAbstractState.

Field Summary

Fields
Modifier and Type	Field and Description
`static java.lang.String`	`DEFAULT_FIELD`
`protected JvmFrameAbstractState<StateT>`	`frame`
`protected JvmHeapAbstractState<StateT>`	`heap`
`protected JvmCfaNode`	`programLocation`
`protected MapAbstractState<java.lang.String,StateT>`	`staticFields`
`protected static JvmCfaNode`	`topLocation`

Constructor Summary

Constructors
Constructor and Description
`JvmAbstractState(JvmCfaNode programLocation, JvmFrameAbstractState<StateT> frame, JvmHeapAbstractState<StateT> heap, MapAbstractState<java.lang.String,StateT> staticFields)` Create a JVM abstract state.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`void`	`clearOperandStack()` Empties the operand stack.
`JvmAbstractState<StateT>`	`copy()` Creates a copy of itself.
`boolean`	`equals(java.lang.Object obj)`
`<T> StateT`	`getArrayElementOrDefault(T array, StateT index, StateT abstractDefault)` Returns an abstract state for the `array` element at the given `index` or the `abstractDefault` if there is no information available.
`<T> StateT`	`getFieldOrDefault(T object, StateT defaultValue)` Returns an abstract state representing the default field of the `object` or `defaultState` if there is no entry.
`<T> StateT`	`getFieldOrDefault(T object, java.lang.String descriptor, StateT defaultValue)` Returns an abstract state representing the field `descriptor` of the `object` or `defaultState` if there is no entry.
`JvmFrameAbstractState<StateT>`	`getFrame()` Returns the frame abstract state.
`JvmHeapAbstractState<StateT>`	`getHeap()` Returns the heap abstract state.
`JvmCfaNode`	`getProgramLocation()` Returns the program location.
`MapAbstractState<java.lang.String,StateT>`	`getStaticFields()` Returns the static field table abstract state.
`StateT`	`getStaticOrDefault(java.lang.String fqn, StateT defaultState)` Returns an abstract state representing the static field `fqn` or `defaultState` if there is no entry.
`StateT`	`getVariableOrDefault(int index, StateT defaultState)` Returns an abstract state at the `index`th position of the variable array or `defaultState` if there is no entry.
`int`	`hashCode()`
`boolean`	`isLessOrEqual(JvmAbstractState<StateT> abstractState)` Compares itself to the `abstractState`.
`JvmAbstractState<StateT>`	`join(JvmAbstractState<StateT> abstractState)` Computes a join over itself and the `abstractState`.
`StateT`	`newArray(java.lang.String type, java.util.List<StateT> dimensions)` Returns an abstract state for a new array for the given `type` and `dimentions`.
`StateT`	`newObject(Clazz clazz)` Returns an abstract state for a new object of the given `Clazz`.
`StateT`	`newObject(java.lang.String className)` Returns an abstract state for a new object of the given `className`.
`StateT`	`peek()` Returns the top element of the operand stack.
`StateT`	`peek(int index)` Returns the `index`th element from the top of the operand stack.
`StateT`	`peekOrDefault(int index, StateT defaultState)` Returns the `index`th element from the top of the operand stack or returns `defaultState` if the stack does not have enough elements.
`StateT`	`peekOrDefault(StateT defaultState)` Returns the top element of the operand stack or returns `defaultState` if the stack is empty.
`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)` Consequentially inserts elements of `states` to the top of the operand stack and returns `states`.
`<T> void`	`setArrayElement(T array, StateT index, StateT value)` Sets the `array` element at the given `index` to the `value`.
`<T> void`	`setField(T object, StateT value)` Sets the default field of the `object` to `value`.
`<T> void`	`setField(T object, java.lang.String descriptor, StateT value)` Sets the field `descriptor` of the `object` to `value`.
`void`	`setProgramLocation(JvmCfaNode programLocation)` Sets the program location.
`void`	`setStatic(java.lang.String fqn, StateT value, StateT defaultState)` Sets the static field `fqn` to `value`, unless the value is `defaultState`.
`StateT`	`setVariable(int index, StateT state, StateT defaultState)` Sets the `index`th 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.defaults.LatticeAbstractState
isLess

Methods inherited from interface proguard.analysis.cpa.interfaces.AbstractState
getPrecision, getStateByName

Field Detail

DEFAULT_FIELD

public static final java.lang.String DEFAULT_FIELD

See Also:: Constant Field Values

frame

protected final JvmFrameAbstractState<StateT extends LatticeAbstractState<StateT>> frame

heap

protected final JvmHeapAbstractState<StateT extends LatticeAbstractState<StateT>> heap

staticFields

protected final MapAbstractState<java.lang.String,StateT extends LatticeAbstractState<StateT>> staticFields

programLocation
```
protected JvmCfaNode programLocation
```

topLocation

protected static final JvmCfaNode topLocation

Constructor Detail

JvmAbstractState

public JvmAbstractState(JvmCfaNode programLocation,
                        JvmFrameAbstractState<StateT> frame,
                        JvmHeapAbstractState<StateT> heap,
                        MapAbstractState<java.lang.String,StateT> staticFields)

Create a JVM abstract state.

Parameters:: programLocation - a CFA node; frame - a frame abstract state; heap - a heap abstract state; staticFields - a static field table

Method Detail
- join
```
public JvmAbstractState<StateT> join(JvmAbstractState<StateT> abstractState)
```
  Description copied from interface: LatticeAbstractState
  
  Computes a join over itself and the abstractState.
  
  Specified by:
  
  join in interface LatticeAbstractState<JvmAbstractState<StateT extends LatticeAbstractState<StateT>>>
- isLessOrEqual
```
public boolean isLessOrEqual(JvmAbstractState<StateT> abstractState)
```
  Description copied from interface: LatticeAbstractState
  
  Compares itself to the abstractState.
  
  Specified by:
  
  isLessOrEqual in interface LatticeAbstractState<JvmAbstractState<StateT extends LatticeAbstractState<StateT>>>
- getProgramLocation
```
public JvmCfaNode getProgramLocation()
```
  Description copied from interface: ProgramLocationDependent
  
  Returns the program location.
  
  Specified by:
  
  getProgramLocation in interface ProgramLocationDependent<JvmCfaNode,JvmCfaEdge,MethodSignature>
- setProgramLocation
```
public void setProgramLocation(JvmCfaNode programLocation)
```
  Description copied from interface: ProgramLocationDependent
  
  Sets the program location.
  
  Specified by:
  
  setProgramLocation in interface ProgramLocationDependent<JvmCfaNode,JvmCfaEdge,MethodSignature>
- copy
```
public JvmAbstractState<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
- peek
```
public StateT peek()
```
  Returns the top element of the operand stack.
- peek
```
public StateT peek(int index)
```
  Returns the indexth element from the top of the operand stack.
- peekOrDefault
```
public StateT peekOrDefault(StateT defaultState)
```
  Returns the top element of the operand stack or returns defaultState if the stack is empty.
- 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.
- 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)
```
  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 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.
- getStaticOrDefault
```
public StateT getStaticOrDefault(java.lang.String fqn,
                                 StateT defaultState)
```
  Returns an abstract state representing the static field fqn or defaultState if there is no entry.
- setStatic
```
public void setStatic(java.lang.String fqn,
                      StateT value,
                      StateT defaultState)
```
  Sets the static field fqn to value, unless the value is defaultState.
- getFieldOrDefault
```
public <T> StateT getFieldOrDefault(T object,
                                    java.lang.String descriptor,
                                    StateT defaultValue)
```
  Returns an abstract state representing the field descriptor of the object or defaultState if there is no entry.
- getFieldOrDefault
```
public <T> StateT getFieldOrDefault(T object,
                                    StateT 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,
                         java.lang.String descriptor,
                         StateT value)
```
  Sets the field descriptor of the object to value.
- setField
```
public <T> void setField(T object,
                         StateT value)
```
  Sets the default field of the object to value.
- getFrame
```
public JvmFrameAbstractState<StateT> getFrame()
```
  Returns the frame abstract state.
- getStaticFields
```
public MapAbstractState<java.lang.String,StateT> getStaticFields()
```
  Returns the static field table abstract state.
- getHeap
```
public JvmHeapAbstractState<StateT> getHeap()
```
  Returns the heap abstract state.
- newArray
```
public StateT newArray(java.lang.String type,
                       java.util.List<StateT> dimensions)
```
  Returns an abstract state for a new array for the given type and dimentions.
- newObject
```
public StateT newObject(java.lang.String className)
```
  Returns an abstract state for a new object of the given className.
- newObject
```
public StateT newObject(Clazz clazz)
```
  Returns an abstract state for a new object of the given Clazz.
- getArrayElementOrDefault
```
public <T> StateT getArrayElementOrDefault(T array,
                                           StateT index,
                                           StateT 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,
                                StateT index,
                                StateT value)
```
  Sets the array element at the given index to the value.

Class JvmAbstractState<StateT extends LatticeAbstractState<StateT>>

Field Summary

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

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

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

Field Detail

DEFAULT_FIELD

frame

heap

staticFields

programLocation

topLocation

Constructor Detail

JvmAbstractState

Method Detail

join

isLessOrEqual

getProgramLocation

setProgramLocation

copy

equals

hashCode

peek

peek

peekOrDefault

peekOrDefault

pop

popOrDefault

push

pushAll

clearOperandStack

getVariableOrDefault

setVariable

getStaticOrDefault

setStatic

getFieldOrDefault

getFieldOrDefault

setField

setField

getFrame

getStaticFields

getHeap

newArray

newObject

newObject

getArrayElementOrDefault

setArrayElement