proguard.analysis.cpa.jvm.domain.reference

Class CompositeHeapJvmAbstractState

java.lang.Object

proguard.analysis.cpa.defaults.AbstractWrapperState

proguard.analysis.cpa.jvm.domain.reference.CompositeHeapJvmAbstractState

All Implemented Interfaces:

LatticeAbstractState<CompositeHeapJvmAbstractState>, AbstractState, ProgramLocationDependent<JvmCfaNode,JvmCfaEdge,MethodSignature>

public class CompositeHeapJvmAbstractState
extends AbstractWrapperState
implements LatticeAbstractState<CompositeHeapJvmAbstractState>, ProgramLocationDependent<JvmCfaNode,JvmCfaEdge,MethodSignature>

This AbstractWrapperState stores a JvmReferenceAbstractState having the JvmTreeHeapPrincipalAbstractState and a sequence of JvmAbstractStates which may have JvmTreeHeapFollowerAbstractStates depending on the first abstract state. Join and copy are done elementwise preserving the link between the heap models.

The composite abstract state must have the JvmReferenceAbstractState at its REFERENCE_STATE_INDEXth position. This abstract state will be used as the principal heap model for other abstract states.

Field Summary

Fields

Modifier and Type	Field and Description
static int	REFERENCE_STATE_INDEX

Constructor Summary

Constructors

Constructor and Description
CompositeHeapJvmAbstractState(java.util.List<JvmAbstractState<? extends LatticeAbstractState<? extends AbstractState>>> jvmAbstractStates) Create a composite abstract state from a list of JVM abstract states.

Method Summary

Modifier and Type	Method and Description
AbstractState	copy() Creates a copy of itself.
JvmCfaNode	getProgramLocation() Returns the program location.
JvmAbstractState<? extends LatticeAbstractState<? extends AbstractState>>	getStateByIndex(int index) Returns the state at the specified position in the composite state.
AbstractState	getStateByName(java.lang.String name) Returns an abstract state for a given if the state is composite, returns self otherwise.
java.util.List<JvmAbstractState<? extends LatticeAbstractState<? extends AbstractState>>>	getWrappedStates() Returns the wrapped abstract states.
boolean	isLessOrEqual(CompositeHeapJvmAbstractState abstractState) Compares itself to the abstractState.
CompositeHeapJvmAbstractState	join(CompositeHeapJvmAbstractState abstractState) Computes a join over itself and the abstractState.
void	setProgramLocation(JvmCfaNode programLocation) Sets the program location.
void	updateHeapDependence()

Methods inherited from class proguard.analysis.cpa.defaults.AbstractWrapperState

equals, hashCode

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

equals, getPrecision, hashCode

Field Detail

REFERENCE_STATE_INDEX

public static final int REFERENCE_STATE_INDEX

See Also:

Constant Field Values

Constructor Detail

CompositeHeapJvmAbstractState

public CompositeHeapJvmAbstractState(java.util.List<JvmAbstractState<? extends LatticeAbstractState<? extends AbstractState>>> jvmAbstractStates)

Create a composite abstract state from a list of JVM abstract states.

Parameters:

jvmAbstractStates - a list of JvmAbstractStates, must contain a JvmReferenceAbstractState at its REFERENCE_INDEXth position

Method Detail

getStateByIndex

public JvmAbstractState<? extends LatticeAbstractState<? extends AbstractState>> getStateByIndex(int index)

Returns the state at the specified position in the composite state.

updateHeapDependence

public void updateHeapDependence()

getWrappedStates

public java.util.List<JvmAbstractState<? extends LatticeAbstractState<? extends AbstractState>>> getWrappedStates()

Description copied from class: AbstractWrapperState

Returns the wrapped abstract states.

Specified by:

getWrappedStates in class AbstractWrapperState

join

public CompositeHeapJvmAbstractState join(CompositeHeapJvmAbstractState abstractState)

Description copied from interface: LatticeAbstractState

Computes a join over itself and the abstractState.

Specified by:

join in interface LatticeAbstractState<CompositeHeapJvmAbstractState>

isLessOrEqual

public boolean isLessOrEqual(CompositeHeapJvmAbstractState abstractState)

Description copied from interface: LatticeAbstractState

Compares itself to the abstractState.

Specified by:

isLessOrEqual in interface LatticeAbstractState<CompositeHeapJvmAbstractState>

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>

getStateByName

public AbstractState getStateByName(java.lang.String name)

Description copied from interface: AbstractState

Returns an abstract state for a given if the state is composite, returns self otherwise.

Specified by:

getStateByName in interface AbstractState

copy

public AbstractState copy()

Description copied from interface: AbstractState

Creates a copy of itself.

Specified by:

copy in interface AbstractState