soot.jimple.infoflow.aliasing

类 ImplicitFlowAliasStrategy

java.lang.Object

soot.jimple.infoflow.aliasing.AbstractAliasStrategy

soot.jimple.infoflow.aliasing.AbstractBulkAliasStrategy

soot.jimple.infoflow.aliasing.ImplicitFlowAliasStrategy

所有已实现的接口:

IAliasingStrategy

public class ImplicitFlowAliasStrategy
extends AbstractBulkAliasStrategy

Aliasing strategy to be used for conditionally-called methods when analyzing implicit flows

作者:

Steven Arzt

字段概要

字段

限定符和类型	字段和说明
protected com.google.common.cache.LoadingCache<soot.SootMethod,Map<AccessPath,Set<AccessPath>>>	methodToAliases

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

manager

构造器概要

构造器

构造器和说明
ImplicitFlowAliasStrategy(InfoflowManager manager)

方法概要

限定符和类型	方法和说明
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	requiresAnalysisOnReturn() Gets whether this algorithm requires the analysis to be triggered again when returning from a callee.

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

isInteractive, isLazyAnalysis, mayAlias

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

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

字段详细资料

methodToAliases

protected final com.google.common.cache.LoadingCache<soot.SootMethod,Map<AccessPath,Set<AccessPath>>> methodToAliases

构造器详细资料

ImplicitFlowAliasStrategy

public ImplicitFlowAliasStrategy(InfoflowManager manager)

方法详细资料

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

参数:

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

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.

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