Scalable Static Analysis Framework

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

:glob: true
:maxdepth: 2
:numbered:

user-docs/*

{doc}Developer documentation <developer-docs/index>

:hidden: true

developer-docs/index