# Summary # Getting started - [Quickstart](quickstart.md) - [Installation](installation.md) # Using nyx - [CLI reference](cli.md) - [Browser UI](serve.md) - [Dynamic verification](dynamic.md) - [Configuration](configuration.md) - [Output formats](output.md) # Coverage - [Language maturity](language-maturity.md) - [Rules](rules.md) - [Auth analysis](auth.md) # Under the hood - [How it works](how-it-works.md) - [Advanced analysis](advanced-analysis.md) - [Detectors](detectors.md) - [Patterns](detectors/patterns.md) - [CFG](detectors/cfg.md) - [State](detectors/state.md) - [Taint](detectors/taint.md) # Project - [Roadmap](roadmap.md) - [Changelog](changelog.md)