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.