程序包 soot.jimple.infoflow.solver.functions

类概要

类	说明
SolverCallFlowFunction	A special implementation of the call flow function that allows access to the fact associated with the method's start point (i.e. the current context).
SolverCallToReturnFlowFunction	A special implementation of the call-to-return flow function that allows access to the fact associated with the method's start point (i.e. the current context).
SolverNormalFlowFunction	A special implementation of the normal flow function that allows access to the fact associated with the method's start point (i.e. the current context).
SolverReturnFlowFunction	A special implementation of the return flow function that allows access to the facts associated with the start points of the callees (i.e. the contexts to which we return).