Package proguard.analysis.cpa.jvm.domain.memory

Class BamLocationDependentJvmMemoryLocation<ContentT extends AbstractState<ContentT>>

java.lang.Object

proguard.analysis.cpa.jvm.domain.memory.BamLocationDependentJvmMemoryLocation<ContentT>

Type Parameters:

ContentT - The content of the jvm states for the traced analysis, contained in the BAM cache. For example, this can be a SetAbstractState of taints for taint analysis or a ValueAbstractState for value analysis.

All Implemented Interfaces:

BamLocationDependent<ContentT>, ProgramLocationDependent

public class BamLocationDependentJvmMemoryLocation<ContentT extends AbstractState<ContentT>>
extends Object
implements ProgramLocationDependent, BamLocationDependent<ContentT>

This class wraps a JvmMemoryLocation adding information on its program location and source reached set.

Constructor Summary

Constructors

Constructor	Description
BamLocationDependentJvmMemoryLocation(JvmMemoryLocation memoryLocation)
BamLocationDependentJvmMemoryLocation(JvmMemoryLocation memoryLocation, JvmCfaNode programLocation, ProgramLocationDependentReachedSet<JvmAbstractState<ContentT>> sourceReachedSet)

Method Summary

Modifier and Type	Method	Description
BamLocationDependentJvmMemoryLocation<ContentT>	copy()
boolean	equals(Object obj)
ContentT	extractFirstValue(ContentT defaultValue)	Extract the value from the first state from the reached state corresponding to the program, memory location, and BAM cache entry represented by this object.
JvmMemoryLocation	getMemoryLocation()
JvmCfaNode	getProgramLocation()	Returns the program location.
ProgramLocationDependentReachedSet<JvmAbstractState<ContentT>>	getSourceReachedSet()	Returns the reached set the abstract state belongs to.
int	hashCode()
void	setProgramLocation(JvmCfaNode programLocation)	Sets the program location.
void	setSourceReachedSet(ProgramLocationDependentReachedSet<JvmAbstractState<ContentT>> sourceReachedSet)	Sets the reached set the abstract state belongs to.
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Details

BamLocationDependentJvmMemoryLocation

public BamLocationDependentJvmMemoryLocation(JvmMemoryLocation memoryLocation)

BamLocationDependentJvmMemoryLocation

public BamLocationDependentJvmMemoryLocation(JvmMemoryLocation memoryLocation,
 JvmCfaNode programLocation,
 ProgramLocationDependentReachedSet<JvmAbstractState<ContentT>> sourceReachedSet)

Method Details

getMemoryLocation

public JvmMemoryLocation getMemoryLocation()

copy

public BamLocationDependentJvmMemoryLocation<ContentT> copy()

extractFirstValue

public ContentT extractFirstValue(ContentT defaultValue)

Extract the value from the first state from the reached state corresponding to the program, memory location, and BAM cache entry represented by this object.

Most analyses will have one state at most for each program location, and this method should be mostly used for this kind of analyses since it will return the only valid state. It's also possible that, for analyses where multiple states are possible, the returned value might be non-deterministic depending on the underlying reached set implementation.

Returns:

an empty optional if there is no analysis state in the cache entry and program location represented by this object. Otherwise, the content for the memory location specified by this object of the first state (there is usually only one state anyway, but this is analysis-dependent) for that program location.

getProgramLocation

public JvmCfaNode getProgramLocation()

Description copied from interface: ProgramLocationDependent

Returns the program location.

Specified by:

getProgramLocation in interface ProgramLocationDependent

setProgramLocation

public void setProgramLocation(JvmCfaNode programLocation)

Description copied from interface: ProgramLocationDependent

Sets the program location.

Specified by:

setProgramLocation in interface ProgramLocationDependent

getSourceReachedSet

public ProgramLocationDependentReachedSet<JvmAbstractState<ContentT>> getSourceReachedSet()

Description copied from interface: BamLocationDependent

Returns the reached set the abstract state belongs to.

Specified by:

getSourceReachedSet in interface BamLocationDependent<ContentT extends AbstractState<ContentT>>

setSourceReachedSet

public void setSourceReachedSet(ProgramLocationDependentReachedSet<JvmAbstractState<ContentT>> sourceReachedSet)

Description copied from interface: BamLocationDependent

Sets the reached set the abstract state belongs to.

Specified by:

setSourceReachedSet in interface BamLocationDependent<ContentT extends AbstractState<ContentT>>

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object