Package com.ibm.wala.demandpa.alg.refinepolicy

Interface CallGraphRefinePolicy

All Known Implementing Classes:
AlwaysRefineCGPolicy, ManualCGRefinePolicy, NeverRefineCGPolicy
public interface CallGraphRefinePolicy
Interface for specifying a policy for refining the call graph.

  • Method Details

    • shouldRefine

      boolean shouldRefine(CallerSiteContext callSiteAndCGNode)
      Returns:
      true if the analysis should attempt to determine targets for the virtual call on-the-fly, and false otherwise

    • nextPass

      boolean nextPass()
      Returns:
      true if more refinement can be done, and hence another pass can be attempted; false otherwise