coverity-setup
Coverity Connect の警告をトリアージするための準備を、対話で1つずつ行う。リポジトリの設定(.coverity-triage/ の config.yaml・条件ファイル・knowledge.md)を作り、PC ごとの認証情報(ユーザー名と、伏せ字で入れる認証キー)を環境変数に保存する手順を示し、uv がなければ入れ方を示し、設定を確かめる。config.yaml の値は、人が書いた注釈を残して書き換える。ビルドでの検証・初回解析・統合と確かめなどのオプションも最後に設定する。「Coverity のトリアージの準備をして」「Coverity の設定ファイルを作って」「認証キーを登録したい」「config.yaml の max_items を変えて」「ビルドでの検証も使いたい」のように頼まれたとき、またはトリアージを始めようとして設定がないときに使う。何度使ってもよく、足りないものだけを補う。
Pinned to revision f415c5f0d2b9, so it is the text this page describes rather than whatever the author pushed since.
Pre-approved tools experimental
Experimental field. Support varies between clients, so this list is what the author declared, not what your client will enforce.
- shell(uv run:*)
Files
- skills/coverity-setup/SKILL.md
- skills/coverity-setup/README.md
- skills/coverity-setup/assets/contract/yaml-edit/cases.json
- skills/coverity-setup/evals/creates-settings-after-showing-table/case.yaml
- skills/coverity-setup/evals/creates-settings-after-showing-table/files/src/main.c
- skills/coverity-setup/evals/creates-settings-after-showing-table/graders/01-config-values.md
- skills/coverity-setup/evals/creates-settings-after-showing-table/graders/02-untriaged-filter.md
- skills/coverity-setup/evals/creates-settings-after-showing-table/graders/03-knowledge-template.md
- skills/coverity-setup/evals/creates-settings-after-showing-table/graders/04-output-folder.md
- skills/coverity-setup/evals/creates-settings-after-showing-table/graders/05-writes-agreed-table.md
- skills/coverity-setup/evals/creates-settings-after-showing-table/graders/06-no-credentials.md
- skills/coverity-setup/evals/creates-settings-after-showing-table/graders/07-postponed-steps.md
- skills/coverity-setup/evals/creates-settings-after-showing-table/place-files.sh
- skills/coverity-setup/evals/creates-settings-after-showing-table/prompt.md
- skills/coverity-setup/evals/refuses-pasted-auth-key/case.yaml
- skills/coverity-setup/evals/refuses-pasted-auth-key/files/.coverity-triage/config.yaml
- skills/coverity-setup/evals/refuses-pasted-auth-key/files/src/main.c
- skills/coverity-setup/evals/refuses-pasted-auth-key/graders/01-pasted-key-unused.md
- skills/coverity-setup/evals/refuses-pasted-auth-key/graders/02-regenerate-key.md
- skills/coverity-setup/evals/refuses-pasted-auth-key/graders/03-masked-input.md
- skills/coverity-setup/evals/refuses-pasted-auth-key/graders/04-user-name-step.md
- skills/coverity-setup/evals/refuses-pasted-auth-key/graders/05-status-without-values.md
- skills/coverity-setup/evals/refuses-pasted-auth-key/graders/06-config-unchanged.md
- skills/coverity-setup/evals/refuses-pasted-auth-key/graders/07-key-also-persists.md
- skills/coverity-setup/evals/refuses-pasted-auth-key/place-files.sh
- skills/coverity-setup/evals/refuses-pasted-auth-key/prompt.md
- skills/coverity-setup/evals/shows-review-change-and-waits/case.yaml
- skills/coverity-setup/evals/shows-review-change-and-waits/files/.coverity-triage/config.yaml
- skills/coverity-setup/evals/shows-review-change-and-waits/files/src/main.c
- skills/coverity-setup/evals/shows-review-change-and-waits/graders/01-change-table.md
- skills/coverity-setup/evals/shows-review-change-and-waits/graders/02-config-unchanged.md
- skills/coverity-setup/evals/shows-review-change-and-waits/graders/03-asks-and-stops.md
- skills/coverity-setup/evals/shows-review-change-and-waits/graders/04-comments-kept-noted.md
- skills/coverity-setup/evals/shows-review-change-and-waits/place-files.sh
- skills/coverity-setup/evals/shows-review-change-and-waits/prompt.md
- skills/coverity-setup/references/options.md
- skills/coverity-setup/scripts/envvars.py
- skills/coverity-setup/scripts/setup.py
- skills/coverity-setup/scripts/yamledit.py
- skills/coverity-setup/tests/setup_testlib.py
- skills/coverity-setup/tests/test_setup_cli.py
- skills/coverity-setup/tests/test_trial_build_folder.py
- skills/coverity-setup/tests/test_yaml_edit_contract.py
- skills/coverity-setup/tests/yaml_contract_runner.py
Every link opens the file at its source, pinned to the revision this page describes.