soot.jimple.infoflow.data.pathBuilders

类 DefaultPathBuilderFactory

java.lang.Object

soot.jimple.infoflow.data.pathBuilders.DefaultPathBuilderFactory

所有已实现的接口:

IPathBuilderFactory

public class DefaultPathBuilderFactory
extends Object
implements IPathBuilderFactory

Default factory class for abstraction path builders

作者:

Steven Arzt

构造器概要

构造器

构造器和说明
DefaultPathBuilderFactory(InfoflowConfiguration.PathConfiguration config) Creates a new instance of the DefaultPathBuilderFactory class

方法概要

限定符和类型	方法和说明
IAbstractionPathBuilder	createPathBuilder(InfoflowManager manager, int maxThreadNum) Creates a new path builder.
IAbstractionPathBuilder	createPathBuilder(InfoflowManager manager, InterruptableExecutor executor) Creates a new path builder.
boolean	isContextSensitive() Gets whether the IAbstractionPathBuilder object created by this factory supports context-sensitive path reconstruction.
boolean	supportsPathReconstruction() Gets whether the IAbstractionPathBuilder object created by this factory supports the reconstruction of the exact paths between source and sink.

从类继承的方法 java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

构造器详细资料

DefaultPathBuilderFactory

public DefaultPathBuilderFactory(InfoflowConfiguration.PathConfiguration config)

Creates a new instance of the DefaultPathBuilderFactory class

参数:

config - The configuration for reconstructing data flow paths

方法详细资料

createPathBuilder

public IAbstractionPathBuilder createPathBuilder(InfoflowManager manager,
                                                 int maxThreadNum)

从接口复制的说明: IPathBuilderFactory

Creates a new path builder. Use this overload to have the path builder manage its own executors.

指定者:

createPathBuilder 在接口中 IPathBuilderFactory

参数:

manager - The data flow manager that gives access to the icfg and other objects

maxThreadNum - The maximum number of threads to use * @return The newly created path builder

createPathBuilder

public IAbstractionPathBuilder createPathBuilder(InfoflowManager manager,
                                                 InterruptableExecutor executor)

从接口复制的说明: IPathBuilderFactory

Creates a new path builder. Use this overload if you want the path builder to submit its tasks to an existing executor.

指定者:

createPathBuilder 在接口中 IPathBuilderFactory

参数:

manager - The data flow manager that gives access to the icfg and other objects

executor - The executor in which to run the path reconstruction tasks. * @return The newly created path builder

supportsPathReconstruction

public boolean supportsPathReconstruction()

从接口复制的说明: IPathBuilderFactory

Gets whether the IAbstractionPathBuilder object created by this factory supports the reconstruction of the exact paths between source and sink.

指定者:

supportsPathReconstruction 在接口中 IPathBuilderFactory

返回:

True if the IAbstractionPathBuilder object constructed by this factory gives the exact propagation path between source and sink, false if it only reports source-to-sink connections without paths.

isContextSensitive

public boolean isContextSensitive()

从接口复制的说明: IPathBuilderFactory

Gets whether the IAbstractionPathBuilder object created by this factory supports context-sensitive path reconstruction.

指定者:

isContextSensitive 在接口中 IPathBuilderFactory

返回:

True if the IAbstractionPathBuilder object created by this factory supports context-sensitive path reconstruction, otherwise false.