# AI生成コードSecurity CURRENT_STATUS: UNKNOWN OBSERVATION: SPEC_ONLY FRESHNESS: UNKNOWN PAGE_TYPE: reference CANONICAL_URL: /tools/ea-105-ai-security CLAIM_IDS: none EVIDENCE_IDS: EVD-EA-105-URL-408ACEE9ECE3, EVD-EA-105-URL-3382974F730F, EVD-EA-105-URL-9719D15362F8, EA-105-R11-RESEARCH, EA-105-R11-WEB-READBACK UNKNOWN_IDS: EA-105-UNKNOWN-01, EA-105-UNKNOWN-CURRENTNESS OPS_IDS: none ## Summary 「生成コードは、通常のコードと同じく解析・依存関係・secret・license・テスト・人手レビューを通す。CodeQL/Scorecardは検査部品であり、生成コードの安全性・適法性を保証しない。」 ## Current judgment GitHub公式文書はcode scanningが脆弱性/エラーを検出し、CodeQLまたはthird-party tool/SARIFを使えること、private repositoryではlicense条件があることを明記する。Scorecardは依存固定、SAST、license、token permission等を個別checkする。したがって生成コードの受入は、生成→format/type/test→SAST/CodeQL→dependency/secret/license→human review→sandbox実行の多段 gate として設計できる。 ## Scope Enterprise AI Core / coding / security / OSS practice / CI ## Confirmed - GitHub公式文書はcode scanningが脆弱性/エラーを検出し、CodeQLまたはthird-party tool/SARIFを使えること、private repositoryではlicense条件があることを明記する。Scorecardは依存固定、SAST、license、token permission等を個別checkする。したがって生成コードの受入は、生成→format/type/test→SAST/CodeQL→dependency/secret/license→human review→sandbox実行の多段 gate として設計できる。 ## UNKNOWN - EA-105-UNKNOWN-01: AI生成コードに特化した検出率、hidden dependency、provider別license terms、CodeQLの言語/拡張coverage、生成修正のレビュー負荷。 - EA-105-UNKNOWN-CURRENTNESS: 外部根拠の再確認日がcanonical body/control-planeで確定していないため、currentnessはUNKNOWNとして保持する。日付を推測補完しない。 ## Evidence - EVD-EA-105-URL-408ACEE9ECE3 (RESEARCH): 1) source class: official developer security documentation; exact title: Code scanning; author/org: GitHub; canonical URL: — https://docs.github.com/en/code-security/concepts/code-scanning/code-scanning - EVD-EA-105-URL-3382974F730F (RESEARCH): 2) source class: government secure-development framework; exact title: Secure Software Development Framework (SSDF) Version 1.1; author/org: NIST; canonical URL: — https://csrc.nist.gov/pubs/sp/800/218/final - EVD-EA-105-URL-9719D15362F8 (RESEARCH): 3) source class: author-maintained OSS implementation; exact title: OpenSSF Scorecard; author/org: OpenSSF; canonical URL: — https://github.com/ossf/scorecard - EA-105-R11-RESEARCH (RESEARCH): EA-105 監査済みresearch / canonical revision binding - EA-105-R11-WEB-READBACK (IMPL): EA-105 Web body identity / canonical readback ## Failure / limits 静的解析で仕様誤り、事業ロジック、未知の脆弱性、prompt由来の悪意を全て検出できない。Scorecardはrepositoryのhealth指標で、生成物の正しさやlicense適法性の最終判定ではない。GitHub機能のavailabilityはrepository type/licenseで変わる。 ## Failure / limits scan passだけでmerge/production deployしない。 UNIT_CLOSE_STATUS: INDIVIDUAL_BOUNDED_CLOSE / EVIDENCE_RECORDED / UNKNOWN_PRESERVED --- ## Practice language/framework・dependency lock・package existence・CVE/OSV・secret scan・license/provenance・CodeQL/SAST・tests・sandbox/network・human approval。 ## Practice 実装状態: CI gateの構成要素と受入順序を確立。実CIへの組込み、false positive率、生成コードの自動修正は未実施。 ## Practice Evaluation: 無害なfixtureへ存在しないpackage、既知の脆弱pattern、dummy secret、license header欠落を入れ、各検査がどこまで検出するか確認。秘密は本物を使わない。 ## Practice SECURITY: untrusted codeは隔離実行。PRIVACY: prompt/source codeをログへ平文保存しない。AUDIT: generator/model/prompt/commit/scan resultを紐付け。COST: CI minutes・review工数は未計測。 ## Practice 本文に生成コード専用の受入表を追加し、検査結果をcommit/artifact単位で保存する設計へつなぐ。 ## Practice Current CodeQL/code scanning scope remains language/license/configuration dependent and is one gate among multiple security/correctness/license controls. ## WHY_THIS_MATTERS_TO_UPDATE 生成コードは脆弱性、存在しないpackage、secret、license、誤った修正を同時に含み得る。生成したこと自体を検査済みと扱わない受入手順が必要。 ## SCOPE_ROUTING Enterprise AI Core / coding / security / OSS practice / CI ## CLAIM_OR_RESEARCH_QUESTION 生成コードをコード解析、dependency/secret/license、reviewへ通す根拠と、各検査の限界は何か。 ## EVIDENCE TABLE 1) source class: official developer security documentation; exact title: Code scanning; author/org: GitHub; canonical URL: https://docs.github.com/en/code-security/concepts/code-scanning/code-scanning; publication/update/access: current docs accessed 2026-09-13; version/release: current GitHub Code Security/CodeQL surface; supporting locator: lines 12-14, 28-34, 40-49（vulnerability/error detection、scheduled/event scans、CodeQL、SARIF、license boundary）; evidence label: VERIFIED_SPEC + PRODUCT_VOLATILE; relation: support / availability gate。 2) source class: government secure-development framework; exact title: Secure Software Development Framework (SSDF) Version 1.1; author/org: NIST; canonical URL: https://csrc.nist.gov/pubs/sp/800/218/final; publication/update/access: 2022-02 / accessed 2026-09-13; version/release: v1.1; supporting locator: lines 64-74; evidence label: VERIFIED_SPEC; relation: context / support。 3) source class: author-maintained OSS implementation; exact title: OpenSSF Scorecard; author/org: OpenSSF; canonical URL: https://github.com/ossf/scorecard; publication/update/access: accessed 2026-09-13; version/release: current repository; supporting locator: lines 604-621（branch protection, code review, dependency pinning, SAST, license, vulnerabilities, token permissions）; evidence label: OSS_PRACTICE + PRODUCT_VOLATILE; relation: support / limit。 ## FINDINGS GitHub公式文書はcode scanningが脆弱性/エラーを検出し、CodeQLまたはthird-party tool/SARIFを使えること、private repositoryではlicense条件があることを明記する。Scorecardは依存固定、SAST、license、token permission等を個別checkする。したがって生成コードの受入は、生成→format/type/test→SAST/CodeQL→dependency/secret/license→human review→sandbox実行の多段 gate として設計できる。 ## LIMITS / COUNTEREVIDENCE / FAILURE ENVELOPE 静的解析で仕様誤り、事業ロジック、未知の脆弱性、prompt由来の悪意を全て検出できない。Scorecardはrepositoryのhealth指標で、生成物の正しさやlicense適法性の最終判定ではない。GitHub機能のavailabilityはrepository type/licenseで変わる。 ## AVAILABILITY_GATES language/framework・dependency lock・package existence・CVE/OSV・secret scan・license/provenance・CodeQL/SAST・tests・sandbox/network・human approval。 ## IMPLEMENTATION_STATE 実装状態: CI gateの構成要素と受入順序を確立。実CIへの組込み、false positive率、生成コードの自動修正は未実施。 ## BENCHMARK_OR_EVAL Evaluation: 無害なfixtureへ存在しないpackage、既知の脆弱pattern、dummy secret、license header欠落を入れ、各検査がどこまで検出するか確認。秘密は本物を使わない。 ## SECURITY / PRIVACY / AUDIT / COST / OPERABILITY SECURITY: untrusted codeは隔離実行。PRIVACY: prompt/source codeをログへ平文保存しない。AUDIT: generator/model/prompt/commit/scan resultを紐付け。COST: CI minutes・review工数は未計測。 ## SAFE_WORDING_FOR_FUTURE_BOOK 「生成コードは、通常のコードと同じく解析・依存関係・secret・license・テスト・人手レビューを通す。CodeQL/Scorecardは検査部品であり、生成コードの安全性・適法性を保証しない。」 ## UPDATE_WORK_HANDOFF 本文に生成コード専用の受入表を追加し、検査結果をcommit/artifact単位で保存する設計へつなぐ。 ## OPEN_UNKNOWN AI生成コードに特化した検出率、hidden dependency、provider別license terms、CodeQLの言語/拡張coverage、生成修正のレビュー負荷。 ## STOP_CONDITION scan passだけでmerge/production deployしない。 UNIT_CLOSE_STATUS: INDIVIDUAL_BOUNDED_CLOSE / EVIDENCE_RECORDED / UNKNOWN_PRESERVED --- ## AUDITED_CURRENTNESS_BOUNDARY Current CodeQL/code scanning scope remains language/license/configuration dependent and is one gate among multiple security/correctness/license controls. NEXT: /agent/start.json STOP: This is a knowledge projection, not an execution order.