Psalm is a static analysis tool for PHP that finds type-related bugs and security vulnerabilities...