PHPStan is a static analysis tool for PHP that performs type checking and detects errors in PHP code...