[tj0]

You might also look into exakat and phpstan. I can speak to the quality of exakat (my preferred static analyzer), where phpstan comes in as a close second.

This one also looks decent, and will be evaluating it for use in my day job.

[mixologic]

This one looks more like a polished wrapper around phpstan and several other tools: https://github.com/nunomaduro/phpinsights/blob/master/compos...

[muglug]

It doesn't wrap PHPStan