soot.jimple.infoflow.data.pathBuilders

类 BatchPathBuilder

java.lang.Object

soot.jimple.infoflow.data.pathBuilders.AbstractAbstractionPathBuilder

soot.jimple.infoflow.data.pathBuilders.BatchPathBuilder

所有已实现的接口:

IAbstractionPathBuilder, IMemoryBoundedSolver

public class BatchPathBuilder
extends AbstractAbstractionPathBuilder

Path builder that forwards all its requests to another path builder in batches. This builder waits for each batch to complete before submitting another batch. Use this path builder to reduce the memory consumption of the path building process by keeping less paths in memory at the same time.

作者:

Steven Arzt

嵌套类概要

从接口继承的嵌套类/接口 soot.jimple.infoflow.data.pathBuilders.IAbstractionPathBuilder

IAbstractionPathBuilder.OnPathBuilderResultAvailable

从接口继承的嵌套类/接口 soot.jimple.infoflow.memory.IMemoryBoundedSolver

IMemoryBoundedSolver.IMemoryBoundedSolverStatusNotification

字段概要

字段

限定符和类型	字段和说明
protected int	batchSize
protected IAbstractionPathBuilder	innerBuilder
protected ISolverTerminationReason	terminationReason

从类继承的字段 soot.jimple.infoflow.data.pathBuilders.AbstractAbstractionPathBuilder

logger, manager, pathConfig, resultAvailableHandlers

构造器概要

构造器

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

方法概要

限定符和类型	方法和说明
void	addStatusListener(IMemoryBoundedSolver.IMemoryBoundedSolverStatusNotification listener) Adds a new listener that will be notified of status changes in the solver
void	computeTaintPaths(Set<AbstractionAtSink> res) Computes the path of tainted data between the source and the sink
void	forceTerminate(ISolverTerminationReason reason) Forces the solver to terminate its tasks and stop processing new tasks.
InfoflowResults	getResults() Gets the constructed result paths
ISolverTerminationReason	getTerminationReason() In case this solver was killed before it could complete its task, this method returns the reason for the abortion.
boolean	isKilled() Checks whether this solver was killed before it could complete its tasks
boolean	isTerminated() Checks whether this solver is terminated, either by forced termination, or because it has finished all of its work.
void	reset() Resets the solver to its initial state after it has been forcefully terminated.
void	runIncrementalPathCompuation() Incrementally runs the path builder after some paths have already been computed.
void	setBatchSize(int batchSize) Sets the number of paths that shall be part of one batch, i.e., that shall be forwarded to the inner path builder at the same time

从类继承的方法 soot.jimple.infoflow.data.pathBuilders.AbstractAbstractionPathBuilder

addResultAvailableHandler

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

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

字段详细资料

innerBuilder

protected final IAbstractionPathBuilder innerBuilder

batchSize

protected int batchSize

terminationReason

protected ISolverTerminationReason terminationReason

构造器详细资料

BatchPathBuilder

public BatchPathBuilder(InfoflowManager manager,
                        IAbstractionPathBuilder innerBuilder)

方法详细资料

computeTaintPaths

public void computeTaintPaths(Set<AbstractionAtSink> res)

从接口复制的说明: IAbstractionPathBuilder

Computes the path of tainted data between the source and the sink

参数:

res - The data flow tracker results

getResults

public InfoflowResults getResults()

从接口复制的说明: IAbstractionPathBuilder

Gets the constructed result paths

返回:

The constructed result paths

runIncrementalPathCompuation

public void runIncrementalPathCompuation()

从接口复制的说明: IAbstractionPathBuilder

Incrementally runs the path builder after some paths have already been computed. This method is usually called after the taint propagation has finished when incremental path building has been used in between.

forceTerminate

public void forceTerminate(ISolverTerminationReason reason)

从接口复制的说明: IMemoryBoundedSolver

Forces the solver to terminate its tasks and stop processing new tasks. This will kill the solver.

参数:

reason - The reason why the solver is terminated

isTerminated

public boolean isTerminated()

从接口复制的说明: IMemoryBoundedSolver

Checks whether this solver is terminated, either by forced termination, or because it has finished all of its work.

返回:

True if this solver is terminated, otherwise false

isKilled

public boolean isKilled()

从接口复制的说明: IMemoryBoundedSolver

Checks whether this solver was killed before it could complete its tasks

返回:

True if this solver was killed before it could complete its tasks, otherwise false

getTerminationReason

public ISolverTerminationReason getTerminationReason()

从接口复制的说明: IMemoryBoundedSolver

In case this solver was killed before it could complete its task, this method returns the reason for the abortion. Otherwise, this method returns null.

返回:

The reason for the abortion in case the solver was killed, otherwise null

reset

public void reset()

从接口复制的说明: IMemoryBoundedSolver

Resets the solver to its initial state after it has been forcefully terminated. After calling this method, the solver is expected to accept new tasks.

addStatusListener

public void addStatusListener(IMemoryBoundedSolver.IMemoryBoundedSolverStatusNotification listener)

从接口复制的说明: IMemoryBoundedSolver

Adds a new listener that will be notified of status changes in the solver

参数:

listener - The listener that will be notified when the status of the solver changes

setBatchSize

public void setBatchSize(int batchSize)

Sets the number of paths that shall be part of one batch, i.e., that shall be forwarded to the inner path builder at the same time

参数:

batchSize - The number of paths in one batch