soot.jimple.infoflow.aliasing

类 AbstractBulkAliasStrategy

java.lang.Object

soot.jimple.infoflow.aliasing.AbstractAliasStrategy

soot.jimple.infoflow.aliasing.AbstractBulkAliasStrategy

所有已实现的接口:

IAliasingStrategy

直接已知子类:

FlowSensitiveAliasStrategy, ImplicitFlowAliasStrategy, PtsBasedAliasStrategy

public abstract class AbstractBulkAliasStrategy
extends AbstractAliasStrategy

字段概要

从类继承的字段 soot.jimple.infoflow.aliasing.AbstractAliasStrategy

manager

构造器概要

构造器

构造器和说明
AbstractBulkAliasStrategy(InfoflowManager manager)

方法概要

限定符和类型	方法和说明
boolean	isInteractive() Gets whether this aliasing strategy is interactive, i.e. computes aliases on demand.
boolean	isLazyAnalysis() Gets whether this analysis is lazy, i.e., needs all taints to be propagated into all methods, even if the respective access path is not even visible inside the callee (but an alias may be visible).
boolean	mayAlias(AccessPath ap1, AccessPath ap2) Gets whether the two given access path may alias

从类继承的方法 soot.jimple.infoflow.aliasing.AbstractAliasStrategy

hasProcessedMethod

从类继承的方法 java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

从接口继承的方法 soot.jimple.infoflow.aliasing.IAliasingStrategy

cleanup, computeAliasTaints, getSolver, injectCallingContext, isFlowSensitive, requiresAnalysisOnReturn

构造器详细资料

AbstractBulkAliasStrategy

public AbstractBulkAliasStrategy(InfoflowManager manager)

方法详细资料

isInteractive

public boolean isInteractive()

从接口复制的说明: IAliasingStrategy

Gets whether this aliasing strategy is interactive, i.e. computes aliases on demand.

返回:

True if this is an on-demand aliasing strategy, otherwise false

mayAlias

public boolean mayAlias(AccessPath ap1,
                        AccessPath ap2)

从接口复制的说明: IAliasingStrategy

Gets whether the two given access path may alias

参数:

ap1 - The first access path

ap2 - The second access path

返回:

True if the two access paths can potentially point ot the same runtime object, otherwise false

isLazyAnalysis

public boolean isLazyAnalysis()

从接口复制的说明: IAliasingStrategy

Gets whether this analysis is lazy, i.e., needs all taints to be propagated into all methods, even if the respective access path is not even visible inside the callee (but an alias may be visible).

返回:

True if the alias analysis requires all taints to be propagated into all methods