soot.jimple.infoflow.data.pathBuilders

接口 IPathBuilderFactory

所有已知实现类:

DefaultPathBuilderFactory

public interface IPathBuilderFactory

Common interface for all path builder factories

作者:

Steven Arzt

方法概要

限定符和类型	方法和说明
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.

方法详细资料

createPathBuilder

IAbstractionPathBuilder createPathBuilder(InfoflowManager manager,
                                          int maxThreadNum)

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

参数:

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

IAbstractionPathBuilder createPathBuilder(InfoflowManager manager,
                                          InterruptableExecutor executor)

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

参数:

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

boolean supportsPathReconstruction()

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

返回:

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

boolean isContextSensitive()

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

返回:

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