==================================
Scalable Static Analysis Framework
==================================

This is a framework for writing cross-translation unit analyses in a scalable and extensible setting.

.. toctree::
   :caption: Table of Contents
   :numbered:
   :maxdepth: 1
   :glob:

   *