Improved precision: name space
More precise name space: improve data flow fact representation
Very important optimization is removing redundant values
How do detect redundant values - how to represent them
- Value flow graph [Steffen, Knoop,Ruthing ’ESOP’90
- Value name graph [Bodik, Anik, POPL’98]
How do we select the names for V