Class NeverRefineCGPolicy

java.lang.Object
com.ibm.wala.demandpa.alg.refinepolicy.NeverRefineCGPolicy
All Implemented Interfaces:
CallGraphRefinePolicy

public class NeverRefineCGPolicy extends Object implements CallGraphRefinePolicy
  • Constructor Details

    • NeverRefineCGPolicy

      public NeverRefineCGPolicy()
  • Method Details

    • shouldRefine

      public boolean shouldRefine(CallerSiteContext callSiteAndCGNode)
      Specified by:
      shouldRefine in interface CallGraphRefinePolicy
      Returns:
      true if the analysis should attempt to determine targets for the virtual call on-the-fly, and false otherwise
    • nextPass

      public boolean nextPass()
      Specified by:
      nextPass in interface CallGraphRefinePolicy
      Returns:
      true if more refinement can be done, and hence another pass can be attempted; false otherwise