PHPStan project (Ondrej Mirtes and contributors)

Static analyzer for PHP that infers types and reports code that cannot work, configurable through escalating strictness levels.