Bengo4.com, Inc.
PHPStan
● instanceof、catch、typehints、およびその他の言語構造で使用されるクラスの存在。
● 呼び出されたメソッドと関数の存在とアクセシビリティ。渡された引数の数。
● メソッドが、返すように宣言したのと同じ型を返すかどうか。
● アクセスされたプロパティの存在と可視性。また、宣言されたタイプとは異なるタイプがプロパティ
に割り当てられているかどうか。
● フォーマット文字列に基づいて、 sprintf / printf呼び出しに渡されるパラメーターの数。
● ブランチとループのスコープの中に変数が存在するかどうか。
● (string) 'foo'のような無意味なキャストと、異なる型を厳密に比較していて常に falseになるオペ
ランド。
15