型チェッカー
静的解析器の一種
関数や変数などの型の整合性を検査する
現在では複数の実装がある
PhpStorm
Phan
PHPStan
Psalm
Mago