soot.jimple.infoflow.data.pathBuilders

类 ContextInsensitivePathBuilder

java.lang.Object

soot.jimple.infoflow.data.pathBuilders.AbstractAbstractionPathBuilder

soot.jimple.infoflow.data.pathBuilders.ConcurrentAbstractionPathBuilder

soot.jimple.infoflow.data.pathBuilders.ContextInsensitivePathBuilder

所有已实现的接口:

IAbstractionPathBuilder, IMemoryBoundedSolver

public class ContextInsensitivePathBuilder
extends ConcurrentAbstractionPathBuilder

Class for reconstructing abstraction paths from sinks to source. This builder is context-insensitive which makes it faster, but also less precise than ContextSensitivePathBuilder.

作者:

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

构造器概要

构造器

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

方法概要

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

构造器详细资料

ContextInsensitivePathBuilder

public ContextInsensitivePathBuilder(InfoflowManager manager,
                                     InterruptableExecutor executor)

Creates a new instance of the ContextSensitivePathBuilder 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

方法详细资料

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

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

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.