| 限定符和类型 | 方法和说明 |
|---|---|
void |
ConcurrentAbstractionPathBuilder.addStatusListener(IMemoryBoundedSolver.IMemoryBoundedSolverStatusNotification listener) |
void |
EmptyPathBuilder.addStatusListener(IMemoryBoundedSolver.IMemoryBoundedSolverStatusNotification listener) |
void |
BatchPathBuilder.addStatusListener(IMemoryBoundedSolver.IMemoryBoundedSolverStatusNotification listener) |
void |
RecursivePathBuilder.addStatusListener(IMemoryBoundedSolver.IMemoryBoundedSolverStatusNotification listener) |
| 限定符和类型 | 类和说明 |
|---|---|
class |
FlowDroidTimeoutWatcher
Class for enforcing timeouts on IFDS solvers
|
| 限定符和类型 | 方法和说明 |
|---|---|
void |
IMemoryBoundedSolver.addStatusListener(IMemoryBoundedSolver.IMemoryBoundedSolverStatusNotification listener)
Adds a new listener that will be notified of status changes in the solver
|
| 限定符和类型 | 方法和说明 |
|---|---|
void |
IFDSSolver.addStatusListener(IMemoryBoundedSolver.IMemoryBoundedSolverStatusNotification listener) |
| 限定符和类型 | 方法和说明 |
|---|---|
void |
FlowInsensitiveSolver.addStatusListener(IMemoryBoundedSolver.IMemoryBoundedSolverStatusNotification listener) |
| 限定符和类型 | 方法和说明 |
|---|---|
void |
IFDSSolver.addStatusListener(IMemoryBoundedSolver.IMemoryBoundedSolverStatusNotification listener) |
Copyright © 2022 Fraunhofer SIT. All rights reserved.