コードを実行せずに、静的に解析してバグや型の不整合を発見するツール(例:PHPStan, Psalm)を何と呼ぶか。

静的に解析してバグや型の不整合を発見するツールをは静的解析ツール。