Class NullTestPiPolicy

java.lang.Object
com.ibm.wala.ssa.NullTestPiPolicy
All Implemented Interfaces:
SSAPiNodePolicy

public class NullTestPiPolicy extends Object implements SSAPiNodePolicy
A pi node policy with the following rule:

If we have the following code:

 S1: if (c op null) { ... } 
replace it with:
 S1: if (c op null) { v2 = PI(c, S1) .... } 
This renaming allows SSA-based analysis to reason about the nullness of v2 depending on the outcome of the branch.