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