public class FlowDroidMemoryWatcher extends Object
| 构造器和说明 |
|---|
FlowDroidMemoryWatcher()
Creates a new instance of the
FlowDroidMemoryWatcher class |
FlowDroidMemoryWatcher(double threshold)
Creates a new instance of the
FlowDroidMemoryWatcher class |
FlowDroidMemoryWatcher(InfoflowResults res)
Creates a new instance of the
FlowDroidMemoryWatcher class |
FlowDroidMemoryWatcher(InfoflowResults res,
double threshold)
Creates a new instance of the
FlowDroidMemoryWatcher class |
| 限定符和类型 | 方法和说明 |
|---|---|
void |
addSolver(IMemoryBoundedSolver solver)
Adds a solver that shall be terminated when the memory threshold is reached
|
void |
clearSolvers()
Clears the list of solvers registered with this memory watcher
|
void |
close()
Shuts down the memory watcher and frees all resources associated with it
|
void |
forceTerminate()
Forces the termination of all registered solvers
|
void |
forceTerminate(ISolverTerminationReason reason)
Forces the termination of all registered solvers
|
boolean |
removeSolver(IMemoryBoundedSolver solver)
Removes the given solver from the watch list.
|
void |
setTerminationCallback(ISolversTerminatedCallback terminationCallback)
Sets a callback that shall be invoked when the solvers have been terminated
due to memory exhaustion
|
public FlowDroidMemoryWatcher()
FlowDroidMemoryWatcher classpublic FlowDroidMemoryWatcher(double threshold)
FlowDroidMemoryWatcher classthreshold - The threshold at which to abort the workerspublic FlowDroidMemoryWatcher(InfoflowResults res)
FlowDroidMemoryWatcher classres - The result object in which to register any abortionspublic FlowDroidMemoryWatcher(InfoflowResults res, double threshold)
FlowDroidMemoryWatcher classres - The result object in which to register any abortionsthreshold - The threshold at which to abort the workerspublic void addSolver(IMemoryBoundedSolver solver)
solver - A solver that shall be terminated when the memory threshold is
reachedpublic boolean removeSolver(IMemoryBoundedSolver solver)
solver - The solver to remove from the watch listpublic void clearSolvers()
public void close()
public void forceTerminate()
public void forceTerminate(ISolverTerminationReason reason)
public void setTerminationCallback(ISolversTerminatedCallback terminationCallback)
terminationCallback - The callback to invoke when the solvers have been
terminated due to memory exhaustionCopyright © 2022 Fraunhofer SIT. All rights reserved.