| 限定符和类型 | 方法和说明 |
|---|---|
void |
IInfoflowSolver.setFollowReturnsPastSeedsHandler(IFollowReturnsPastSeedsHandler handler)
Sets a handler that will be called when a followReturnsPastSeeds case
happens, i.e., a taint leaves a method for which we have not seen any callers
|
| 限定符和类型 | 方法和说明 |
|---|---|
void |
InfoflowSolver.setFollowReturnsPastSeedsHandler(IFollowReturnsPastSeedsHandler handler) |
| 限定符和类型 | 方法和说明 |
|---|---|
void |
InfoflowSolver.setFollowReturnsPastSeedsHandler(IFollowReturnsPastSeedsHandler handler) |
| 限定符和类型 | 方法和说明 |
|---|---|
void |
InfoflowSolver.setFollowReturnsPastSeedsHandler(IFollowReturnsPastSeedsHandler handler) |
Copyright © 2022 Fraunhofer SIT. All rights reserved.