phan

Phan focuses on proving incorrectness rather than correctness, leading to fewer false alarms and making it practical for large, sloppy codebases, as stated in its philosophy.

Supports modern PHP features like union types, generics, and array shapes, along with comprehensive PHPDoc annotation parsing, as detailed in the features list.

Allows custom checks via plugins for regex validation, printf formatting, and coding style, with several bundled plugins available for immediate use.

Designed to be configured with varying strictness levels, enabling teams to gradually strengthen analysis as code quality improves, per the wiki guidance.