soot.jimple.infoflow.data.pathBuilders

类 ContextInsensitiveSourceFinder

java.lang.Object

soot.jimple.infoflow.data.pathBuilders.AbstractAbstractionPathBuilder

soot.jimple.infoflow.data.pathBuilders.ConcurrentAbstractionPathBuilder

soot.jimple.infoflow.data.pathBuilders.ContextInsensitiveSourceFinder

所有已实现的接口:

IAbstractionPathBuilder, IMemoryBoundedSolver

public class ContextInsensitiveSourceFinder
extends ConcurrentAbstractionPathBuilder

Class for reconstructing abstraction paths from sinks to source

作者:

Steven Arzt

嵌套类概要

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

IAbstractionPathBuilder.OnPathBuilderResultAvailable

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

IMemoryBoundedSolver.IMemoryBoundedSolverStatusNotification

字段概要

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

executor, results

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

logger, manager, pathConfig, resultAvailableHandlers

构造器概要

构造器

构造器和说明
ContextInsensitiveSourceFinder(InfoflowManager manager, InterruptableExecutor executor) Creates a new instance of the ContextInsensitiveSourceFinder class
ContextInsensitiveSourceFinder(InfoflowManager manager, InterruptableExecutor executor, int numTasks) Creates a new instance of the ContextInsensitiveSourceFinder class

方法概要

限定符和类型	方法和说明
void	computeTaintPaths(Set<AbstractionAtSink> res) Computes the path of tainted data between the source and the sink
protected Runnable	getTaintPathTask(AbstractionAtSink abs) Gets the task that computes the result paths for a single abstraction.
void	runIncrementalPathCompuation() Incrementally runs the path builder after some paths have already been computed.
protected 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.ConcurrentAbstractionPathBuilder

addStatusListener, forceTerminate, getResults, getTerminationReason, isKilled, isTerminated, reset, scheduleDependentTask

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

addResultAvailableHandler

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

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

构造器详细资料

ContextInsensitiveSourceFinder

public ContextInsensitiveSourceFinder(InfoflowManager manager,
                                      InterruptableExecutor executor)

Creates a new instance of the ContextInsensitiveSourceFinder class

参数:

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

maxThreadNum - The maximum number of threads to use

ContextInsensitiveSourceFinder

public ContextInsensitiveSourceFinder(InfoflowManager manager,
                                      InterruptableExecutor executor,
                                      int numTasks)

Creates a new instance of the ContextInsensitiveSourceFinder class

参数:

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

maxThreadNum - The maximum number of threads to use

numTasks - The maximum number of abstractions for which a path reconstruction will be performed

方法详细资料

triggerComputationForNeighbors

protected boolean triggerComputationForNeighbors()

从类复制的说明: ConcurrentAbstractionPathBuilder

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

指定者:

triggerComputationForNeighbors 在类中 ConcurrentAbstractionPathBuilder

返回:

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

getTaintPathTask

protected Runnable getTaintPathTask(AbstractionAtSink abs)

从类复制的说明: ConcurrentAbstractionPathBuilder

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.

指定者:

getTaintPathTask 在类中 ConcurrentAbstractionPathBuilder

参数:

abs - The abstraction for which to compute the 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.

computeTaintPaths

public void computeTaintPaths(Set<AbstractionAtSink> res)

从接口复制的说明: IAbstractionPathBuilder

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

指定者:

computeTaintPaths 在接口中 IAbstractionPathBuilder

覆盖:

computeTaintPaths 在类中 ConcurrentAbstractionPathBuilder

参数:

res - The data flow tracker results