程序包 soot.jimple.infoflow.solver

接口概要

接口	说明
IFollowReturnsPastSeedsHandler	Common interface for handlers that take care of follow-return-past-seeds cases which the normal solver does not handle
IInfoflowSolver

类概要

类	说明
Propagator<D>	Container class for abstractions to be propagated
SolverPeerGroup	Peer group for synchronizing multiple IFDS solvers

枚举概要

枚举	说明
PredecessorShorteningMode	Enumeration containing all modes with which predecessor chains can be shortened in the solvers