Dscover bugs in your code without running it!
Next-gen phpDoc parser with support for intersection types
Phan is a static analyzer for PHP
PHPMD is a spin-off project of PHP Depend
A set of PHP_CodeSniffer rules that finds vulnerabilities
Free Static Code Analysis Tool for PHP Applications