PHP Static Analysis Tool - discover bugs in your code without running it!
Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.
Next-gen phpDoc parser with support for intersection types and generics
Symfony extension for PHPStan
Extra strict and opinionated rules for PHPStan
Doctrine extensions for PHPStan
PHPUnit extensions and rules for PHPStan