soot.jimple.infoflow.solver

接口

• IFollowReturnsPastSeedsHandler
• IInfoflowSolver

类

• Propagator
• SolverPeerGroup

枚举

• PredecessorShorteningMode