GitHub repository: mvorisek/phpstan
Description: PHP Static Analysis Tool - discover bugs in your code without running it!