soot.jimple.infoflow.aliasing

类 FlowSensitiveAliasStrategy

java.lang.Object

soot.jimple.infoflow.aliasing.AbstractAliasStrategy

soot.jimple.infoflow.aliasing.AbstractBulkAliasStrategy

soot.jimple.infoflow.aliasing.FlowSensitiveAliasStrategy

所有已实现的接口:

IAliasingStrategy

public class FlowSensitiveAliasStrategy
extends AbstractBulkAliasStrategy

A fully flow-sensitive aliasing strategy

作者:

Steven Arzt

字段概要

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

manager

构造器概要

构造器

构造器和说明
FlowSensitiveAliasStrategy(InfoflowManager manager, IInfoflowSolver backwardsSolver)

方法概要

限定符和类型	方法和说明
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.
void	injectCallingContext(Abstraction d3, 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

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

hasProcessedMethod

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

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

构造器详细资料

FlowSensitiveAliasStrategy

public FlowSensitiveAliasStrategy(InfoflowManager manager,
                                  IInfoflowSolver backwardsSolver)

方法详细资料

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 d3,
                                 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.

参数:

d3 - 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

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