Package scale.alias.shapirohorowitz

Provides alias analysis using the Shapiro-Horowitz algorithm.

See:
Description

Class Summary

FunctionTypeCat	A class which implements the non-standard type describing functions (or pointers to functions).
LocationTypeCat	This class extends the superclass AliasType.
ShapiroHorowitz	A class which implements extension to Bjarne Steensgaard's alias analysis algorithm.
TypeVarCat	A class that extends TypeVar class.
ValueTypeCat	A class which implements the non-standard type describing values.

Package scale.alias.shapirohorowitz Description

Provides alias analysis using the Shapiro-Horowitz algorithm.