Interface CallGraphRefinePolicy

    • Method Detail

      • shouldRefine

        boolean shouldRefine​(CallerSiteContext callSiteAndCGNode)
        Parameters:
        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