soot.jimple.infoflow.memory

类 FlowDroidTimeoutWatcher

java.lang.Object

soot.jimple.infoflow.memory.FlowDroidTimeoutWatcher

所有已实现的接口:

IMemoryBoundedSolver.IMemoryBoundedSolverStatusNotification

public class FlowDroidTimeoutWatcher
extends Object
implements IMemoryBoundedSolver.IMemoryBoundedSolverStatusNotification

Class for enforcing timeouts on IFDS solvers

作者:

Steven Arzt

构造器概要

构造器

构造器和说明
FlowDroidTimeoutWatcher(long timeout) Creates a new instance of the FlowDroidTimeoutWatcher class
FlowDroidTimeoutWatcher(long timeout, InfoflowResults res) Creates a new instance of the FlowDroidTimeoutWatcher class

方法概要

限定符和类型	方法和说明
void	addSolver(IMemoryBoundedSolver solver) Adds a solver that shall be terminated when the timeout is reached
long	getTimeout() Gets the timeout after which the IFDS solvers are aborted
void	notifySolverStarted(IMemoryBoundedSolver solver) Method that is called when the solver has received its first task
void	notifySolverTerminated(IMemoryBoundedSolver solver) Method that is called when the solver has finished its last task
void	reset() Resets the internal state of the watcher so that it can be used again after being stopped
void	setTerminationCallback(ISolversTerminatedCallback terminationCallback) Sets a callback that shall be invoked when the solvers have been terminated due to a timeout
void	start() Starts the timeout watcher
void	stop() Stops the timeout watcher so that it no longer interferes with solver execution

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

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

构造器详细资料

FlowDroidTimeoutWatcher

public FlowDroidTimeoutWatcher(long timeout)

Creates a new instance of the FlowDroidTimeoutWatcher class

参数:

timeout - The timeout in seconds after which the solvers shall be stopped

FlowDroidTimeoutWatcher

public FlowDroidTimeoutWatcher(long timeout,
                               InfoflowResults res)

Creates a new instance of the FlowDroidTimeoutWatcher class

参数:

timeout - The timeout in seconds after which the solvers shall be stopped

res - The InfoflowResults object

方法详细资料

getTimeout

public long getTimeout()

Gets the timeout after which the IFDS solvers are aborted

返回:

The timeout after which the IFDS solvers are aborted

addSolver

public void addSolver(IMemoryBoundedSolver solver)

Adds a solver that shall be terminated when the timeout is reached

参数:

solver - A solver that shall be terminated when the timeout is reached

start

public void start()

Starts the timeout watcher

stop

public void stop()

Stops the timeout watcher so that it no longer interferes with solver execution

reset

public void reset()

Resets the internal state of the watcher so that it can be used again after being stopped

notifySolverStarted

public void notifySolverStarted(IMemoryBoundedSolver solver)

从接口复制的说明: IMemoryBoundedSolver.IMemoryBoundedSolverStatusNotification

Method that is called when the solver has received its first task

指定者:

notifySolverStarted 在接口中 IMemoryBoundedSolver.IMemoryBoundedSolverStatusNotification

参数:

solver - The solver that sends the notification

notifySolverTerminated

public void notifySolverTerminated(IMemoryBoundedSolver solver)

从接口复制的说明: IMemoryBoundedSolver.IMemoryBoundedSolverStatusNotification

Method that is called when the solver has finished its last task

指定者:

notifySolverTerminated 在接口中 IMemoryBoundedSolver.IMemoryBoundedSolverStatusNotification

setTerminationCallback

public void setTerminationCallback(ISolversTerminatedCallback terminationCallback)

Sets a callback that shall be invoked when the solvers have been terminated due to a timeout

参数:

terminationCallback - The callback to invoke when the solvers have been terminated due to a timeout