@psalmphp
Psalm is a type-checking static analysis tool for PHP that finds bugs humans can miss, and improves code quality. Try it at