Alias Analysis
==============

This section covers the various alias analysis algorithms implemented in Lotus.

.. toctree::
   :maxdepth: 2

   alias_analysis
   allocaa
   sparrowaa
   aserpta
   cclyzeraa
   dda
   dfpa
   dyckaa
   seadsa
   fpa
   lotusaa
   underapproxaa
   dynaa
   sraa
   metrics
   ptsset
   spec
   tpa
   typequalifier