接口的使用
soot.jimple.infoflow.solver.cfg.IInfoflowCFG

使用IInfoflowCFG的程序包

程序包	说明
soot.jimple.infoflow
soot.jimple.infoflow.cfg
soot.jimple.infoflow.handlers
soot.jimple.infoflow.problems
soot.jimple.infoflow.results.xml
soot.jimple.infoflow.solver.cfg
soot.jimple.infoflow.sourcesSinks.manager

soot.jimple.infoflow中IInfoflowCFG的使用

返回IInfoflowCFG的soot.jimple.infoflow中的方法

限定符和类型	方法和说明
IInfoflowCFG	InfoflowManager.getICFG() Gets the interprocedural control flow graph

参数类型为IInfoflowCFG的soot.jimple.infoflow中的方法

限定符和类型	方法和说明
protected Collection<soot.SootMethod>	Infoflow.getMethodsForSeeds(IInfoflowCFG icfg)
protected InfoflowManager	Infoflow.initializeInfoflowManager(ISourceSinkManager sourcesSinks, IInfoflowCFG iCfg, GlobalTaintManager globalTaintManager) Initializes the data flow manager with which propagation rules can interact with the data flow engine

参数类型为IInfoflowCFG的soot.jimple.infoflow中的构造器

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

soot.jimple.infoflow.cfg中IInfoflowCFG的使用

返回IInfoflowCFG的soot.jimple.infoflow.cfg中的方法

限定符和类型	方法和说明
IInfoflowCFG	BiDirICFGFactory.buildBiDirICFG(InfoflowConfiguration.CallgraphAlgorithm callgraphAlgorithm, boolean enableExceptionTracking)
IInfoflowCFG	DefaultBiDiICFGFactory.buildBiDirICFG(InfoflowConfiguration.CallgraphAlgorithm callgraphAlgorithm, boolean enableExceptions)

soot.jimple.infoflow.handlers中IInfoflowCFG的使用

参数类型为IInfoflowCFG的soot.jimple.infoflow.handlers中的方法

限定符和类型	方法和说明
void	ResultsAvailableHandler.onResultsAvailable(IInfoflowCFG cfg, InfoflowResults results) Callback that is invoked when information flow results are available
InfoflowResults	PostAnalysisHandler.onResultsAvailable(InfoflowResults results, IInfoflowCFG cfg) This method is called after the data flow analysis has finished.

soot.jimple.infoflow.problems中IInfoflowCFG的使用

返回IInfoflowCFG的soot.jimple.infoflow.problems中的方法

限定符和类型	方法和说明
IInfoflowCFG	AbstractInfoflowProblem.interproceduralCFG()

soot.jimple.infoflow.results.xml中IInfoflowCFG的使用

声明为IInfoflowCFG的soot.jimple.infoflow.results.xml中的字段

限定符和类型	字段和说明
protected IInfoflowCFG	InfoflowResultsSerializer.icfg

参数类型为IInfoflowCFG的soot.jimple.infoflow.results.xml中的构造器

构造器和说明
InfoflowResultsSerializer(IInfoflowCFG cfg, InfoflowConfiguration config) Creates a new instance of the InfoflowResultsSerializer class

soot.jimple.infoflow.solver.cfg中IInfoflowCFG的使用

实现IInfoflowCFG的soot.jimple.infoflow.solver.cfg中的类

限定符和类型	类和说明
class	BackwardsInfoflowCFG Inverse interprocedural control-flow graph for the infoflow solver
class	InfoflowCFG Interprocedural control-flow graph for the infoflow solver

返回IInfoflowCFG的soot.jimple.infoflow.solver.cfg中的方法

限定符和类型	方法和说明
IInfoflowCFG	BackwardsInfoflowCFG.getBaseCFG()

参数类型为IInfoflowCFG的soot.jimple.infoflow.solver.cfg中的构造器

构造器和说明
BackwardsInfoflowCFG(IInfoflowCFG baseCFG)

soot.jimple.infoflow.sourcesSinks.manager中IInfoflowCFG的使用

参数类型为IInfoflowCFG的soot.jimple.infoflow.sourcesSinks.manager中的方法

限定符和类型	方法和说明
protected ISourceSinkDefinition	BaseSourceSinkManager.checkCallbackParamSource(soot.jimple.Stmt sCallSite, IInfoflowCFG cfg) Checks whether the given statement obtains data from a callback source
protected ISourceSinkDefinition	BaseSourceSinkManager.getSource(soot.jimple.Stmt sCallSite, IInfoflowCFG cfg) Checks whether the given statement is a source, i.e. introduces new information into the application.
protected ISourceSinkDefinition	BaseSourceSinkManager.getUISourceDefinition(soot.jimple.Stmt sCallSite, IInfoflowCFG cfg) Checks whether the given call site indicates a UI source, e.g. a password input.