soot.jimple.infoflow.aliasing

类 LazyAliasingStrategy

java.lang.Object

soot.jimple.infoflow.aliasing.AbstractAliasStrategy

soot.jimple.infoflow.aliasing.AbstractInteractiveAliasStrategy

soot.jimple.infoflow.aliasing.LazyAliasingStrategy

所有已实现的接口:

IAliasingStrategy

public class LazyAliasingStrategy
extends AbstractInteractiveAliasStrategy

Aliasing strategy that relies on taints being propagated everywhere for true lazy alias checking

作者:

Steven Arzt

字段概要

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

manager

构造器概要

构造器

构造器和说明
LazyAliasingStrategy(InfoflowManager manager)

方法概要

限定符和类型	方法和说明
void	cleanup() Performs a clean up, i.e., removes all generated data from memory
IInfoflowSolver	getSolver() If this aliasing strategy uses an additional IFDS solver, it is returned by this method.
boolean	hasProcessedMethod(soot.SootMethod method) Checks whether this aliasing strategy has already computed aliases in the given method or not.
void	injectCallingContext(Abstraction abs, IInfoflowSolver fSolver, soot.SootMethod callee, soot.Unit callSite, Abstraction source, Abstraction d1) Notifies the aliasing strategy that a method has been called in the taint analysis.
boolean	isFlowSensitive() Gets whether this aliasing strategy is flow sensitive
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
boolean	requiresAnalysisOnReturn() Gets whether this algorithm requires the analysis to be triggered again when returning from a callee.

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

computeAliasTaints

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

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

构造器详细资料

LazyAliasingStrategy

public LazyAliasingStrategy(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

injectCallingContext

public void injectCallingContext(Abstraction abs,
                                 IInfoflowSolver fSolver,
                                 soot.SootMethod callee,
                                 soot.Unit callSite,
                                 Abstraction source,
                                 Abstraction d1)

从接口复制的说明: IAliasingStrategy

Notifies the aliasing strategy that a method has been called in the taint analysis. This may be helpful for interprocedural alias analyses.

参数:

abs - The abstraction on the callee's start unit

fSolver - The forward solver propagating the taints

callee - The callee

callSite - The call site

source - The abstraction at the call site

d1 - The abstraction at the caller method's entry point

isFlowSensitive

public boolean isFlowSensitive()

从接口复制的说明: IAliasingStrategy

Gets whether this aliasing strategy is flow sensitive

返回:

True if the aliasing strategy is flow sensitive, otherwise false

requiresAnalysisOnReturn

public boolean requiresAnalysisOnReturn()

从接口复制的说明: IAliasingStrategy

Gets whether this algorithm requires the analysis to be triggered again when returning from a callee.

返回:

True if the alias analysis must be triggered again when returning from a method, otherwise false

hasProcessedMethod

public boolean hasProcessedMethod(soot.SootMethod method)

从接口复制的说明: IAliasingStrategy

Checks whether this aliasing strategy has already computed aliases in the given method or not. Strategies that do not want to implement this method should always return true.

指定者:

hasProcessedMethod 在接口中 IAliasingStrategy

覆盖:

hasProcessedMethod 在类中 AbstractAliasStrategy

参数:

method - The method to check

返回:

True if this aliasing strategy has already computed aliases in the given method, 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

getSolver

public IInfoflowSolver getSolver()

从接口复制的说明: IAliasingStrategy

If this aliasing strategy uses an additional IFDS solver, it is returned by this method. If this IFDS problem does not have a an additional solver, null is returned.

返回:

The additional IFDS solver used by this aliasing strategy if applicable, null otherwise

cleanup

public void cleanup()

从接口复制的说明: IAliasingStrategy

Performs a clean up, i.e., removes all generated data from memory