soot.jimple.infoflow.data.pathBuilders

类 ContextSensitivePathBuilder

java.lang.Object

soot.jimple.infoflow.data.pathBuilders.AbstractAbstractionPathBuilder

soot.jimple.infoflow.data.pathBuilders.ConcurrentAbstractionPathBuilder

soot.jimple.infoflow.data.pathBuilders.ContextSensitivePathBuilder

所有已实现的接口:

IAbstractionPathBuilder, IMemoryBoundedSolver

public class ContextSensitivePathBuilder
extends ConcurrentAbstractionPathBuilder

Class for reconstructing abstraction paths from sinks to source. This builder is context-sensitive which makes it more precise than the ContextInsensitivePathBuilder, but also a bit slower.

作者:

Steven Arzt

嵌套类概要

嵌套类

限定符和类型	类和说明
protected class	ContextSensitivePathBuilder.SourceFindingTask Task for tracking back the path from sink to source.

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

IAbstractionPathBuilder.OnPathBuilderResultAvailable

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

IMemoryBoundedSolver.IMemoryBoundedSolverStatusNotification

字段概要

字段

限定符和类型	字段和说明
protected ConcurrentIdentityHashMultiMap<Abstraction,SourceContextAndPath>	pathCache

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

executor, results

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

logger, manager, pathConfig, resultAvailableHandlers

构造器概要

构造器

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

方法概要

限定符和类型	方法和说明
protected boolean	checkForSource(Abstraction abs, SourceContextAndPath scap) Checks whether the given abstraction is a source.
void	computeTaintPaths(Set<AbstractionAtSink> res) Computes the path of tainted data between the source and the sink
InfoflowResults	getResults() Gets the constructed result paths
protected Runnable	getTaintPathTask(AbstractionAtSink abs) Gets the task that computes the result paths for a single abstraction.
protected void	onTaintPathsComputed() Method that is called when the taint paths have been computed
void	runIncrementalPathCompuation() Incrementally runs the path builder after some paths have already been computed.
void	shutdown() Terminates the internal executor and cleans up all resources that were used
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, 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

字段详细资料

pathCache

protected ConcurrentIdentityHashMultiMap<Abstraction,SourceContextAndPath> pathCache

构造器详细资料

ContextSensitivePathBuilder

public ContextSensitivePathBuilder(InfoflowManager manager)

Creates a new instance of the ContextSensitivePathBuilder class

参数:

manager - The data flow manager that gives access to the icfg and other objects

方法详细资料

checkForSource

protected boolean checkForSource(Abstraction abs,
                                 SourceContextAndPath scap)

Checks whether the given abstraction is a source. If so, a result entry is created.

参数:

abs - The abstraction to check

scap - The path leading up to the current abstraction

返回:

True if the current abstraction is a source, otherwise false

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

onTaintPathsComputed

protected void onTaintPathsComputed()

Method that is called when the taint paths have been computed

shutdown

public void shutdown()

Terminates the internal executor and cleans up all resources that were used

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

getResults

public InfoflowResults getResults()

从接口复制的说明: IAbstractionPathBuilder

Gets the constructed result paths

指定者:

getResults 在接口中 IAbstractionPathBuilder

覆盖:

getResults 在类中 ConcurrentAbstractionPathBuilder

返回:

The constructed 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