soot.jimple.infoflow.solver.gcSolver

接口 IGCReferenceProvider<D,N>

所有已知实现类:

AbstractReferenceProvider, AheadOfTimeReferenceProvider, OnDemandReferenceProvider

public interface IGCReferenceProvider<D,N>

Interface for all implementations that can provide reference counting. These classes answer the following question: Given a method X, in which methods can the solver transitively spawn new analysis tasks starting from X?

作者:

Steven Arzt

方法概要

限定符和类型	方法和说明
Set<soot.SootMethod>	getMethodReferences(soot.SootMethod method, FastSolverLinkedNode<D,N> context) Given a method and a context, gets the set of methods that in which the solver can transitively spawn new analysis tasks

方法详细资料

getMethodReferences

Set<soot.SootMethod> getMethodReferences(soot.SootMethod method,
                                         FastSolverLinkedNode<D,N> context)

Given a method and a context, gets the set of methods that in which the solver can transitively spawn new analysis tasks

参数:

method -

context -

返回: