Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.

Run phan entirely in your browser (with emscripten)

Performance optimization extension for Phan static analyzer

Mirror of https://github.com/phan/phan/wiki for proposing changes

Dockerization of the Phan PHP static analysis tool

This contains function, method, and property signatures with extra details for PHP functions, methods, and properties.

Discussion for phpdoc annotations that are useful to static analyzers/out of the scope of PSR-5

Prototypes/experiments for plugins for Phan, etc.