soot.jimple.infoflow.solver

接口 IFollowReturnsPastSeedsHandler

public interface IFollowReturnsPastSeedsHandler

Common interface for handlers that take care of follow-return-past-seeds cases which the normal solver does not handle

作者:

Steven Arzt

方法概要

限定符和类型	方法和说明
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.

方法详细资料

handleFollowReturnsPastSeeds

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.

参数:

d1 - The abstraction at the beginning of the callee

u - The return site

d2 - The abstraction at the return site