soot.jimple.infoflow.aliasing

类 NullAliasStrategy

java.lang.Object

soot.jimple.infoflow.aliasing.NullAliasStrategy

所有已实现的接口:

IAliasingStrategy

public class NullAliasStrategy
extends Object
implements IAliasingStrategy

Aliasing strategy that does nothing beyond comparing access paths based on equality

作者:

Steven Arzt

构造器概要

构造器

构造器和说明
NullAliasStrategy()

方法概要

限定符和类型	方法和说明
void	cleanup() Performs a clean up, i.e., removes all generated data from memory
void	computeAliasTaints(Abstraction d1, soot.jimple.Stmt src, soot.Value targetValue, Set<Abstraction> taintSet, soot.SootMethod method, Abstraction newAbs) Computes the taints for the aliases of a given tainted variable
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.

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

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

构造器详细资料

NullAliasStrategy

public NullAliasStrategy()

方法详细资料

computeAliasTaints

public void computeAliasTaints(Abstraction d1,
                               soot.jimple.Stmt src,
                               soot.Value targetValue,
                               Set<Abstraction> taintSet,
                               soot.SootMethod method,
                               Abstraction newAbs)

从接口复制的说明: IAliasingStrategy

Computes the taints for the aliases of a given tainted variable

指定者:

computeAliasTaints 在接口中 IAliasingStrategy

参数:

d1 - The context in which the variable has been tainted

src - The statement that tainted the variable

targetValue - The target value which has been tainted

taintSet - The set to which all generated alias taints shall be added

method - The method containing src

newAbs - The newly generated abstraction for the variable taint

isInteractive

public boolean isInteractive()

从接口复制的说明: IAliasingStrategy

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

指定者:

isInteractive 在接口中 IAliasingStrategy

返回:

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

指定者:

mayAlias 在接口中 IAliasingStrategy

参数:

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.

指定者:

injectCallingContext 在接口中 IAliasingStrategy

参数:

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

指定者:

isFlowSensitive 在接口中 IAliasingStrategy

返回:

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.

指定者:

requiresAnalysisOnReturn 在接口中 IAliasingStrategy

返回:

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

参数:

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).

指定者:

isLazyAnalysis 在接口中 IAliasingStrategy

返回:

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.

指定者:

getSolver 在接口中 IAliasingStrategy

返回:

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

指定者:

cleanup 在接口中 IAliasingStrategy