在美国使用Psalm的公司

It is a type-checking static analysis tool for PHP that finds bugs humans can miss, and improves code quality. It is designed to be useful on both large legacy codebases and small, modern ones. It can help you prevent the vast majority of type-related runtime errors, and also enables you to take advantage of safe coding patterns popular in other languages.