This package contains classes used to achieve allocation-site sensitive mode of analysis.