| ================================== | |
| Scalable Static Analysis Framework | |
| ================================== | |
| This is a framework for writing cross-translation unit analyses in a scalable and extensible setting. | |
| .. toctree:: | |
| :numbered: | |
| :maxdepth: 2 | |
| :glob: | |
| user-docs/* | |
| :doc:`Developer documentation <developer-docs/index>` | |
| .. toctree:: | |
| :hidden: | |
| developer-docs/index |