# Scalable Static Analysis Framework

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

```{toctree}
:glob: true
:maxdepth: 2
:numbered:

user-docs/*
```

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

```{toctree}
:hidden: true

developer-docs/index
```

