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

Class AlwaysRefineFieldsPolicy

java.lang.Object

com.ibm.wala.demandpa.alg.refinepolicy.AlwaysRefineFieldsPolicy

All Implemented Interfaces:

FieldRefinePolicy

public class AlwaysRefineFieldsPolicy
extends Object
implements FieldRefinePolicy

A policy that always refines handling of field accesses by checking for an alias path corresponding to each match edge.

Author:

Manu Sridharan

Constructor Summary

Constructors

Constructor	Description
AlwaysRefineFieldsPolicy()

Method Summary

Modifier and Type	Method	Description
boolean	nextPass()
boolean	shouldRefine(IField field, PointerKey basePtr, PointerKey val, IFlowLabel label, StateMachine.State state)

Methods inherited from class java.lang.Object

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

Constructor Details

AlwaysRefineFieldsPolicy

public AlwaysRefineFieldsPolicy()

Method Details

shouldRefine

public boolean shouldRefine(IField field,
 PointerKey basePtr,
 PointerKey val,
 IFlowLabel label,
 StateMachine.State state)

Specified by:

shouldRefine in interface FieldRefinePolicy

Parameters:

field - the accessed field

basePtr - the base pointer of the access

Returns:

true if match edges for the field access should be refined. Otherwise, false is returned, indicating that the field can be handled with match edges.

nextPass

public boolean nextPass()

Specified by:

nextPass in interface FieldRefinePolicy

Returns:

true if more refinement can be done, and hence another pass can be attempted; false otherwise