thumbnail phpstan/phpstan: PHP Static Analysis Tool - discover bugs in your code without running it!