Class AlwaysRefineCGPolicy

java.lang.Object

com.ibm.wala.demandpa.alg.refinepolicy.AlwaysRefineCGPolicy

All Implemented Interfaces:

CallGraphRefinePolicy

public class AlwaysRefineCGPolicy
extends Object
implements CallGraphRefinePolicy

A policy that always refines the call graph.

Constructor Summary

Constructors

Constructor	Description
AlwaysRefineCGPolicy()

Method Summary

Modifier and Type	Method	Description
boolean	nextPass()
boolean	shouldRefine(CallerSiteContext callSiteAndCGNode)

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

AlwaysRefineCGPolicy

public AlwaysRefineCGPolicy()

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