静的解析 - CI/CD 用語集の定義

静的解析は、コードを実行せずに、parsing とデータフロー解析を用いてバグ、セキュリティ上の問題、スタイル違反を見つけるためにソースコードを検査します。linter、type checker、SAST ツールはすべて静的解析です。

静的 vs 動的

静的解析はコードそのものから起こりうるすべてのパスを推論し、動的解析は実行時の実際の振る舞いを観察します。両者は異なる種類のバグを捕捉し、CI では補完的です。

CI では

静的 check は高速で環境を必要としないため、より重いテストや build のステージの前に、安価なゲートとして pipeline の早い段階に置くべきです。

関連ガイド