soot.jimple.infoflow.data.pathBuilders

接口 IAbstractionPathBuilder

所有超级接口:

IMemoryBoundedSolver

所有已知实现类:

AbstractAbstractionPathBuilder, BatchPathBuilder, ConcurrentAbstractionPathBuilder, ContextInsensitivePathBuilder, ContextInsensitiveSourceFinder, ContextSensitivePathBuilder, EmptyPathBuilder, RecursivePathBuilder

public interface IAbstractionPathBuilder
extends IMemoryBoundedSolver

Common interface for all path construction algorithms. These algorithms reconstruct the path from the sink to the source.

作者:

Steven Arzt

嵌套类概要

嵌套类

限定符和类型	接口和说明
static interface	IAbstractionPathBuilder.OnPathBuilderResultAvailable Callback interface that is triggered whenever a path builder has computed a result value

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

IMemoryBoundedSolver.IMemoryBoundedSolverStatusNotification

方法概要

限定符和类型	方法和说明
void	addResultAvailableHandler(IAbstractionPathBuilder.OnPathBuilderResultAvailable handler) Adds a handler that gets called when the path reconstructor has found a new source-to-sink connection
void	computeTaintPaths(Set<AbstractionAtSink> res) Computes the path of tainted data between the source and the sink
InfoflowResults	getResults() Gets the constructed result paths
void	runIncrementalPathCompuation() Incrementally runs the path builder after some paths have already been computed.

从接口继承的方法 soot.jimple.infoflow.memory.IMemoryBoundedSolver

addStatusListener, forceTerminate, getTerminationReason, isKilled, isTerminated, reset

方法详细资料

computeTaintPaths

void computeTaintPaths(Set<AbstractionAtSink> res)

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

参数:

res - The data flow tracker results

getResults

InfoflowResults getResults()

Gets the constructed result paths

返回:

The constructed result paths

addResultAvailableHandler

void addResultAvailableHandler(IAbstractionPathBuilder.OnPathBuilderResultAvailable handler)

Adds a handler that gets called when the path reconstructor has found a new source-to-sink connection

参数:

handler - The handler to add

runIncrementalPathCompuation

void runIncrementalPathCompuation()

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.