Package harpoon.Analysis.TypeInference

Class Summary
AuxUniqueFIFO AuxUniqueFIFO
ClassCone ClassCone
FieldType FieldType
InterProc InterProc
IntraProc TypeInfo is a simple type analysis tool for quad-ssi form.
SetHClass SetHClass represents concrete type.