public interface IPathBuilderFactory
| 限定符和类型 | 方法和说明 |
|---|---|
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. |
IAbstractionPathBuilder createPathBuilder(InfoflowManager manager, int maxThreadNum)
manager - The data flow manager that gives access to the icfg and other
objectsmaxThreadNum - The maximum number of threads to use * @return The newly
created path builderIAbstractionPathBuilder createPathBuilder(InfoflowManager manager, InterruptableExecutor executor)
manager - The data flow manager that gives access to the icfg and other
objectsexecutor - The executor in which to run the path reconstruction tasks.
* @return The newly created path builderboolean supportsPathReconstruction()
IAbstractionPathBuilder object created by this
factory supports the reconstruction of the exact paths between source and
sink.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.boolean isContextSensitive()
IAbstractionPathBuilder object created by this
factory supports context-sensitive path reconstruction.IAbstractionPathBuilder object created by
this factory supports context-sensitive path reconstruction,
otherwise false.Copyright © 2022 Fraunhofer SIT. All rights reserved.