soot.jimple.infoflow.data.pathBuilders

类 RecursivePathBuilder

java.lang.Object

soot.jimple.infoflow.data.pathBuilders.AbstractAbstractionPathBuilder

soot.jimple.infoflow.data.pathBuilders.RecursivePathBuilder

所有已实现的接口:

IAbstractionPathBuilder, IMemoryBoundedSolver

public class RecursivePathBuilder
extends AbstractAbstractionPathBuilder

Recursive algorithm for reconstructing abstraction paths from sink to source

作者:

Steven Arzt

嵌套类概要

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

IAbstractionPathBuilder.OnPathBuilderResultAvailable

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

IMemoryBoundedSolver.IMemoryBoundedSolverStatusNotification

字段概要

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

logger, manager, pathConfig, resultAvailableHandlers

构造器概要

构造器

构造器和说明
RecursivePathBuilder(InfoflowManager manager, heros.solver.CountingThreadPoolExecutor executor) Creates a new instance of the RecursivePathBuilder class

方法概要

限定符和类型	方法和说明
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
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.
void	runIncrementalPathCompuation() Incrementally runs the path builder after some paths have already been computed.

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

addResultAvailableHandler

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

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

构造器详细资料

RecursivePathBuilder

public RecursivePathBuilder(InfoflowManager manager,
                            heros.solver.CountingThreadPoolExecutor executor)

Creates a new instance of the RecursivePathBuilder class

参数:

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

config - The configuration of the data flow solver

executor - The executor in which to run the path reconstruction tasks

reconstructPaths - True if the exact propagation path between source and sink shall be reconstructed.

方法详细资料

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

getResults

public InfoflowResults getResults()

从接口复制的说明: IAbstractionPathBuilder

Gets the constructed result paths

返回:

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

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

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.

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

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