Package edu.cmu.cs.crystal.analysis.alias

Interface Summary
Aliasing This interface represents aliasing information about a program variable.
ObjectLabel  
 

Class Summary
AliasLE This is an immutable lattice.
DefaultObjectLabel  
MayAliasAnalysis  
MayAliasTransferFunction  
SingleObjectAliasOps Lattice operations for AliasLE.