phpstan/phpstan: PHP Static Analysis Tool - discover bugs in your code without running it!
"PHPStan focuses on finding errors in your code without actually running it. It catches whole classes of bugs even before you write tests for the code."
sebastianbergmann/hphpa - GitHub