mir

A fast, incremental PHP static analyzer written in Rust. Many diagnostics rules covering types, dead code, and taint analysis.

Find type errors, dead code, and taint vulnerabilities before they reach production. Built in Rust for speed, incremental by default, inspired by Psalm.