/ipa-security-check

name: ipa-security-check
description: IPA「安全なウェブサイトの作り方 改訂第7版」「安全なSQLの呼び出し方」「ウェブ健康診断仕様」「セキュリティ実装チェックリスト」「安全なウェブサイトの運用管理に向けての20ヶ条」に基づき、ソースコードを静的に検査して脆弱性候補を検出する。発見した問題には IPA 原典の出典 (文書名・章・ページ・URL) を必ず付与する。

IPA Security Check Skill

このスキルが行うこと

IPA (情報処理推進機構) が公開する以下 5 資料の指摘事項に基づき、ローカルリポジトリのソースコード・設定ファイルを静的検査し、脆弱性候補を検出する。

| 略称 | 正式名称 | 主な検査内容 | |---|---|---| | SWS | 安全なウェブサイトの作り方 改訂第7版 | 11脆弱性 (SQLi/OSコマンド/トラバーサル/セッション/XSS/CSRF/HTTPヘッダ/メールヘッダ/クリックジャッキング/BoF/アクセス制御) | | SQL | 安全なSQLの呼び出し方 | プレースホルダ使い分け・LIKE述語・識別子検証・文字コード問題 | | WHC | ウェブ健康診断仕様 | 13診断項目のうち静的解析でカバー可能な観点 | | OPS | 安全なウェブサイトの運用管理に向けての20ヶ条 | HTTPヘッダ・依存ライブラリ・設定ファイル類 | | CL | セキュリティ実装チェックリスト | 改訂第7版 p.105-108 のチェックリスト |

すべての検出結果に IPA 原典の `document / section / page / url` を必ず添えて返す。

起動方法

スラッシュコマンド `/ipa-security-check` で起動する。引数で対象スコープを指定する。

| 形式 | 動作 | |---|---| | `/ipa-security-check` | カレント WD 全体をスキャン | | `/ipa-security-check <path>` | 指定パス/glob のみ (例: `src/`, `**/*.php`) | | `/ipa-security-check --diff` | 現ブランチと `main` の差分ファイルのみ | | `/ipa-security-check --categories sqli,xss <path>` | カテゴリ限定 | | `/ipa-security-check --severity high` | High 以上のみ | | `/ipa-security-check --output report.md,report.sarif` | 出力ファイル指定 |

自然文 (「IPA のセキュリティチェックをして」など) でも起動する。

実行手順 (Claude が行うこと)

1. **`lib/scope_resolver.md`** を読み、引数を解釈して対象ファイル一覧と言語マッピングを作る 2. **`lib/shard_planner.md`** を読み、カテゴリごとにファイル数を数え、閾値超過時は N 分割する 3. **`agents/` 配下** の検査系サブエージェント (14 体) を **メインから並列起動** する (公式制約によりサブエージェントから二次サブエージェントは起動できないため、分割はメイン側で行う) 4. 各サブエージェントは `findings[]` を含む JSON を返す。メインは findings のみ集約してコード本文は文脈に保持せず、`.tmp/ipa-security-check/findings_raw.json` に書き出す 5. **Phase 5 (偽陽性レビュー)**:

• `scripts/snippet_hash.py` を Bash で実行して `findings_with_hash.json` を作る
• `15-false-positive-review` エージェントを **5 件 / shard** で並列起動し、返ってきた `verdicts[]` を結合して `verdicts.json` に保存

6. **Phase 6 + 出力 (Step 7)**: `scripts/render_report.py` を Bash で実行する。スクリプトが内部で以下を行う:

• verdict を `snippet_hash` で findings にマージ
• 既存 Markdown レポートから triage ブロックを抽出 (`lib/triage_state.md` 準拠) し、`snippet_hash` 一致で新 findings にステータス引き継ぎ
• `templates/report.md.tmpl` を埋めて Markdown を出力、SARIF 2.1.0 も同時生成

7. デフォルトの保存先は `./security-reports/ipa-security-report-YYYY-MM-DD-NN.md` と `./security-reports/ipa-security-report-YYYY-MM-DD-NN.sarif` (`--output` で上書き可)。`security-reports/` ディレクトリが存在しない場合は自動作成する。同日に複数回実行した場合は連番 (`-01`, `-02`, ...) が自動付与され、既存レポートを上書きしない

中間ファイルの作業ディレクトリは `.tmp/ipa-security-check/` (リポジトリルート直下、名前に `tmp` を含めること)。

詳細な分配ロジックは **`lib/orchestrator.md`** に従う。Claude は `lib/orchestrator.md` を読んでそのとおりに動くこと。

対応言語

| 言語 | 拡張子 | |---|---| | PHP | `.php` | | Java | `.java`, `.jsp` | | Ruby | `.rb`, `.erb` | | Python | `.py` | | JavaScript / TypeScript | `.js`, `.jsx`, `.ts`, `.tsx`, `.vue` | | C# / .NET | `.cs`, `.cshtml`, `.aspx` | | Go | `.go` | | 設定ファイル | `.conf`, `nginx.conf`, `.htaccess`, `web.xml`, `*.yaml`, `*.yml`, `Dockerfile` |

