proguard.analysis.cpa.bam

Interface BamLocationDependent<ContentT extends AbstractState<ContentT>>

Type Parameters:

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

All Known Implementing Classes:

BamLocationDependentJvmMemoryLocation, JvmMemoryLocationAbstractState

public interface BamLocationDependent<ContentT extends AbstractState<ContentT>>

If the usage of an AbstractState depends on the specific BAM cache entry it belongs to, it should implement BamLocationDependent to link it to its source reached set.

Method Summary

Modifier and Type	Method and Description
ProgramLocationDependentReachedSet<JvmAbstractState<ContentT>>	getSourceReachedSet() Returns the reached set the abstract state belongs to.
void	setSourceReachedSet(ProgramLocationDependentReachedSet<JvmAbstractState<ContentT>> sourceReachedSet) Sets the reached set the abstract state belongs to.

Method Detail

getSourceReachedSet

ProgramLocationDependentReachedSet<JvmAbstractState<ContentT>> getSourceReachedSet()

Returns the reached set the abstract state belongs to.

setSourceReachedSet

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

Sets the reached set the abstract state belongs to.