Dscover bugs in your code without running it!
Doctrine extensions for PHPStan
Libraries for Analysis, with frontends for Java, Android, and JS
PHPMD is a spin-off project of PHP Depend
Static code analysis for Freepascal
Static code analysis to find violations in a dependency graph
Automatic correction of software bugs and grammar mistakes
A scripting language for industrial software
Code Difference report