接口的使用
soot.jimple.infoflow.solver.IInfoflowSolver

使用IInfoflowSolver的程序包

程序包	说明
soot.jimple.infoflow
soot.jimple.infoflow.aliasing
soot.jimple.infoflow.globalTaints
soot.jimple.infoflow.problems
soot.jimple.infoflow.solver
soot.jimple.infoflow.solver.fastSolver
soot.jimple.infoflow.solver.fastSolver.flowInsensitive
soot.jimple.infoflow.solver.gcSolver

soot.jimple.infoflow中IInfoflowSolver的使用

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

限定符和类型	方法和说明
protected IInfoflowSolver	Infoflow.createDataFlowSolver(InterruptableExecutor executor, AbstractInfoflowProblem problem, InfoflowConfiguration.SolverConfiguration solverConfig) Creates the instance of the data flow solver
IInfoflowSolver	InfoflowManager.getForwardSolver() Gets the IFDS solver that propagates edges forward

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

限定符和类型	方法和说明
protected void	Infoflow.onBeforeTaintPropagation(IInfoflowSolver forwardSolver, IInfoflowSolver backwardSolver) Callback that is invoked when the main taint propagation is about to start
protected void	Infoflow.onTaintPropagationCompleted(IInfoflowSolver forwardSolver, IInfoflowSolver backwardSolver) Callback that is invoked when the main taint propagation has completed.
void	InfoflowManager.setForwardSolver(IInfoflowSolver solver) Sets the IFDS solver that propagates edges forward

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

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

soot.jimple.infoflow.aliasing中IInfoflowSolver的使用

返回IInfoflowSolver的soot.jimple.infoflow.aliasing中的方法

限定符和类型	方法和说明
IInfoflowSolver	PtsBasedAliasStrategy.getSolver()
IInfoflowSolver	NullAliasStrategy.getSolver()
IInfoflowSolver	LazyAliasingStrategy.getSolver()
IInfoflowSolver	ImplicitFlowAliasStrategy.getSolver()
IInfoflowSolver	FlowSensitiveAliasStrategy.getSolver()
IInfoflowSolver	IAliasingStrategy.getSolver() If this aliasing strategy uses an additional IFDS solver, it is returned by this method.

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

限定符和类型	方法和说明
void	PtsBasedAliasStrategy.injectCallingContext(Abstraction abs, IInfoflowSolver fSolver, soot.SootMethod callee, soot.Unit callSite, Abstraction source, Abstraction d1)
void	NullAliasStrategy.injectCallingContext(Abstraction abs, IInfoflowSolver fSolver, soot.SootMethod callee, soot.Unit callSite, Abstraction source, Abstraction d1)
void	LazyAliasingStrategy.injectCallingContext(Abstraction abs, IInfoflowSolver fSolver, soot.SootMethod callee, soot.Unit callSite, Abstraction source, Abstraction d1)
void	ImplicitFlowAliasStrategy.injectCallingContext(Abstraction abs, IInfoflowSolver fSolver, soot.SootMethod callee, soot.Unit callSite, Abstraction source, Abstraction d1)
void	FlowSensitiveAliasStrategy.injectCallingContext(Abstraction d3, IInfoflowSolver fSolver, soot.SootMethod callee, soot.Unit callSite, Abstraction source, Abstraction d1)
void	IAliasingStrategy.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.

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

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

soot.jimple.infoflow.globalTaints中IInfoflowSolver的使用

类型变量类型为IInfoflowSolver的soot.jimple.infoflow.globalTaints中的构造器参数

构造器和说明
GlobalTaintManager(Set<IInfoflowSolver> solvers)

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

声明为IInfoflowSolver的soot.jimple.infoflow.problems中的字段

限定符和类型	字段和说明
protected IInfoflowSolver	AbstractInfoflowProblem.solver

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

限定符和类型	方法和说明
void	AbstractInfoflowProblem.setSolver(IInfoflowSolver solver)

soot.jimple.infoflow.solver中IInfoflowSolver的使用

类型参数类型为IInfoflowSolver的soot.jimple.infoflow.solver中的字段

限定符和类型	字段和说明
protected Set<IInfoflowSolver>	SolverPeerGroup.solvers

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

限定符和类型	方法和说明
void	SolverPeerGroup.addSolver(IInfoflowSolver solver) Adds a data flow solver to this peer group
void	IInfoflowSolver.injectContext(IInfoflowSolver otherSolver, soot.SootMethod callee, Abstraction d3, soot.Unit callSite, Abstraction d2, Abstraction d1)

soot.jimple.infoflow.solver.fastSolver中IInfoflowSolver的使用

参数类型为IInfoflowSolver的soot.jimple.infoflow.solver.fastSolver中的方法

限定符和类型	方法和说明
void	InfoflowSolver.injectContext(IInfoflowSolver otherSolver, soot.SootMethod callee, Abstraction d3, soot.Unit callSite, Abstraction d2, Abstraction d1)

soot.jimple.infoflow.solver.fastSolver.flowInsensitive中IInfoflowSolver的使用

实现IInfoflowSolver的soot.jimple.infoflow.solver.fastSolver.flowInsensitive中的类

限定符和类型	类和说明
class	InfoflowSolver We are subclassing the JimpleIFDSSolver because we need the same executor for both the forward and the backward analysis Also we need to be able to insert edges containing new taint information

参数类型为IInfoflowSolver的soot.jimple.infoflow.solver.fastSolver.flowInsensitive中的方法

限定符和类型	方法和说明
void	InfoflowSolver.injectContext(IInfoflowSolver otherSolver, soot.SootMethod callee, Abstraction d3, soot.Unit callSite, Abstraction d2, Abstraction d1)

soot.jimple.infoflow.solver.gcSolver中IInfoflowSolver的使用

参数类型为IInfoflowSolver的soot.jimple.infoflow.solver.gcSolver中的方法

限定符和类型	方法和说明
void	InfoflowSolver.injectContext(IInfoflowSolver otherSolver, soot.SootMethod callee, Abstraction d3, soot.Unit callSite, Abstraction d2, Abstraction d1)