Skip to content

xclang-brain/coverity-warning-triage

v0.1.0MIT

Coverity Connect の警告をトリアージし、警告ごとに修正案と逸脱コメント案の両方を作るプラグイン(C / C++、標準・MISRA・CERT)。作業の画面で条件を選び、進み具合と結果を見られる。

checker-knowledge

Coverity のチェッカー(標準チェッカー、MISRA C/C++、CERT C/C++)ごとの判断観点。C / C++ の Coverity 警告を調査するときに、チェッカー名に応じて参照する。ほかのスキルとサブエージェントが読む手順書で、人が直接頼むものではない。

code-fix

Coverity の警告の修正案を作るときの決まりと手順。C / C++ のコードを、指示ファイルの「修正するコード」のフォルダで直すときに使う。ほかのスキルとサブエージェントが読む手順書で、人が直接頼むものではない。

coverity-apply

画面(ct.py gui)の「結果」で選んだ承認(approvals.json)に従って反映する。逸脱は Coverity にトリアージを書き戻し、修正は git ならブランチを push してプルリクエストを作り、svn ならワーキングコピーに差分を当てる。人が /coverity-apply で頼む。引数は省略可で、実行フォルダを書く(省略時はいちばん新しい実行)。

coverity-help

Coverity トリアージの使い方(AI の役割と進め方、初回解析・統合・検証のオプション、画面での監視・結果の確認・承認を含む)、エラーや実行が止まったときの意味と対処、設定の変更、知識の追加、効果の集計について、利用者の質問に答える。画面を開き直すときにも使う。人が /coverity-help で聞く。引数は省略可で、聞きたいことを書く(例 このエラーは? / MISRA だけ調べたい / 知識を追加したい)。

coverity-run

Coverity のトリアージを実行する。オプションで最初に解析してサーバに登録し、条件に合う警告を取り出し、取得・作業・統合・検証のサブエージェントに順に任せて修正案と逸脱コメント案を作り、一覧 summary.html を作る。次に何をするかは ct.py tick が決める。実行中は画面(ct.py gui)で AI の動きを見せ、最後に画面の「結果」で承認を確かめるよう案内する。途中で止まった実行は続きから再開する。人が /coverity-run で頼む。引数は省略可で、条件ファイルの名前や追加の条件を書く(例 misra.yaml / High だけ / 10 件だけ / 最初に解析して)。

coverity-selftest

このプラグインが利用者の PC(VS Code / Copilot CLI、社内の Coverity、社内のビルド)で動くかを確かめ、結果を report.md にまとめる。人が /coverity-selftest で頼む。引数は省略可で、確かめる範囲を書く(範囲 ①〜④。① 組み込み ② 偽データでの一連の流れ ③ 社内の Coverity ④ ビルドでの検証。例 ①② / ③)。

coverity-setup

Coverity トリアージを使う準備をする(uv、MCP サーバの環境、サブエージェント(取得・作業・統合・検証)の配置、設定ファイル、認証情報、接続の確認、オプションでビルドでの検証・初回解析・統合と検証)。何度実行してもよく、足りないものだけを補う。人が /coverity-setup で頼む。引数は省略可。

coverity-triage-scripts

Coverity トリアージの決まった処理(実行フォルダ、グループ化、修正用のコピー、差分とブランチ、レポートと一覧、承認の読み取り、反映、準備の確認、動作確認、設定・結果・監視の画面)をするスクリプト ct.py の使い方。/coverity-setup・/coverity-run・/coverity-apply・/coverity-help・/coverity-selftest の手順で ct.py を使うときに読む。ほかのスキルとサブエージェントが読む手順書で、人が直接頼むものではない。

coverity-warning-triage

Coverity の警告ごとに、真偽の見立てと確信度、修正案と逸脱コメント案、一覧と詳細レポートができあがる。「Coverity の警告をトリアージして」「/coverity-run High だけ」「未処理の Coverity 警告を調べて修正案と逸脱コメントを作って」と頼まれたときに使う。Coverity や MISRA・CERT の規則についての質問、プラグインの準備や困りごとの相談(/coverity-setup・/coverity-help)、承認済みの内容の反映(/coverity-apply)、このプラグインの試験には使わない。

deviation-comment

Coverity の逸脱コメント(トリアージのコメント)の書き方と、Classification / Action / Severity の選び方。逸脱案を作るときに使う。ほかのスキルとサブエージェントが読む手順書で、人が直接頼むものではない。

triage-integration

調べ終わった Coverity の警告の作業のうち、同じ原因のものを 1 つにまとめる計画(integration/plan.json)の書き方。まとめるかどうかの決め方、修正の作り方の選び方、まとめた逸脱コメントの書き方。統合エージェントが使う。ほかのスキルとサブエージェントが読む手順書で、人が直接頼むものではない。

triage-investigation

Coverity の警告の真偽を調べる手順と、確信度・推奨の決め方。Coverity の CID を調べて、本物のバグか誤検知かを判断するときに使う。ほかのスキルとサブエージェントが読む手順書で、人が直接頼むものではない。

triage-report

Coverity トリアージの結果ファイル(result.json)の形と、各項目に書く内容の基準。調べ終わって結果を書くときに使う。ほかのスキルとサブエージェントが読む手順書で、人が直接頼むものではない。

triage-review

別のエージェントが調べた Coverity の警告の結果を、独立に確かめる手順と、検証の結果(review.json)の形。合格・要確認・差し戻しの決め方。検証エージェントが使う。ほかのスキルとサブエージェントが読む手順書で、人が直接頼むものではない。