1.
What is Polonius?
2.
Current status and roadmap
3.
Getting started
4.
Generating inputs from rustc
5.
Rules
5.1.
Atoms
5.2.
Relations
5.3.
Initialization analysis
5.4.
Liveness analysis
5.5.
Loan analysis
6.
Testing Polonius
7.
See also
Light (default)
Rust
Coal
Navy
Ayu
Polonius
Liveness analysis
These rules are not yet described.