类的使用
soot.jimple.infoflow.problems.AbstractInfoflowProblem

使用AbstractInfoflowProblem的程序包

程序包	说明
soot.jimple.infoflow
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中AbstractInfoflowProblem的使用

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

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

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

soot.jimple.infoflow.problems中AbstractInfoflowProblem的子类

限定符和类型	类和说明
class	BackwardsInfoflowProblem class which contains the flow functions for the backwards solver.
class	InfoflowProblem

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

限定符和类型	方法和说明
void	AbstractInfoflowProblem.setActivationUnitsToCallSites(AbstractInfoflowProblem other)

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

返回AbstractInfoflowProblem的soot.jimple.infoflow.solver中的方法

限定符和类型	方法和说明
AbstractInfoflowProblem	IInfoflowSolver.getTabulationProblem() Gets the IFDS problem solved by this solver

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

返回AbstractInfoflowProblem的soot.jimple.infoflow.solver.fastSolver中的方法

限定符和类型	方法和说明
AbstractInfoflowProblem	InfoflowSolver.getTabulationProblem()

参数类型为AbstractInfoflowProblem的soot.jimple.infoflow.solver.fastSolver中的构造器

构造器和说明
InfoflowSolver(AbstractInfoflowProblem problem, InterruptableExecutor executor)

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

返回AbstractInfoflowProblem的soot.jimple.infoflow.solver.fastSolver.flowInsensitive中的方法

限定符和类型	方法和说明
AbstractInfoflowProblem	InfoflowSolver.getTabulationProblem()

参数类型为AbstractInfoflowProblem的soot.jimple.infoflow.solver.fastSolver.flowInsensitive中的构造器

构造器和说明
InfoflowSolver(AbstractInfoflowProblem problem, InterruptableExecutor executor)

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

返回AbstractInfoflowProblem的soot.jimple.infoflow.solver.gcSolver中的方法

限定符和类型	方法和说明
AbstractInfoflowProblem	InfoflowSolver.getTabulationProblem()

参数类型为AbstractInfoflowProblem的soot.jimple.infoflow.solver.gcSolver中的构造器

构造器和说明
InfoflowSolver(AbstractInfoflowProblem problem, InterruptableExecutor executor)