Find Bugs Without Writing Tests
phpstan.org