接口的使用
soot.jimple.infoflow.data.pathBuilders.IAbstractionPathBuilder

使用IAbstractionPathBuilder的程序包

程序包	说明
soot.jimple.infoflow
soot.jimple.infoflow.data.pathBuilders

soot.jimple.infoflow中IAbstractionPathBuilder的使用

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

限定符和类型	方法和说明
protected IAbstractionPathBuilder	Infoflow.createPathBuilder(InterruptableExecutor executor) Creates the path builder that shall be used for path reconstruction

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

实现IAbstractionPathBuilder的soot.jimple.infoflow.data.pathBuilders中的类

限定符和类型	类和说明
class	AbstractAbstractionPathBuilder Abstract base class for all abstraction path builders
class	BatchPathBuilder Path builder that forwards all its requests to another path builder in batches.
class	ConcurrentAbstractionPathBuilder
class	ContextInsensitivePathBuilder Class for reconstructing abstraction paths from sinks to source.
class	ContextInsensitiveSourceFinder Class for reconstructing abstraction paths from sinks to source
class	ContextSensitivePathBuilder Class for reconstructing abstraction paths from sinks to source.
class	EmptyPathBuilder An empty implementation of IAbstractionPathBuilder that always returns the empty set.
class	RecursivePathBuilder Recursive algorithm for reconstructing abstraction paths from sink to source

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

限定符和类型	字段和说明
protected IAbstractionPathBuilder	BatchPathBuilder.innerBuilder

返回IAbstractionPathBuilder的soot.jimple.infoflow.data.pathBuilders中的方法

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

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

构造器和说明
BatchPathBuilder(InfoflowManager manager, IAbstractionPathBuilder innerBuilder)