soot.jimple.infoflow.data.pathBuilders

类 EmptyPathBuilder

java.lang.Object

soot.jimple.infoflow.data.pathBuilders.EmptyPathBuilder

所有已实现的接口:

IAbstractionPathBuilder, IMemoryBoundedSolver

public class EmptyPathBuilder
extends Object
implements IAbstractionPathBuilder

An empty implementation of IAbstractionPathBuilder that always returns the empty set. For internal use only.

作者:

Steven Arzt

嵌套类概要

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

IAbstractionPathBuilder.OnPathBuilderResultAvailable

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

IMemoryBoundedSolver.IMemoryBoundedSolverStatusNotification

构造器概要

构造器

构造器和说明
EmptyPathBuilder()

方法概要

限定符和类型	方法和说明
void	addResultAvailableHandler(IAbstractionPathBuilder.OnPathBuilderResultAvailable handler) Adds a handler that gets called when the path reconstructor has found a new source-to-sink connection
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.

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

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

构造器详细资料

EmptyPathBuilder

public EmptyPathBuilder()

方法详细资料

computeTaintPaths

public void computeTaintPaths(Set<AbstractionAtSink> res)

从接口复制的说明: IAbstractionPathBuilder

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

指定者:

computeTaintPaths 在接口中 IAbstractionPathBuilder

参数:

res - The data flow tracker results

getResults

public InfoflowResults getResults()

从接口复制的说明: IAbstractionPathBuilder

Gets the constructed result paths

指定者:

getResults 在接口中 IAbstractionPathBuilder

返回:

The constructed result paths

addResultAvailableHandler

public void addResultAvailableHandler(IAbstractionPathBuilder.OnPathBuilderResultAvailable handler)

从接口复制的说明: IAbstractionPathBuilder

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

指定者:

addResultAvailableHandler 在接口中 IAbstractionPathBuilder

参数:

handler - The handler to add

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.

指定者:

runIncrementalPathCompuation 在接口中 IAbstractionPathBuilder

isTerminated

public boolean isTerminated()

从接口复制的说明: IMemoryBoundedSolver

Checks whether this solver is terminated, either by forced termination, or because it has finished all of its work.

指定者:

isTerminated 在接口中 IMemoryBoundedSolver

返回:

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

指定者:

isKilled 在接口中 IMemoryBoundedSolver

返回:

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.

指定者:

reset 在接口中 IMemoryBoundedSolver

addStatusListener

public void addStatusListener(IMemoryBoundedSolver.IMemoryBoundedSolverStatusNotification listener)

从接口复制的说明: IMemoryBoundedSolver

Adds a new listener that will be notified of status changes in the solver

指定者:

addStatusListener 在接口中 IMemoryBoundedSolver

参数:

listener - The listener that will be notified when the status of the solver changes

forceTerminate

public void forceTerminate(ISolverTerminationReason reason)

从接口复制的说明: IMemoryBoundedSolver

Forces the solver to terminate its tasks and stop processing new tasks. This will kill the solver.

指定者:

forceTerminate 在接口中 IMemoryBoundedSolver

参数:

reason - The reason why the solver is terminated

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.

指定者:

getTerminationReason 在接口中 IMemoryBoundedSolver

返回:

The reason for the abortion in case the solver was killed, otherwise null