soot.jimple.infoflow.memory

接口 IMemoryBoundedSolver

所有已知子接口:

IAbstractionPathBuilder

所有已知实现类:

AbstractAbstractionPathBuilder, BatchPathBuilder, ConcurrentAbstractionPathBuilder, ContextInsensitivePathBuilder, ContextInsensitiveSourceFinder, ContextSensitivePathBuilder, EmptyPathBuilder, FlowInsensitiveSolver, IFDSSolver, IFDSSolver, InfoflowSolver, InfoflowSolver, InfoflowSolver, RecursivePathBuilder

public interface IMemoryBoundedSolver

Interface that exposes special functions only required by FlowDroid's memory management components

作者:

Steven Arzt

嵌套类概要

嵌套类

限定符和类型	接口和说明
static interface	IMemoryBoundedSolver.IMemoryBoundedSolverStatusNotification Interface that a memory-bounded solver can use to notify listeners of status changes

方法概要

限定符和类型	方法和说明
void	addStatusListener(IMemoryBoundedSolver.IMemoryBoundedSolverStatusNotification listener) Adds a new listener that will be notified of status changes in the solver
void	forceTerminate(ISolverTerminationReason reason) Forces the solver to terminate its tasks and stop processing new tasks.
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.

方法详细资料

forceTerminate

void forceTerminate(ISolverTerminationReason reason)

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

boolean isTerminated()

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

boolean isKilled()

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

getTerminationReason

ISolverTerminationReason getTerminationReason()

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

reset

void reset()

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

void addStatusListener(IMemoryBoundedSolver.IMemoryBoundedSolverStatusNotification listener)

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