Skip to content

xclang-brain/coverity-triage-kit

v0.2.0MIT

Coverity Connect の警告をトリアージし、警告ごとに修正案と逸脱コメント案の両方を作るプラグイン（C / C++、標準・MISRA・CERT）。スキルや MCP サーバー1つ、作業エージェント1つ、一括のトリアージ、Web管理画面つき、の4つの段階で使える。

GitHub

coverity-triage-kit

Coverity Connect の警告を AI がトリアージし、警告ごとに「修正案」と「逸脱コメント案」の両方を用意するプラグインです。GitHub Copilot CLI 用で、対象は C / C++（標準チェッカー、MISRA、CERT）です。

あなたが行うのは、AI の結果を見て、警告ごとに「修正する」か「逸脱として扱う」かを選ぶことです。選んだ結果は、コマンド1つで Coverity とリポジトリに反映できます。

できること

警告1件ごとに、次のものが得られます。

得られるもの内容
判定本物のバグ／誤検知／意図的／判定不能。確信度と、根拠にしたコードの位置が付きます
修正案差分と、修正後のファイル
逸脱コメント案Coverity に登録する200文字以内のコメント
一覧とレポート警告の一覧と、警告ごとの詳細レポート（HTML）

例：CID 20002（FORWARD_NULL、src/reader.c の 15 行）の警告が本物か調べて と頼むと、次のように返ってきます。

結論：誤検知です。

判定：誤検知　確信度：高　推奨：逸脱

根拠：
- src/reader.c:13 — open_and_read() は static 関数で、呼び出し元は read_config() だけ
- src/reader.c:32〜35 — read_config() は、path が NULL なら return -1 する

使い始める

チュートリアルを、ステップ1から順に進めてください。 各ステップは、実際に操作しながら読む構成です。前のステップで覚えたことに、1つずつ機能を足していきます。途中のステップで止めても、そこまでの機能はそのまま使えます。

ステップやること任せる範囲時間
1. 警告を1件、AI に調べてもらうインストールして、警告1件の情報を伝えて調査を頼む頼んだことだけ（1段階目）15分
2. Coverity に接続して、1件を任せる対話で接続を設定し、CID を伝えてトリアージを任せる1件の調査から修正案・逸脱コメント案まで（2段階目）30分
3. まとめてトリアージして、反映する条件に合う警告を一括で処理し、画面で確認して反映する複数件の一括処理（3段階目）30分〜
4. Web管理画面で実行する画面で条件を選び、進み具合を見ながら実行する3に、操作と監視の画面を追加（4段階目）10分

日常の使い方（チュートリアルを終えた人向け）

/coverity-run High だけ 20 件     ← AI がトリアージする
/coverity-gui                     ← 結果を確認して、警告ごとに選ぶ
/coverity-apply                   ← 選んだ結果を反映する
コマンド用途
/coverity-setup接続と設定を対話で用意する（最初の1回。設定の変更にも使う）
/coverity-run一括トリアージを実行する
/coverity-gui設定・進み具合・結果の画面を開く
/coverity-apply承認した結果を Coverity とリポジトリに反映する
/coverity-help使い方やエラーについて質問する
/coverity-selftestインストールと接続を診断する

文書

目的文書
使い方を覚えるチュートリアル：ステップ1 → 2 → 3 → 4
対象の警告を絞り込む、設定を変える条件の指定
無人で実行する、トラブルに対処する運用ガイド
個々の機能を詳しく知る作業エージェント・統括エージェント・各スキルの README（skills/）・MCP サーバー
変更点を確認する変更履歴
開発に参加する憲章・仕様書・設計書・コンポーネント一覧・テスト

補足

  • AI が行うのは提案までです。作業中のソースコードと Coverity は、あなたが承認して反映するまで変更されません。
  • 4つの段階は、それぞれ単独で使えます。たとえば、スキルだけ、エージェントだけを取り出して使うこともできます。
  • Claude Code でも、1〜3段階目を同じように使えます（4段階目は Copilot CLI だけ）。claude plugin marketplace add xclang-brain/plugin-market-place と claude plugin install coverity-triage-kit@plugin-market-place でインストールします。起動方法と、無人実行のための許可は、統括エージェントの README の「Claude Code で使う」にあります。
  • MIT License です（LICENSE）。