PHPStanによる静的解析
目次 [hide]
PHPStanで静的解析を行う
![](data:image/svg+xml,<svg xmlns="http://www.w3.org/2000/svg" width="640" height="443"><rect fill-opacity="0"/></svg>)
環境: PHP 7.4.8, PHPStan 1.2.0
静的解析とは
プログラム実行前にソースコードが適切な状態かをチェックすること。
静的解析を行うことで未定義の変数、関数、引数や戻り値の型の不一致など、PHPの文法上は誤りではないが、不具合の原因となる可能性のある箇所を実行前に発見することができる。
PHPのような事前にコンパイルを行わないインタプリタ言語では本記事で紹介するPHPStanなどのツールを用いて静的解析を行う。
※ 文法やコーディング規約チェックにはPHP_CodeSnifferなどのツールを使用する。
PHPStanのインストール
https://phpstan.org/
https://packagist.org/packages/phpstan/phpstan
composerを使用してプロジェクトにインストールする
|
1 |
composer require phpstan/phpstan |
または
|
1 |
composer require --dev phpstan/phpstan |
（開発環境のみで使用する）
静的解析の実行
下記コマンドで静的解析を実行し、表示される解析結果を確認する
|
1 |
vendor/bin/phpstan analyse --level 0 src/Calculator.php |
analyse（解析）サブコマンドは必須。
levelオプション（-lでもOK）で不具合検出ルールのレベルを指定する。
このルールは0から9まで存在しており、数値が大きいほどより厳密なものとなる。
（大きなレベルはそれより小さなレベルのルールも含む）
ルールレベル
https://phpstan.org/user-guide/rule-levels
小さいレベルのルールの方が不具合性が高いものを含むといえるので、まずは0からはじめていき、コードを整えながら徐々にレベルを上げて解析を行うことが推奨されている。
上記の例ではファイルパスまで含めているが、後述の設定ファイルにより解析対象のディレクトリパスごと指定できる。
PHPStanの設定ファイル
静的解析実行時の設定は構成ファイル、phpstan.neonを作成して行う。
https://phpstan.org/config-reference#multiple-files
phpstan.neon （コマンド実行時のパスに作成する）
|
1 2 3 4 5 |
parameters: level: 6 paths: - src - tests |
上記内容の場合、実行コマンドへオプションとパスの指定なしでsrc配下とtest配下のソースプログラムをルールレベル6で解析実行する。
（実行時にphpstan.neonが自動的に読み込まれる）
|
1 |
vendor/bin/phpstan analyse |
特定のエラーメッセージを無視する
静的解析実行で検出されたエラーのうち都合によって修正できないもの、修正を行わなくてよいもの等がある場合、設定ファイルにより検出されないようにできる。
例として解析実行時に下記のエラーメッセージが表示されないようにする。
「app\src\Calculatorクラス内のメソッド、subが未定義」
|
1 |
15 Call to an undefined method app\src\Calculator::sub(). |
phpstan.neon内、ignoreErrors項目に無視したいエラーメッセージを追加する。
phpstan.neon
|
1 2 3 4 5 6 7 |
parameters: level: 6 paths: - src - test ignoreErrors: - '#Call to an undefined method [a-zA-Z0-9\\_]+::sub\(\)#' |
メッセージの記載に正規表現を用いる、特殊文字は\（バックスラッシュ）でエスケープする必要がある。
設定後に解析を際実行するとエラーが検出されないようになる。
現時点からのエラーのみを検出させる（ベースライン機能）
直近に行った実装、改修で発生しているエラーのみを解析して抽出したい場合など、現時点で既出のエラーを全て無視するにはベースラインという機能を使用する。
下記を実行し、既出のエラーをまとめて無視するベースラインファイルをする
|
1 |
vendor/bin/phpstan analyse --generate-baseline |
generate-baselineオプションにより、phpstan-baseline.neonが自動的に作成される。
phpstan-baseline.neon
（ignoreErrorsに既出のエラー全てが含まれる）
|
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 |
parameters: ignoreErrors: - message: "#^Call to an undefined method app\\\\src\\\\Calculator\\:\\:sub\\(\\)\\.$#" count: 1 path: src/Calculator.php - message: "#^example$#" count: 1 path: src/Example.php - message: "#^example$#" count: 1 path: src/Example.php |
このベースラインファイルを下記のように、phpstan.neonから読み込むことで既出のエラーを全て無視できる。
phpstan.neon
|
1 2 3 4 5 6 7 |
includes: - phpstan-baseline.neon parameters: level: 6 paths: - src - test |
ベースラインファイルのエラーが発生していない場合の通知をオフにする
ベースラインファイルに登録された既出のエラー箇所が修正されている場合、ベースラインファイルとソースコードに矛盾があるため、実行時に下記のエラーメッセージが通知される。
|
1 |
Ignored error pattern #^ example~ was not matched in reported errors.<code></code> |
この通知が表示されないようにするにはphpstan.neonで、reportUnmatchedIgnoredErrorsの設定を行う。
phpstan.neon
|
1 2 3 4 5 6 7 8 |
includes: - phpstan-baseline.neon parameters: level: 6 paths: - src - test reportUnmatchedIgnoredErrors: false |
Follow me!
“PHPStanによる静的解析” に対して1件のコメントがあります。
コメントは受け付けていません。