soot.jimple.infoflow.data.pathBuilders

类 ConcurrentAbstractionPathBuilder

java.lang.Object

soot.jimple.infoflow.data.pathBuilders.AbstractAbstractionPathBuilder

soot.jimple.infoflow.data.pathBuilders.ConcurrentAbstractionPathBuilder

所有已实现的接口:

IAbstractionPathBuilder, IMemoryBoundedSolver

直接已知子类:

ContextInsensitivePathBuilder, ContextInsensitiveSourceFinder, ContextSensitivePathBuilder

public abstract class ConcurrentAbstractionPathBuilder
extends AbstractAbstractionPathBuilder

嵌套类概要

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

IAbstractionPathBuilder.OnPathBuilderResultAvailable

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

IMemoryBoundedSolver.IMemoryBoundedSolverStatusNotification

字段概要

字段

限定符和类型	字段和说明
protected InterruptableExecutor	executor
protected InfoflowResults	results

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

logger, manager, pathConfig, resultAvailableHandlers

构造器概要

构造器

构造器和说明
ConcurrentAbstractionPathBuilder(InfoflowManager manager, InterruptableExecutor executor)

方法概要

限定符和类型	方法和说明
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
protected abstract Runnable	getTaintPathTask(AbstractionAtSink abs) Gets the task that computes the result paths for a single abstraction.
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.
protected void	scheduleDependentTask(Runnable task) Schedules the given task for execution
protected abstract boolean	triggerComputationForNeighbors() Specifies whether the class shall create separate path reconstruction tasks for the neighbors of the abstractions that arrive at the sink

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

addResultAvailableHandler

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

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

从接口继承的方法 soot.jimple.infoflow.data.pathBuilders.IAbstractionPathBuilder

runIncrementalPathCompuation

字段详细资料

results

protected final InfoflowResults results

executor

protected final InterruptableExecutor executor

构造器详细资料

ConcurrentAbstractionPathBuilder

public ConcurrentAbstractionPathBuilder(InfoflowManager manager,
                                        InterruptableExecutor executor)

方法详细资料

getTaintPathTask

protected abstract Runnable getTaintPathTask(AbstractionAtSink abs)

Gets the task that computes the result paths for a single abstraction. If the concrete path building algorithm does not want to handle the given abstraction, it can return null to not execute anything.

参数:

abs - The abstraction for which to compute the result paths

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

triggerComputationForNeighbors

protected abstract boolean triggerComputationForNeighbors()

Specifies whether the class shall create separate path reconstruction tasks for the neighbors of the abstractions that arrive at the sink

返回:

True if separate path reconstruction tasks shall be started for each neighbor of each abstraction that reaches a sink, false if only the abstraction itself shall trigger a path reconstruction task

getResults

public InfoflowResults getResults()

从接口复制的说明: IAbstractionPathBuilder

Gets the constructed result paths

返回:

The constructed result paths

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

scheduleDependentTask

protected void scheduleDependentTask(Runnable task)

Schedules the given task for execution

参数:

task - The task to execute

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

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.

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

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