程序包 proguard.analysis.cpa.bam

接口 BamLocationDependent<ContentT extends AbstractState<ContentT>>

类型参数:

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.

所有已知实现类:

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.

方法概要

修饰符和类型	方法	说明
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.

方法详细资料

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.