# Static Analysis

- [Formatting](/docs/language/static-analysis/formatting/)
- [Type Checking](/docs/language/static-analysis/type-checking/)
- [Linter](/docs/language/static-analysis/linter/)
- [Queries](/docs/language/static-analysis/queries/)
- [Rewriting](/docs/language/static-analysis/rewriting/)
- [Documentation](/docs/language/static-analysis/documentation/)
- [Editor](/docs/language/static-analysis/editor/)