トリアージ (ステータス管理)

検出結果には 4 ステータスを管理できる。状態は Markdown レポート内の HTML コメントブロックに保持され、次回スキャン時に `snippet_hash` で引き継がれる。詳細は `lib/triage_state.md`。

| ステータス | 意味 | 次回スキャンでの扱い | |---|---|---| | `未対応` | 未着手 (新規 finding のデフォルト) | 通常表示 | | `対応する` | 修正予定 / 実施中 | 通常表示 | | `問題なし` | 確認の上、本物の脆弱性ではない | `## トリアージ済み (抑止)` セクションへ移動。サマリから除外 | | `保留` | 一旦保留 | `## トリアージ済み (抑止)` セクションへ移動。サマリから除外 |

ユーザーは各 finding 直下の `<!-- ipa-triage:begin ... ipa-triage:end -->` ブロックの `status:` と `note:` を編集する。 `snippet_hash` は `rule_id + file + 正規化された code_snippet` の sha256 で計算するため、行番号が変動しても引き継げる。

偽陽性候補

`15-false-positive-review` エージェントが周辺コード/呼び出し元を再評価して `likely_false_positive` と判定した finding は `## 偽陽性候補` セクションへ移動 (本文の検出結果からは除外)。 誤判定と思う場合は対応する triage ブロックの `status:` を `対応する` に変更すると次回スキャンで通常レポートに戻る。

誤検知のインライン抑止 (補助)

ソースコードに以下のインラインマーカーを置くと検出段階で finding を生成しない (トリアージとは別軸)。

// ipa-skip: IPA-SWS-1-SQLI-001  reason: 内部固定値を埋め込んでいるため

`reason:` は必須。

サブエージェント一覧

`agents/` 配下に 15 体定義。

検査エージェント (14 体): Phase 1〜4 で並列起動

| エージェント | 担当 | |---|---| | `01-sql-injection` | SQL インジェクション | | `02-os-command-injection` | OS コマンドインジェクション | | `03-directory-traversal` | ディレクトリトラバーサル | | `04-session-management` | セッション管理の不備 | | `05-xss` | クロスサイトスクリプティング | | `06-csrf` | クロスサイトリクエストフォージェリ | | `07-http-header-injection` | HTTP ヘッダインジェクション | | `08-mail-header-injection` | メールヘッダインジェクション | | `09-clickjacking` | クリックジャッキング | | `10-buffer-overflow` | バッファオーバーフロー | | `11-access-control` | アクセス制御の不備 | | `safe-sql-details` | 安全な SQL の呼び出し方 深掘り | | `web-health-check` | ウェブ健康診断 静的解析項目 | | `operation-checklist` | 運用 20ヶ条 + 実装チェックリスト |

レビューエージェント (1 体): Phase 5 で並列起動

| エージェント | 担当 | |---|---| | `15-false-positive-review` | 検査エージェントの findings に対し周辺コード/呼び出し元を再 Read して偽陽性候補を識別 |

出力契約 (検査サブエージェント → メイン)

検査系 (01〜11 / safe-sql-details / web-health-check / operation-checklist) は以下の JSON 形式のみ返す。コード本文や中間ログは返さない。

{
  "agent": "sql-injection",
  "files_scanned": 142,
  "findings": [
    {
      "rule_id": "IPA-SWS-1-SQLI-001",
      "severity": "critical",
      "category": "sql_injection",
      "file": "src/users.php",
      "line": 45,
      "column": 12,
      "code_snippet": "$sql = \"SELECT * FROM users WHERE id = \" . $_GET['id'];",
      "message": "...",
      "ipa": {
        "document": "安全なウェブサイトの作り方 改訂第7版",
        "section": "1.1 SQLインジェクション",
        "page": "6-12",
        "url": "https://www.ipa.go.jp/security/vuln/websecurity/about.html"
      },
      "remediation_type": "根本的解決",
      "remediation": "プレースホルダによる SQL 文の組み立て",
      "cwe": "CWE-89",
      "fix_example": "..."
    }
  ],
  "errors": []
}

> `snippet_hash` / `fp_verdict` / `status` などのトリアージ系フィールドは orchestrator (Phase 5・Phase 6) が後付けする。検査エージェントは付与しない。

`15-false-positive-review` の出力契約は `agents/15-false-positive-review.md` を参照。

ファイル構成

.claude/skills/ipa-security-check/
├── SKILL.md                ← 本ファイル (Claude が最初に読む)
├── commands/
│   └── ipa-security-check.md
├── agents/                 ← 15 体のサブエージェント定義
│   ├── 01〜11, safe-sql-details, web-health-check, operation-checklist (検査 14 体)