类的使用
soot.jimple.infoflow.solver.executors.InterruptableExecutor

使用InterruptableExecutor的程序包

程序包	说明
soot.jimple.infoflow
soot.jimple.infoflow.data.pathBuilders
soot.jimple.infoflow.solver.executors
soot.jimple.infoflow.solver.fastSolver
soot.jimple.infoflow.solver.fastSolver.flowInsensitive
soot.jimple.infoflow.solver.gcSolver
soot.jimple.infoflow.threading

soot.jimple.infoflow中InterruptableExecutor的使用

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

限定符和类型	方法和说明
protected IInfoflowSolver	Infoflow.createDataFlowSolver(InterruptableExecutor executor, AbstractInfoflowProblem problem, InfoflowConfiguration.SolverConfiguration solverConfig) Creates the instance of the data flow solver
protected IAbstractionPathBuilder	Infoflow.createPathBuilder(InterruptableExecutor executor) Creates the path builder that shall be used for path reconstruction

soot.jimple.infoflow.data.pathBuilders中InterruptableExecutor的使用

声明为InterruptableExecutor的soot.jimple.infoflow.data.pathBuilders中的字段

限定符和类型	字段和说明
protected InterruptableExecutor	ConcurrentAbstractionPathBuilder.executor

参数类型为InterruptableExecutor的soot.jimple.infoflow.data.pathBuilders中的方法

限定符和类型	方法和说明
IAbstractionPathBuilder	DefaultPathBuilderFactory.createPathBuilder(InfoflowManager manager, InterruptableExecutor executor)
IAbstractionPathBuilder	IPathBuilderFactory.createPathBuilder(InfoflowManager manager, InterruptableExecutor executor) Creates a new path builder.

参数类型为InterruptableExecutor的soot.jimple.infoflow.data.pathBuilders中的构造器

构造器和说明
ConcurrentAbstractionPathBuilder(InfoflowManager manager, InterruptableExecutor executor)
ContextInsensitivePathBuilder(InfoflowManager manager, InterruptableExecutor executor) Creates a new instance of the ContextSensitivePathBuilder class
ContextInsensitiveSourceFinder(InfoflowManager manager, InterruptableExecutor executor) Creates a new instance of the ContextInsensitiveSourceFinder class
ContextInsensitiveSourceFinder(InfoflowManager manager, InterruptableExecutor executor, int numTasks) Creates a new instance of the ContextInsensitiveSourceFinder class

soot.jimple.infoflow.solver.executors中InterruptableExecutor的使用

soot.jimple.infoflow.solver.executors中InterruptableExecutor的子类

限定符和类型	类和说明
class	SetPoolExecutor Executor class that ensures that no two equal tasks are in the queue at the same time

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

声明为InterruptableExecutor的soot.jimple.infoflow.solver.fastSolver中的字段

限定符和类型	字段和说明
protected InterruptableExecutor	IFDSSolver.executor

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

限定符和类型	方法和说明
protected InterruptableExecutor	InfoflowSolver.getExecutor()
protected InterruptableExecutor	IFDSSolver.getExecutor() Factory method for this solver's thread-pool executor.

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

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

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

声明为InterruptableExecutor的soot.jimple.infoflow.solver.fastSolver.flowInsensitive中的字段

限定符和类型	字段和说明
protected InterruptableExecutor	FlowInsensitiveSolver.executor

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

限定符和类型	方法和说明
protected InterruptableExecutor	FlowInsensitiveSolver.getExecutor() Factory method for this solver's thread-pool executor.
protected InterruptableExecutor	InfoflowSolver.getExecutor()

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

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

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

声明为InterruptableExecutor的soot.jimple.infoflow.solver.gcSolver中的字段

限定符和类型	字段和说明
protected InterruptableExecutor	IFDSSolver.executor

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

限定符和类型	方法和说明
protected InterruptableExecutor	InfoflowSolver.getExecutor()
protected InterruptableExecutor	IFDSSolver.getExecutor() Factory method for this solver's thread-pool executor.

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

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

soot.jimple.infoflow.threading中InterruptableExecutor的使用

返回InterruptableExecutor的soot.jimple.infoflow.threading中的方法

限定符和类型	方法和说明
InterruptableExecutor	IExecutorFactory.createExecutor(int numThreads, boolean allowSetSemantics, InfoflowConfiguration config) Creates a new executor object for spawning worker threads
InterruptableExecutor	DefaultExecutorFactory.createExecutor(int numThreads, boolean allowSetSemantics, InfoflowConfiguration config)