public interface IFollowReturnsPastSeedsHandler
| 限定符和类型 | 方法和说明 |
|---|---|
void |
handleFollowReturnsPastSeeds(Abstraction d1,
soot.Unit u,
Abstraction d2)
This method is called when followReturnsPastSeeds is enabled and a taint
leaves a method for which we do not have any callers.
|
void handleFollowReturnsPastSeeds(Abstraction d1, soot.Unit u, Abstraction d2)
d1 - The abstraction at the beginning of the calleeu - The return sited2 - The abstraction at the return siteCopyright © 2022 Fraunhofer SIT. All rights reserved.