rust-lang/polonius

Health v2 · maintenance only

Adoption not part of the score

1737 stars · 85 forks observed · 2026-08-28

What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded

Polonius is a core library from the Rust project that models and implements the Rust borrow checker analysis. It supports multiple algorithm implementations (Naive, DatafrogOpt, LocationInsensitive) that can be run on borrow-check facts extracted by rustc.

Use cases

• experiment with alternative borrow checking algorithms for Rust
• analyze NLL borrow-check facts generated by rustc
• research dataflow analysis for ownership and borrowing
• compare performance of borrow checker implementations
• understand how the Rust borrow checker works

When to choose

• you are doing compiler research on Rust's borrow checking
• you want to prototype or compare borrow-check analysis algorithms
• you need to run borrow-check analysis on rustc-generated NLL fact dumps

When to avoid

• you want a production borrow checker for compiling Rust code (use rustc)
• you need a stable, documented API for embedding in other tools
• you are not working with Rust compiler internals

Facets

library · maturity experimental

compiler parser developer-tools compilers programming-languages developer-tools rust cli cross-platform borrow-checker rust-compiler static-analysis dataflow nll type-system

Member repositories

For agents

markdown · JSON · MCP: product_card(name="rust-lang/polonius")