soot.jimple.infoflow

类 InfoflowManager

java.lang.Object

soot.jimple.infoflow.InfoflowManager

public class InfoflowManager
extends Object

Manager class for passing internal data flow objects to interface implementors

作者:

Steven Arzt

构造器概要

构造器

限定符	构造器和说明
protected	InfoflowManager(InfoflowConfiguration config, IInfoflowSolver forwardSolver, IInfoflowCFG icfg, ISourceSinkManager sourceSinkManager, ITaintPropagationWrapper taintWrapper, soot.FastHierarchy hierarchy, AccessPathFactory accessPathFactory, GlobalTaintManager globalTaintManager)

方法概要

限定符和类型	方法和说明
void	cleanup() Releases all resources that are no longer required after the main step of the data flow analysis
AccessPathFactory	getAccessPathFactory() Gets the factory object for creating new access paths
Aliasing	getAliasing()
InfoflowConfiguration	getConfig() Gets the configuration for this data flow analysis
IInfoflowSolver	getForwardSolver() Gets the IFDS solver that propagates edges forward
GlobalTaintManager	getGlobalTaintManager() Gets the manager object for handling global taints outside of the IFDS solver
soot.FastHierarchy	getHierarchy() Gets the Soot type hierarchy that was constructed together with the callgraph.
IInfoflowCFG	getICFG() Gets the interprocedural control flow graph
ISourceSinkManager	getSourceSinkManager() Gets the SourceSinkManager implementation
ITaintPropagationWrapper	getTaintWrapper() Gets the taint wrapper to be used for handling library calls
TypeUtils	getTypeUtils() Gets the utility class for type checks
boolean	isAnalysisAborted() Checks whether the analysis has been aborted
void	setAliasing(Aliasing aliasing)
void	setForwardSolver(IInfoflowSolver solver) Sets the IFDS solver that propagates edges forward

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

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

构造器详细资料

InfoflowManager

protected InfoflowManager(InfoflowConfiguration config,
                          IInfoflowSolver forwardSolver,
                          IInfoflowCFG icfg,
                          ISourceSinkManager sourceSinkManager,
                          ITaintPropagationWrapper taintWrapper,
                          soot.FastHierarchy hierarchy,
                          AccessPathFactory accessPathFactory,
                          GlobalTaintManager globalTaintManager)

方法详细资料

getConfig

public InfoflowConfiguration getConfig()

Gets the configuration for this data flow analysis

返回:

The configuration for this data flow analysis

setForwardSolver

public void setForwardSolver(IInfoflowSolver solver)

Sets the IFDS solver that propagates edges forward

参数:

solver - The IFDS solver that propagates edges forward

getForwardSolver

public IInfoflowSolver getForwardSolver()

Gets the IFDS solver that propagates edges forward

返回:

The IFDS solver that propagates edges forward

getICFG

public IInfoflowCFG getICFG()

Gets the interprocedural control flow graph

返回:

The interprocedural control flow graph

getSourceSinkManager

public ISourceSinkManager getSourceSinkManager()

Gets the SourceSinkManager implementation

返回:

The SourceSinkManager implementation

getTaintWrapper

public ITaintPropagationWrapper getTaintWrapper()

Gets the taint wrapper to be used for handling library calls

返回:

The taint wrapper to be used for handling library calls

getTypeUtils

public TypeUtils getTypeUtils()

Gets the utility class for type checks

返回:

The utility class for type checks

getHierarchy

public soot.FastHierarchy getHierarchy()

Gets the Soot type hierarchy that was constructed together with the callgraph. In contrast to Scene.v().getFastHierarchy, this object is guaranteed to be available.

返回:

The fast hierarchy

getAccessPathFactory

public AccessPathFactory getAccessPathFactory()

Gets the factory object for creating new access paths

返回:

The factory object for creating new access paths

isAnalysisAborted

public boolean isAnalysisAborted()

Checks whether the analysis has been aborted

返回:

True if the analysis has been aborted, otherwise false

cleanup

public void cleanup()

Releases all resources that are no longer required after the main step of the data flow analysis

setAliasing

public void setAliasing(Aliasing aliasing)

getAliasing

public Aliasing getAliasing()

getGlobalTaintManager

public GlobalTaintManager getGlobalTaintManager()

Gets the manager object for handling global taints outside of the IFDS solver

返回:

The manager object for handling global taints outside of the IFDS solver