Coverity マニュアル

Version: 2026.3

免責事項
Coverity 概要
序文
静的解析ソリューション
チェッカー
デプロイメントアーキテクチャ
中央解析
ローカル解析と中央解析
複数テストモデルのメリット
デプロイオプション
Coverity とその他解析ツールからの結果を組み合わせる
Static Analysis での作業
ロールおよび責任
基本的なワークフロー
セットアップ
設定
解析
体系化およびトリアージ、解決
レポート
Static Analysis をカスタマイズおよび拡張する
使用事例
ウェブアプリケーションのセキュリティを確保する
コーディング規約違反に対処する
Coverity を使用して市場で製品を差別化する
知らないソースコードのセキュリティの評価
インストール用マニュアル
マニュアルセット
オンラインリソース
インストールとデプロイ
Coverity 製品概要
サポート対象プラットフォーム
インストールおよびデプロイの概要
デプロイ計画の概要
実装の概要
運用概要
デプロイ計画
デプロイチェックリスト
Coverity 製品をビルドシステムに統合する方法
Coverity の統合と API
コマンドラインクライアント
プラグインとその他の統合
API リファレンス
Coverity Analysis デプロイモデル
中央ビルドデプロイモデル
デスクトップデプロイモデル (ローカル解析)
Coverity Connect デプロイメントオプション
Coverity Connect スタンドアロンデプロイメント
Coverity Connect クラスタデプロイモデル
Coverity Connect で推奨される最大数
その他のデプロイモデルと特徴
チェックイン前クリーン
Jenkinsの自動ビルドとの統合
問題をエクスポートする
Coverity のアップグレード
アップグレード概要
製品名とインストーラのコンテンツについて理解する
インストーラと資料をダウンロードする
アップグレードで変更された機能の影響について理解する
パフォーマンス設定を調整する
Coverity Connect をアップグレードする
Coverity Analysis をアップグレードする
Coverity Desktopプラグインのアップグレード
Coverity のアップグレード
アップグレード概要
製品名とインストーラのコンテンツについて理解する
インストーラと資料をダウンロードする
アップグレードで変更された機能の影響について理解する
パフォーマンス設定を調整する
Coverity Connect をアップグレードする
Coverity Analysis をアップグレードする
Coverity Desktopプラグインのアップグレード
Coverity Connect
Coverity Connect ユーザーガイド
Coverity Connect 使用
はじめに Coverity Connect
Coverity Connect インターフェイス
Coverity Connect の主要なワークフロー
開発ワークフロー
管理ワークフロー
問題の検索
CID から問題を検索する
ビューを使用して問題を見つける
問題の管理
ソースガターメニューを表示
ファイルツリー
問題のトリアージ
イベント駆動型のトリアージ通知
問題の監視
ダッシュボード
ビューレベルチャート
Coverity Connect ユーザーリファレンス
ビュー
問題: スナップショット別
問題: プロジェクト範囲
ファイル
関数
コンポーネント
チェッカー
担当者
スナップショット
トレンド
テスト
ビューの管理
設定を編集する
コピーとして保存
フィルター
グループ:
項目
スナップショットスコープ
共有
相対ユーザー
通知
削除
CSV をエクスポート
XMLのエクスポート
リンク取得
スナップショット比較
スナップショット比較スコープ文法
スナップショット選択文法の使用に関する注意事項
時間フィルターを使用する際の文法
例
ビュー固有のメール通知
メール通知のユースケース
シナリオ: そのリリースの未修正問題をすべて反映した、チームへの週 1 回の E メール
シナリオ: 新しいソフトウェア問題ごとに送信されるユーザー指定 E メール
シナリオ: 1 人のユーザーに対し、新しくトリアージされた問題について説明する E メール
シナリオ: 登録完了時の通知
ビュー固有の E メール通知を設定する
通知メールを手動でトリガーする
トリアージ属性
分類
重要度
アクション
レガシー
Fix target
担当者
外部参照
コメント
設定
Coverity Platform の概要
インストール、製品ライセンス、サポート対象プラットフォーム
ログイン
ナビゲーションの共有およびメインメニューツール
[ヘルプ (Help)] メニュー
キーボードショートカット
製品のダウンロード
のお客様からのフィードバック Coverity
Coverity Connect プラットフォームの詳細
Coverity Connect 全マニュアル
Coverity Policy Manager の使い方
Coverity Policy Manager の概要
階層
メトリクス
フィルター
レポート
ダッシュボード
ヒートマップ
ポリシー
サマリーメトリクス
ビュー
Coverity Policy Manager 階層の使用
チャートをナビゲーションする
一般的な Coverity Policy Manager アクションの実行
Coverity Policy Manager ダッシュボードの設定
Coverity Policy Manager ヒートマップの設定
Coverity Policy Manager 状態レポートの設定
Coverity Policy Manager トレンドレポートの設定
Coverity Policy Manager のメトリクス
メトリクス: ユーザー　アクティビティ
メトリクス: 解析
メトリクス: コード
サマリーメトリクス: 技術的負債
Coverity Policy Manager のフィルターとセグメンテーションのプロパティ
Coverity Connect 管理
Coverity Connect サーバーの設定および管理
Coverity Analysis の更新を設定
ストレージの容量および管理
開発者のワークフロー
外部ネットワークへのアクセス
グローバルな担当者割り当てルールを設定する
Jira と統合する
要件
Jira エクスポートを設定する
Jira サーバーの設定
プロジェクトマッピング
プロジェクトマッピングを追加する
Jira Cloud 使用時に Reporter を割り当てる
定数静的フィールドのテンプレートを使用する
その他 (JIRA以外) のバグ追跡システムと統合する
要件
Bugzilla サーバーの設定
Coverity Connect から Bugzilla へのプロジェクトマッピングを設定する
プロジェクトマッピングを維持または置換する
変数の置換
例: Coverity フィールドを Bugzilla フィールドにマッピング
SSL を使用して Bugzilla インスタンスに接続する
カスタムチェッカーの説明を設定する
カスタム問題カテゴリを設定する
問題の分類マップ JSON 形式
サインイン設定を行う
ローカルパスワードポリシーを設定する
ソフトロックアウトポリシーを設定する
TLS/SSL 用に Coverity Connect を設定する
期限切れの TLS/SSL 証明書を更新する Coverity Connect
TLS/SSL 証明書の更新を開始する前に: 準備と基本的な概念
TLS/SSL 証明書の更新シナリオ
シナリオ 1.証明書の更新: 既存のキーストアと秘密鍵の再利用
シナリオ 2.キーストアを置き換える
シナリオ 3.既存のキーストアがない
Coverity Connect を再起動して、新しい証明書を確認する
TLS/SSL の更新: その他のヒント、警告、および情報
登録暗号化の使用事例
暗号化処理を更新する Coverity Connect
Coverity Connect のサインイン方法 Coverity Connect
LDAP サーバーと統合する
LDAP サーバーの要件
LDAP データの読み取り専用アクセス
LDAP サーバータイプ
LDAP サーバー設定の概要
LDAP サーバーを設定する
LDAP セキュリティ
LDAP サーバー設定をアップグレードする
停止と開始 Coverity Connect
LDAP デバッグツール
Kerberos を使用するように Coverity Connect を設定する
Kerberos の概要
重要なコンセプト
セットアップ
ブラウザを設定する
Kerberos 認証のトラブルシューティング
SAML を使用するように Coverity Connect を設定する
SAML SSO にログインする
SAML SSO からログアウトする
SAML SSO 設定を追加する
SAML SSO 設定パラメータ
SAML SSO 設定を作成する
SAML SSO 設定を個々の Coverity Connect ユーザーに関連付ける
SAML SSO 設定を削除する
SAML SSO でのユーザー情報の自動入力をサポート
リバースプロキシサーバーを追加して設定する
Apache HTTP サーバーを使用して設定する
リバースプロキシ認証を追加する
Coverity Connect ライセンス情報
解析ライセンスファイル
メール通知および配信の設定
コンポーネント通知設定を設定する
通知メールに含まれる不具合の最大数を設定する
メール通知用の URL を変更する
SSL が有効になっているメールサーバーで Coverity Connect を設定
ビュー固有の通知メールを送信するようデフォルトのメール設定を変更する
ロギングを設定する
Coverity Connect ログファイル
使用状況ロギングの強化
利用およびコンプライアンスデータ (UDC) を収集および配信する
利用およびコンプライアンスデータを管理する
使用データとコンプライアンスデータの収集の無効化
URL またはエクスポート不具合ハンドラによる問題のエクスポートを有効にする
カスタム不具合ハンドラーのタイムアウト時間を増やす
Coverity Connect インターフェイスのプロジェクトダッシュボードを無効にする
登録オプションを指定する
システム診断
システム診断の概要
カスタムデータベースクエリー
の安全性を確保する Coverity Connect
ヘルスチェック
Secure Code Warrior の有効化
カスタムバナーの設定
スキャントランスペアレンシーデータの収集を有効にする
データベースの設定と管理
重要事項
データベースのサイズを管理
データベースの最適化
データベース相互参照の重複排除
スナップショット詳細を完全削除する
スナップショット詳細の完全削除を設定する
アップグレードに関する重要事項
標準添付データベースのバックアップ
標準添付データベースのバックアップに関する重要な注意事項
Coverity Connect UIを用いた標準添付データベースのバックアップ
コマンドラインを用いた標準添付データベースのバックアップ
標準添付データベースのリストア
クライアント側 TLS/SSL 証明書の管理
SSL の概要
TLS/SSL の主要な概念
サーバー証明書のユースケース
証明書管理の改善
自己署名証明書および初回信頼 TLS/SSL
Coverity トラストストアのタイプ
CA 証明書の伝播手順
CA の証明書を取得する
WebSocket 接続をテストする
コンテキストパスを使用するために Coverity Connect を設定
ユーザーおよびグループ、ロールの管理
ユーザーの管理
ローカルまたは LDAP ユーザーを設定する
ローカルまたは LDAP ユーザーを編集する
ユーザーをグループに割り当てる
ユーザーのロールを管理する
ユーザーアカウントをロック/ロック解除する
一時的にロックされているユーザーアカウントをすべてアンロックする
ユーザーアカウントを無効にする
ユーザーを削除する
ユーザーをインポートする
データ収集の範囲を限定する
認証キーを作成して使用する
キーを作成する
キーを使用する
キーを表示する、または無効にする
認証キーの使用例
グループの管理
ビルトイングループ
グループを設定する
1 人または複数のユーザーをグループに割り当てる
グループのロールを管理する
グループを編集する
LDAP グループをインポートする
グループを削除する
ロールおよびロールベースのアクセス制御
重要なコンセプト
Coverity Connect 権限
Coverity Connect roles
Coverity Connect がロールを適用する仕組みを理解する
同期 Coverity Connect クラスタ上で RBAC ロールを割り当てる
プライマリプロジェクトとストリームリンク
RBAC のユースケース
シナリオ: 同期 Coverity Connect エンタープライズクラスタ上で選別権限を与える
シナリオ: プロジェクト管理を委託する
シナリオ: プロジェクトおよびストリーム管理のアクセスを制限する
シナリオ: プライマリプロジェクトからロールを管理する
シナリオ: ストリームを作成するためのアクセス権を与える
シナリオ: Coverity Desktop ユーザーのプロジェクトアクセスを制限
シナリオ: ロールの権限を昇格させる
アクセス制限のガイドライン
コンポーネントマップに対するロールベースのアクセスコントロールを有効にする
ソフトウェア問題のデータの管理
プロジェクトおよびストリームの利用
プロジェクトおよびストリームの設定を計画する
プロジェクトとストリームの作成、コピー、削除する
プロジェクトを設定する
ストリームを設定する
ストリームを複数のプロジェクトに割り当てる
プロジェクトおよびストリームをコピー、削除する
ストリームのエクスポートとインポート
プロジェクトまたはストリームごとにロールを割り当てる:
ストリームに対する問題の分類マップを選択する
解析ライセンスをプロジェクトに割り当てる
検索フィルターを使用してプロジェクトおよびストリームを検出する
プロジェクトおよびストリームを編集する
ストリームをプロジェクトに割り当てる
プロジェクトレベルで日次トレンドレコードを管理する
期限切れストリームの自動削除対象ストリームを指定する
ストリームのスナップショットを管理する
スナップショットデータを表示する
スナップショットを削除する
ストリームで担当者の自動割り当てを設定する
ストリームの Desktop Analysis オプションの設定
トリアージ属性の設定
カスタムトリアージ属性を作成する
カスタム属性の制限
トリアージ属性をコピーする
トリアージ属性を編集する
コンポーネントの使用
コンポーネントを設定する
コンポーネントマップをインポートおよびエクスポートする
エクスポートされたコンポーネントマップの JSON 要素
ユーザーシナリオ: コンポーネント
システム概要
シナリオ: コンポーネント設定
シナリオ: ユーザーワークフロー
コンポーネントマップにロールを割り当てる
トリアージストアの管理
シナリオ: コードブランチ全体でトリアージデータを共有する場合 (推奨)
シナリオ: コードブランチ別にトリアージデータを分割する場合
シナリオ: プロダクトベースプロジェクトのトリアージデータを分離する場合
バージョン 6.0 または 6.0.1 からアップグレード後にトリアージストアを設定する
エクスポートされたトリアージストアの JSON 要素
レガシー問題の設定
すべての新しい問題をレガシー状態に設定する
Coverity Analysis のアップグレード後にレガシー問題を作成
でレガシー問題の作業を行う Coverity Connect
担当者の自動割り当ての設定
担当者の自動割り当て手順の概要
グローバル SCM ルールと SCM ユーザーマップの設定
SCM 導出ルール
SCM を Coverity Connect ユーザーマップファイルに設定する
ストリームレベルルールの設定
カスタムコーディング規約
カスタムコーディング規約を追加する
新しいカスタムコーディング規約をアップロードする
コーディング規約ファイルをダウンロードする
テンプレートファイルをダウンロードする
カスタムコーディング規約を更新する
カスタムコーディング規約の名前を変更する
規約を非表示にする、再び表示する
カスタムコーディング規約を削除する
Coverity Connect エンタープライズクラスタの設定
複数の Coverity Connect インスタンスの同期
クラスタ全体でデータを同期する
クラスタ全体のデータ同期を設定する
コーディネータとサブスクライバを特定する
SSL 証明書とトラストストアを設定する
クラスタ全体で Coverity Policy Manager データを同期
複数のデータベースインスタンスの管理
クラスタ環境でデータベースをバックアップする場合のワークフロー
クラスタ環境でデータベースをリストアする場合のワークフロー
Code Sight 用にサーバーを設定する
Black Duck Code Sight プラグインのサーバー管理
Code Sight クライアント用に Coverity Connect サーバーを設定
Desktop Analysis　のためのサーバー管理
ストリームを設定する
解析サマリーを作成する
サマリーの有効期限
Desktop Analysis の使用状況の追跡
解析ライセンスサービス
Coverity Connect URL の作成
エクスポートされた不具合の出力
エクスポートされた不具合の URL の変数
エクスポートされた不具合の XML 要素
エクスポートされた不具合の XML ファイル
新規ユーザーに対するビルトインビューの表示抑制
に表示される日付フォーマットの変更 Coverity Connect
Coverity デスクトップを以下で設定 Coverity Connect
ダウンロードページからの Coverity Desktop および共有ファイルの設定
Coverity Connect の [ダウンロード (Downloads)] ページを設定する
ダウンロードページへの Coverity Analysis の追加
Coverity Desktop アップデートの追加
カスタムファイルを追加/削除する
Coverity Policy Manager の管理
Coverity Policy Manager の階層を管理
階層の計画
階層の設定
階層の作成
階層の編集
Coverity Policy Manager 階層のインポート/エクスポート
Extract Transform Load (ETL) プロセスをスケジュール設定する
ETLデータの切り捨て
サマリーメトリクスの作成
Coverity Policy Manager のロールと権限
インストールとアップグレード
Coverity Connect ネットワーク接続要件
Coverity Connect ハードウェア
データベースサイズのガイドライン
Coverity Platform コンポーネントをインストールする
Black Duck リポジトリから Coverity Platform インストーラをダウンロードする
インストール Coverity Connect
Coverity Platform インストーラモード
インストーラモードの選択
Coverity Platform グラフィカルインストーラ
Coverity Platform サイレントインストーラ
高度なインストールオプション
Coverity Connect で外部 PostgreSQL データベースを使用する
cim.properties ファイルのデータベース情報を理解する
データベースプールへのアクティブな接続の制限を変更する
config/system.propertiesでの追加 RAM の JVM 使用率の最適化
同時コミットの数を変更する
並行登録の要件
インストール後の注意
重要な推奨事項
Coverity Connect のライセンス情報の取得
複数の Coverity Connect ライセンスをインストールする
Coverity Connect の停止と開始
Coverity Connect のオーナーを変更する
Coverity Reports のインストール
Coverity Reports インストーラモード
インストーラモードの選択
Coverity Reports サイレントインストーラ
Coverity Connect システムの調整、保守および監視
インストール後：タスク一覧
cov-analysis のコンフィギュレーションと設定
cov-platform システムのコンフィギュレーションと設定
Coverity デプロイ完成度モデル
Coverity Connect システムおよびデータベースの調整
PostgreSQLデータベースの転換：組み込みデータベース
データベース設定ファイルを変更する
Windows での制限
データベースの保守とバックアップ
JVM 設定
必要な JVM 設定
オプションの JVM 設定
Coverity Connect のパフォーマンスの監視と診断
Linux 監視および診断ツール
パフォーマンスの問題を診断する
I/O 障害を診断する
Windows 監視および診断ツール
Coverity Connect 問題の診断にパフォーマンスモニタを使用する
システムパフォーマンス参考例
ビルド
解析
登録
オープンソースのデータ収集・監視ソフトウェアで Coverity Connect アプリケーションメトリクスを表示する
メトリクスを利用可能にする
メトリクスのロギングを有効にする
メトリクスプレゼンテーションを設定する
Coverity Connectアプリケーションのメトリック
Connect UI システム合計リスト
Coverity Connect をアップグレードする
標準添付データベースを使用するインスタンスをグレードする
アップグレードのタイプを選択する
アップグレードを実行する: スタンドアロンデプロイメント
スタンドアロンデプロイメントのアップグレードの前提条件
インプレースアップグレードを実行する (スタンドアロンインスタンス)
バックアップリストアアップグレードを実行する (スタンドアロンインスタンス)
マシン間アップグレードを実行する (スタンドアロンインスタンス)
アップグレードを実行する: クラスタデプロイメント
クラスタデプロイメントに関する重要情報
クラスタデプロイメントのアップグレードの前提条件
インプレースアップグレードを実行する (クラスタインスタンス)
バックアップとリストアによるアップグレードの実行 (クラスタインスタンス)
マシン間アップグレードの実行 (クラスタインスタンス)
外部データベースを使用するインスタンスをグレードする
外部データベースを使用するインスタンスのインプレースアップグレードを実行する
外部データベースを使用するインスタンスのバックアップリストアアップグレードを実行する
Coverity Connect アップグレードの環境変数パラメータ
Coverity Desktop をアップグレードする
Coverity Desktop for Eclipse と Wind River をアップグレードする
Coverity Desktop for Visual Studio をアップグレードする
Coverity Desktop for IntelliJ IDEA と Android Studio をアップグレードする
バックアップリストアアップグレードまたはマシン間アップグレードから、前の Coverity Connect バージョンにロールバックする
Coverity 製品コンポーネント: サポートされているバージョンと互換性
Coverity Connect および Coverity Reports のサポート対象プラットフォーム
Coverity Analysis
Coverity Analysis の概要
Coverity Analysis の概要
ロールおよび責任
使用事例
使用可能なモデルをキャプチャする
Coverityスキャンの実行に関するセキュリティ上の考慮事項
Coverity クラウドデプロイで解析を実行する
クラウド内の Kubernetes クラスターにおける解析の概要
Thin Client 言語サポート
クライアントソフトウェアのインストール
クライアントシステムへの Coverity Thin Client のインストール
フル Coverity Analysis クライアントをクライアントシステムにインストール
Black Duck Bridge CLI を使用して Thin Client 解析をパイプラインに統合する
プロジェクトとストリームの作成
解析の実行: インクラウドとオンプレミスの比較
Coverity 設定ファイルの作成
クラウド上での解析のための TLS と証明書の設定
クラスターでのクライアント認証の設定
解析ロケーション:
非同期または同期解析の指定
ワークフローのスキャン
スキャンを開始する
Kubernetes の Scan Service キャッシュについて
キャッシュキー
フルクライアントからスキャンサービス解析を開始する準備
クラウドで実行された解析のステータスの管理と表示
スキャンリストビューを開く
スキャンリストビュー
スキャンのキャンセル
ログとレポートのダウンロード
お知らせ
Coverity チェッカーでの解析
Black Duck Bridge CLI を使用してフル Coverity Analysis をパイプラインに統合する
解析を生成する手順
前提条件
設定
キャプチャ
ビルドキャプチャ (コンパイル型言語)
NET ビルドキャプチャ
解析
登録
問題の表示
インタラクティブにソースコードを解析する
Coverity Analysis ステップ：詳細
設定：'cov-configure' を呼び出す
キャプチャ: 言語別のビルドオプション
キャプチャ: 例
キャプチャ: ビルドキャプチャに関する詳細メモ
解析: 特殊事例
解析: 解析サマリーレポート
Coverity による解析をサポートするタスク
チェッカーの有効化または無効化
カスタムモデルを使用して解析結果を改善させる
モデルを使用してソースコードのない関数またはメソッドを模倣する
モデルを使用してプロシージャ間解析を調整する
解析で Coverity Analysis 設定ファイルを使用する
その他の設定ファイル名やディレクトリを指定する
設定ファイルにコマンドラインオプションを指定する
<cim> タグを使用して登録オプションを指定する
ディレクトリおよび発行オプションを指定するために <prevent> タグを使用する
コンパイラの設定を変更する
ウェブアプリケーションセキュリティ解析を実施する
Java ウェブアプリケーションでセキュリティ解析を実施する
ウェブアプリケーションのアーカイブまたはディレクトリを発行する（ビルドキャプチャのみ）
ASP.NET ウェブアプリケーションでセキュリティ解析を実施する
ASP.NET Core（2.0 以降）のウェブアプリケーションをキャプチャする
ASP.NET（4.0 以前）のウェブアプリケーションをキャプチャする
モバイルアプリケーションセキュリティ解析の実施
Android モバイルアプリケーションでセキュリティ解析を実施する
Java Android アプリケーション
Kotlin Android アプリケーション
ハイブリッド (Java と Kotlin) Android アプリケーション
iOS モバイルアプリケーション (Swift で作成) でセキュリティ解析を実施する
AndroidまたはiOS モバイルアプリケーションのセキュリティ解析の実行（Dart）
コーディング規約解析を実施する
コーディング規約解析のガイドライン
Running Fortran Syntax Analysis
高度な解析方法の使用
増分解析および並列解析、デスクトップ解析
増分解析
並列解析
デスクトップ解析
CI/CD パイプラインの一部として解析を実施する
解析設定の環境変数
'cov-analyze'オプションを使用して解析を調整する
'cov-build' を使用せずに解析を実行する
'cov-make-library' を使用するコマンド
解析され呼び出される関数を決定する
マクロの拡張を抑制してモデル化を向上させる
関数にプロトタイプを追加する
C および C++ ソースコードの派生モデルを使用する解析を実施する
コンパイラを設定する Coverity Analysis
テンプレート設定を生成する
フル設定を生成する
'ccache' または 'distcc' の使用
コンパイラ固有の設定
Clang コンパイラ
サポートされる言語拡張
Clang コンパイラでサポートされている遵守すべきコーディング規約
Clang の制限事項
CEVA コンパイラ
Embarcadero C++ コンパイラ
Freescale Codewarrior コンパイラ
GNU コンパイラ
Green Hills コンパイラ
HighTec コンパイラ
Intel oneAPIコンパイラ
Keil コンパイラ
Microchip コンパイラ
Microsoft Visual C および C++ コンパイラ
PICC コンパイラ
QNX コンパイラ
Qualcomm Kalimba C コンパイラ
Renesas コンパイラ
STMicroelectronics コンパイラ
Sun (Oracle) コンパイラ
Synopsys MetaWare コンパイラ
Tensilica Xtensa C および C++ コンパイラ
Texas Instruments C および C++ コンパイラ
Trimedia C および C++ コンパイラ
Coverity Analysis 指定コンパイラに定義済みマクロを使用する
プリプロセッサの動作を修正して互換性を改善する
Coverity 言語サポート
本番環境に向けた Coverity Analysis の設定
中央デプロイメントモデル
Coverity Analysis デプロイ時の検討事項
機密データがローカルマシンに残る可能性がある
ビルドシステムへの Coverity Analysis の統合
中間ディレクトリ
Coverity Analysis をビルド環境に統合する—'cov-build'
'cov-build' の出力：'build-log.txt' ログファイル
ASCII 以外のソースコードをビルドする
パース警告、パースエラー、ビルド障害を検出する
パースエラーを表示する
ソースファイルを前処理する
前処理を実行してからビルドする
仮説をテストする
ビルドを再実行せず、失敗したコンパイルを再実行する
連携情報の取得
記録/再生：記録再生ビルドの遅延および単独-プロセスビルドの並列化
'--record-only' を使用して 'cov-build' を実行する
'--record-with-source' を使用して 'cov-build' を実行する
コマンドを使用したエラー処理
ビルド問題のトラブルシューティングを行う
プラットフォーム固有の 'cov-build' 問題
Linux
Solaris
Windows
FreeBSD
AIX
その他のビルドコマンド： 'cov-translate'
'cov-translate' コマンドをネイティブコンパイラの代わりに使用する
パラレルビルドを実行する
単一マシン上の単一ビルド
単一マシン上の複数のビルド
複数のマシン上の複数のビルド
NFS パーティション上で共通中間ディレクトリを共有する
ローカルディスクから中間ディレクトリをコピーする
次での TLS/SSL の使用： Coverity Analysis
TrustStore　（トラストストア）　の概要
TLS/SSL 証明書に関するセキュリティ上の考慮事項
TLS/SSL を使用するように Coverity Analysis を設定する
トラストストアと連携する
初回信頼証明書を表示する
認証局証明書を表示する
証明書ファイルを解釈する
ca-certs.pem に証明書を追加する
トラストストアから初回信頼証明書を削除する
ca-certs.pem から証明書を削除する
リモートワーカージョブを使用したリソースの制約の管理
リモート　ワーカー SSH 設定のフィールド
でのネットワークファイルシステム (NFS) の使用 Coverity Analysis
Coverity Analysis 更新
各ビルドシステムのキャプチャ
Xcode でのビルド
プリコンパイル済みヘッダーを使った Xcode プロジェクトのビルド
Xcode 11 のための Apple の最新のビルドシステムを使用するプロジェクトをビルドする
Xcode 10 を使ったプロジェクトをビルドする
Visual Studio または .NET SDK (‘dotnet’) でのビルド
Cygwin でビルドする
SCM データの統合
カバレッジデータのインポートおよび抽出ユーティリティを使用する
ファイルをディレクトリ階層下に追加する
基本的なワークフロー
ファイルをキャッシュして SCM の以前のプロセスを利用する
SCM 改訂フォーマット
SCM データのないファイル
Bazel を使用したビルド
要件と制限
ビルドキャプチャの有効化
インストール Coverity Analysis
コンパイラの設定
ビルドの実行
カスタマイズコンパイル用ニーモニック
Sigma チェッカーでの解析
Rapid Scan Static (Sigma) から解析結果をインポートする
Sigmaをアップグレードする
コンパイラ統合ツールキット (CIT) を使用する
コンパイラ統合の概要
開始する前に
基本要件
Coverity Analysis ビルドシステム
'cov-configure' コマンド
'cov-translate' コマンド
'cov-preprocess' コマンド
'cov-test-configuration' コマンド
コンパイラ設定の理解
<compiler> 'coverity_config.xml' のタグ
<options> 'coverity_config.xml' のタグ
ネイティブ前処理のためのタグ
コンパイルをスキップするタグ
変換に影響するタグ
ネイティブコマンドラインを Coverity コンパイラに変換するために使用するタグ
コマンドライン変換の段階のタグ
'cov-build' の情報を内部転送するためのタグ
レスポンスファイルを処理するためのタグ
レスポンスファイル内のコメント行を処理するタグ
オプションが適用されるグループを指示するためのタグ
Coverity 設定ファイルを編集する—'coverity_config.xml'
コンパイラ統合ツールキット (CIT) を使用する
コンパイラ統合ツールキット (CIT) コンパイラ設定ファイル
<cit_version> タグ
<compiler> と <variant> タグ
コンパイラ統合ツールキット (CIT) に固有の <options> タグ
ネイティブコンパイラの起動およびプロービングのためのタグ
<config_generic_info> タグ
テストタグ
その他の設定タグ
コンパイラスイッチファイル
コンパイラ互換性ヘッダーファイル
カスタム変換コード
新しいコンパイラ用のコンパイラ統合ツールキット (CIT) 設定の作成
既存のコンパイラ統合ツールキット (CIT) 実装からのコンパイラの作成
派生コンパイラの設定フォーマット
派生されたスイッチファイルおよび compat ヘッダーファイル
ビルド統合のトラブルシューティング
ビルドログが生成されない
ヘッダーファイルエラーが表示されます: expected an identifier
ヘッダーファイルエラー「expected a ';'」が発生する
標準のヘッダーファイルが検出されない
というエラーメッセージが表示される#error No Architecture defined
サードパーティ統合ツールキットを使用する
サードパーティ統合ツールキットの概要
サードパーティ統合ツールキットを実行する
インポートファイルの形式と参照
インポートファイルの形式の例
インポート形式参照
容量と性能
Coverity Analysis のトラブルシューティング
Windows システム
すべてのオペレーティングシステム
Cygwin を使用して 'cov-build' を呼び出す
サードパーティのライセンスを検出する
互換性のない #import 属性
安全マニュアル
安全性に関するソフトウェア開発の概要
サードパーティソフトウェア
故障モード
Coverity セキュリティ動的解析
Coverity テンプレート動的解析
Coverity Analysis エンジン
Coverity Connect および Coverity Desktop
サイバーセキュリティの組み込み
適用される規約および範囲
ツールエラー検出
標準の準拠
マニュアルおよびサポート
Coverity Fortran Syntax Analysis User Guide
Introduction to Coverity Fortran Syntax Analysis
What does Coverity Fortran Syntax Analysis do?
Why Use Coverity Fortran Syntax Analysis?
Application Areas
This manual
Tutorial
Basic Operation
Analyzing a single source file
Enabling Warning and Information Messages
Producing a source listing with cross-references
Analyzing more than one source file
Analyzing all source files in one or more directories
The program analysis
The reference structure or call tree
The module dependency tree
Using library files
Using modules
Using third-party libraries
Portability and conformance to standards
Standard conformance
Compiler emulation
Setting your own, or company standard
Cross-platform development
Using include files
Multi-platform development
Operation
Using Coverity Fortran Syntax Analysis
Specifying a list file
Specifying a library file
Options
Configuration selection options
Other control options
Program-unit analysis
Global program analysis
Output
Library
Miscellaneous
Defaults
The usage of analysis options
Exit status
The usage of include files
Coverity Fortran Syntax Analysis library files
The usage of modules
Maintaining library files
Maintaining library files in command mode
Examples
The usage of language extensions
Compiler emulation and include files
Generating Fortran 90 interfaces
Operation of interf from the commandline
Storing the Reference structure and dependency of modules
Messages
Operational messages
Analysis messages
System messages
Redefinition and suppression of messages
Temporary suppression of messages
Reporting messages
Tuning the output
Line or statement numbering
Date and time format
Analysis
Program unit analysis
Interpretation of source code records
Lay-out of source code listing
Syntax analysis
Type verification
Local verification of argument lists
Verification of procedure entries
Intrinsic procedures
Function procedure
Program-unit cross references
Reference structure (Call tree)
Analysis of the reference structure
Display of the reference structure
Display of sub trees of the reference structure
Reference structure in XML format
Display of module dependencies
Display of dependencies for specific modules
Display of module dependencies in XML format
Global program analysis
Verification of procedure references
Verification of argument lists
Verification of common blocks
Verification of modules
Global program cross references
Cross references of common-block objects
Cross references of public module derived types
Cross references of public module data
Specification of procedure interfaces
Using FORTRAN 77 syntax
Using Fortran 90 syntax
Using Coverity Fortran Syntax Analysis attributes
Metrics
Final report
Supported Fortran syntax
Compilers supported
General language extensions supported
Absoft Fortran 77 extensions
Apollo/Domain Fortran extensions
Compaq Fortran extensions
Convex Fortran extensions
Cray Fortran 77 extensions
Cyber NOS/VE Fortran extensions
DEC PDP-11 Fortran-77 extensions
DEC FORTRAN and VAX Fortran extensions
Digital Research Fortran-77 extensions
F2c Fortran 77 extensions
GNU Fortran 77 extensions
HP-UX FORTRAN/9000 and HP Fortran 77 extensions
IBM AIX XL FORTRAN extensions
IBM VS Fortran V2 extensions
Intel Fortran extensions
Lahey F77L Fortran-77 extensions
Microsoft Fortran extensions
NDP Fortran extensions
Oracle Fortran extensions
Prime Fortran-77 extensions
Salford Fortran extensions
Silicon Graphics MIPSpro Fortran 77 extensions
Sun Fortran 77 extensions
Unisys 1100 Fortran-77 extensions
Watcom Fortran 77 extensions
The configuration file
EXTENSIONS
INTRINSICS
OCI (OPEN/CLOSE/INQUIRE) specifiers
MESSAGES
OUTPUT
VARIOUS
Fortran 77 language extensions table
Fortran 90/95/2003/2008/2015 language extensions table
Limitations
Configuration determined limits
History of changes
Message summary
References
Fortran Glossary
Coverity コンプライアンスガイド
本ガイドについて
Coverity Compliance Filtering の概要
調査結果の紹介
ワークフロー
Compliance Filtering の要件
サポート対象コーディング規約
問題作成の調整
優先度フィルター/検出項目レポートスプレッドシート
コード解析を実行する
検出項目レポートを生成する
検出項目レポートを解析する
フィルタリングポリシーを作成する
テスト検出項目レポートを生成する
優先度フィルターをアップロードする
優先度フィルターを更新または削除する
スコアを使用した開発タスクの優先順位付け
スコア項目を追加する
スコア別にフィルタリングする
Coverity レポートの設定と生成
コーディング規約およびとコンプライアンスレポート
逸脱の概要
レポートにおける逸脱事項
レポートジェネレータの設定
設定の概要
サポートされているレポートタイプのバージョン
一般的な検討事項
標準スキーマ要素
接続のスキーマ要素
問題カットオフのスキーマ要素
ロケールのスキーマ要素
プロジェクトのスキーマ要素
スナップショットのスキーマ要素
レポートフィルタリング要素
タイトルページのスキーマ要素
スキーマバージョンの要素
特定のレポートのスキーマ要素
CERT レポート
Coverity Integrity Report (インテグリティレポート)
Security Report (セキュリティレポート)
Black Duck ソフトウェアインテグリティレポート
DISA ASD STIG レポート
統合設定ファイル
Coverity CERT レポート
概要
レポートジェネレータでの作業
レポートジェネレータをインストールする
Coverity Connect に接続する
BDSIR レポートの生成
CERT レポート設定ファイル
システム環境変数を使用する
以前設定したレポートを生成する
CERT レポートを解釈する
Coverity CVSS レポート
CVSS の概要
スコアカードの要素
トリアージ属性
CVSS レポートプロファイル
レポートジェネレータをインストールする
Coverity CVSS レポートジェネレータで作業する
BDSIR レポートの生成
CVSS レポート設定ファイル
システム環境変数を使用する
CVSS レポート入力ファイル
レポートをローカライズする
Coverity DISA ASD STIG レポート
概要
レポートジェネレータでの作業
レポートジェネレータをインストールする
DISA ASD STIG レポート設定ファイル
BDSIR レポートの生成
DISA ASD STIG レポートを解釈する
Coverity Hyundai レポート
概要
レポートジェネレータでの作業
レポートジェネレータをインストールする
Hyundai レポート設定ファイル
BDSIR レポートの生成
システム環境変数を使用する
Hyundai レポートの解釈
Coverity Integrity Report (インテグリティレポート)
概要
不具合の評価
推奨される解析設定
要件
レポートジェネレータでの作業
レポートジェネレータをインストールする
Coverity Integrity Report 設定ファイル
BDSIR レポートの生成
レポートをローカライズする
Coverity MISRA レポート
MISRA レポートの概要
MISRA 準拠
レポートジェネレータでの作業
レポートジェネレータをインストールする
Coverity Connect に接続する
BDSIR レポートの生成
MISRA カテゴリに基づくカスタム規約を使用するレポートを作成する
MISRA レポート設定ファイル
システム環境変数を使用する
以前設定したレポートを生成する
レポートをローカライズする
Coverity OWASP Web Top 10 レポート
概要
レポートジェネレータでの作業
レポートジェネレータをインストールする
OWASP Web Top 10 レポート設定ファイル
BDSIR レポートの生成
OWASP Web Top 10 レポートを解釈する
Coverity Mobile OWASP Top 10 レポート
概要
レポートジェネレータでの作業
レポートジェネレータをインストールする
Mobile OWASP Top 10 レポート設定ファイル
BDSIR レポートの生成
Mobile OWASP Top 10 レポートを解釈する
Coverity PCI DSS レポート
概要
レポートジェネレータでの作業
レポートジェネレータをインストールする
PCI　DSS レポート設定ファイル
BDSIR レポートの生成
PCI DSS レポートを解釈する
Coverity Security Report
Security Report (セキュリティレポート) 概要
レポートジェネレータでの作業
レポートジェネレータをインストールする
Coverity Connect に接続する
BDSIR レポートの生成
GUI 設定
セキュリティレポート設定ファイル
以前設定したレポートを生成する
Security Report (セキュリティレポート) を解釈する
重要度マッピング: 技術的不具合を重要度レベルにマッピングする
重要度マッピングを作成する
セキュリティスコア、重要度マッピング、保証レベル
スコアカードの読み方
Security Report (セキュリティレポート) カスタマイズする
レポートをローカライズする
システム環境変数を使用する
Black Duck ソフトウェアインテグリティレポート
概要
レポートジェネレータをインストールする
セットアップおよび設定
Black Duck ソフトウェアインテグリティレポートジェネレータを設定する
Black Duck ソフトウェアインテグリティレポートを設定する
Black Duck ソフトウェアインテグリティレポート設定ファイル
システム環境変数を使用する
GUI からレポートを再生成する
コマンドラインからレポートを生成する
PDF レポートの概要
詳細結果
Analysis のコマンド
Coverity Analysis のコマンド
cov-analyze
状況
説明
オプション: アグレッシブレベル
オプション: 解析
オプション: Apex チェッカー
オプション: 監査
オプション: Brakeman チェッカー
オプション: C、C++、Objective-C、Objective-C++
オプション: C#
オプション: チェッカー
オプション: コンプライアンスチェッカー
オプション: カスタムチェッカーおよび CodeXM
オプション: Extend SDK
オプション: Java
オプション: Java 解析
オプション: JavaScript、TypeScript
オプション: Java SpotBugs
オプション: Kotlin detekt
オプション: メトリクス
オプション: モデル
オプション: 共有
オプション: Sigma
オプション: ウェブおよびモバイルアプリケーションセキュリティ
終了コード
例
その他の参照
cov-blame
状況
説明
オプション
終了コード
その他の参照
cov-build
状況
説明
C、C++、C#, および Visual Basic のビルドキャプチャ
Go ビルドキャプチャ
Java および Kotlin ビルドキャプチャ
ビルドキャプチャ例
Java および .NET ソースのセキュリティ動的解析
オプション
終了コード
その他の参照
cov-collect-models
状況
説明
オプション
終了コード
その他の参照
cov-commit-defects
状況
説明
フォーワードプロキシを使用する
オプション
終了コード
例
cov-configure
状況
説明
言語固有の設定
オプション
終了コード
その他の参照
cov-count-lines
状況
説明
オプション
終了コード
例
cov-emit
状況
説明
オプション
終了コード
その他の参照
cov-emit-cs
状況
説明
オプション
終了コード
cov-emit-go
状況
説明
オプション
終了コード
cov-emit-java
状況
説明
オプション
終了コード
例
その他の参照
cov-emit-vb
状況
説明
オプション
終了コード
cov-extract-scm
状況
説明
オプション
終了コード
その他の参照
cov-find-function
状況
説明
オプション
終了コード
例
cov-format-errors
状況
説明
正規表現
オプション
終了コード
cov-format-sarif-for-github.js
状況
説明
オプション
例
cov-generate-hostid
状況
説明
オプション
終了コード
例
cov-help
状況
説明
環境変数
終了コード
cov-import-msvsca
状況
説明
オプション
終了コード
その他の参照
cov-import-results
状況
説明
オプション
終了コード
cov-import-scm
状況
説明
オプション
終了コード
その他の参照
cov-import-sigma
状況
説明
オプション
cov-install-updates
状況
説明
サブコマンド
サブコマンドオプション
接続オプション
共有オプション
終了コード
例
その他の参照
cov-link
状況
説明
オプション
終了コード
例
その他の参照
cov-make-library
状況
説明
オプション
終了コード
その他の参照
cov-manage-emit
状況
説明
オプション
基本オプション
フィルタリングなしのサブ命令
変換単位のフィルタリングサブコマンド (オプション)
変換単位のフィルタリングサブコマンド (必須)
発行データベース情報をリストする
リコンパイル
逆コンパイル
翻訳単位パターンの一致
共有オプション
終了コード
例
その他の参照
cov-manage-findings
状況
説明
オプション
終了コード
例
cov-preprocess
状況
説明
オプション
終了コード
その他の参照
cov-record-source
状況
説明
オプション
終了コード
その他の参照
cov-run-desktop
状況
説明
変換単位の選択
Git スーパープロジェクトに関する注意事項
正規表現
オプションのカテゴリ
オプション
終了コード
その他の参照
cov-run-fortran
状況
説明
Fortran の入力
Fortranの出力
オプションの使用
オプションのカテゴリ
オプション
終了コード
その他の参照
cov-run-sigma
状況
説明
オプション
cov-security-da
状況
説明
オプション
その他の参照
cov-setup-bazel-registry
状況
説明
オプション
cov-support
cov-test-configuration
状況
説明
例
オプション
終了コード
その他の参照
cov-translate
状況
説明
例
オプション
終了コード
その他の参照
cov-upgrade-static-analysis
状況
説明
オプション
終了コード
Coverity Analysis Ant タスク
covanalyzeandcommit
covbuild
Coverity CLI コマンド
coverity analyze
coverity capture
coverity commit
coverity help
設定構文ヘルプ
coverity list
coverity scan
coverity setup
Report-generation commands
Coverity CERT レポート
cov-cert-report
cov-generate-cert-report
CVSS レポート
cov-generate-cvss-report
Coverity DISA ASD STIG レポート
cov-generate-disa-stig-report
Hyundai レポート
cov-generate-hyundai-report
Coverity Integrity Report (インテグリティレポート)
cov-generate-integrity-report
MISRA レポート
cov-misra-report
cov-generate-misra-report
OWASP Web Top 10
cov-generate-owasp-report
Mobile OWASP Top 10
cov-generate-mobile-owasp-report
PCI DSS
cov-generate-pci-dss-report
Security Report (セキュリティレポート)
cov-security-report
cov-generate-security-report
Black Duck ソフトウェアインテグリティレポート
bd-integrity-report
bd-generate-integrity-report
Coverity Security Directives リファレンス
セキュリティ設定ファイル
ディレクティブの使用
セキュリティの脅威
カスタムチェッカーの定義
チェッカー固有のディレクティブ
サポート対象言語
カスタムコンフィギュレーションの起動方法
設定ファイルの構文
設定ファイルによる JSON への拡張のサポート
JSON に関する用語
スキーマ
最上位値
現在サポートされているバージョン
設定ファイル内のオブジェクト
設定ファイルの使用
ユーザーディレクティブ
android_protected_intent_actions
android_safe_categories
async_method
class_like_print_writer_for_servlet_output
csrf_check_needed
csrf_validator
data_has_tag
dataflow_checker_name
dataflow_through_callsite
dc_checker_name
define_lookup_method_call_map
ignore_all_argument_dataflow_to_method
ignore_method_dataflow
ignore_method_output
local_callback
map_read
map_write
method_returns_constant
method_returns_param
method_returns_servlet_output_stream
method_returns_tainted_data
method_set_for_dc_checker
method_with_servlet_sinks_on_input
method_with_servlet_sinks_on_output
move_xss_outside_method
sanitizer_for_checker
sensitive_action
sensitive_operation
simple_entry_point
sink_for_checker
tainted_data
text_checker_name
xss_sanitizer_method
バージョン 8からバージョン 12 への形式の移行
ユーザーディレクティブで使用される他のオブジェクトタイプ
AccessPathElement
AnnotationSet
named
matching
CallsiteSet
callsite_with_static_target
call_on
new_on
CallsiteCondition
ClassName
ClassSet
named
matching
with_super
with_annotation
HtmlOutputContext
html_attribute_value_where_name_is_from_param
html_prefix
例
InputAndAccessPathSpecifier
InputTaint
InputTag
InputValue
IssueTypeDefinition
MethodCallSpecifier
method_call
lookup_by_constant_param
MethodName
MethodSet
named
matching
overrides
implemented_in_class
and
with_annotation
OutputAndAccessPathSpecifier
ParamIn
ParamOut
ReadableProgramData
from_callsite
read_from_object_with_tag
read_path_off_global
read_off_any
read_from_js_require
read_from_HANA_library_import
RegularExpression
ReturnConstant
SinkKind
TaintKind
TaintKindGroup
TextPattern
regex
xpath
WritableProgramData
to_callsite
write_to_object_with_tag
write_path_off_global
write_off_any
カスタマイズガイド
カスタマイズ Coverity
Coverity Analysis の概要
グローバルなカスタマイズのための選択肢
グローバル解析オプション
データソースのためのグローバルトラストモデル
チェッカー、言語、その他の条件に応じた選択
チェッカーオプション (Checker Options)
カスタム API モデル
コード内アノテーション
セキュリティ解析ディレクティブ (JSON)
新しいチェッカーの作成
データフローとテキストチェッカー (JSON ディレクティブ) のカスタマイズ
CodeXMチェッカー
チェッカーを作成する従来の方法
チェッカーの有効化と無効化
'cov-analyze’ によるチェッカーの有効化と無効化
有効なチェッカーのセットを変更
コンパイル警告チェッカーを有効にする (PW.*、RW.*、SW.*)
パース時の警告のどれを有効にするかを変更
脆弱なデータの特定
汚染されたデータの概要
汚染データの例
汚染型の trust オプション
汚染データのカテゴリ
コードベースの汚染ソース
機密データの概要
機密データソースタイプ
モデルとプリミティブ
使用事例
利用できないソースコードのモデル
Coverity Analysis により派生しているモデルが役に立たない
カスタムモデルの追加
モデル化プリミティブ
汚染列挙
モデル検索順序
C/C++ のモデル
C/C++ の例
例: デフォルトの C モデルをオーバーライドする
C モデルを追加してメモリの割り当てをエミュレートする
不具合レポート数を減らすために、ビルトインモデルを置換する
関数ポインタのモデル
関数に Killpath を追加するモデル
'special_abort()' モデルに Killpath を追加する
並行性モデル
C++ モデルを追加する
C++ モデルの一般的な検討事項
メモリの割り当ての解析を改良する C++ モデルの追加
仮想関数のモデル (C++)
テンプレートのモデル (C++)
C/C++ プリミティブ
C/C++ リソース管理プリミティブ
C/C++ セキュリティ　プリミティブ
非推奨になった C/C++ セキュリティ　プリミティブ
誤検知を管理するC/C++プリミティブ
C/C++ 並行性プリミティブ
C# および Visual Basic のモデル
C# および Visual Basic の例
信頼されない (汚染されている) データのソースをモデル化するプリミティブ
機密データのソースをモデル化するプリミティブ
C# および Visual Basic のプリミティブ
C# および Visual Basic の参照オブジェクト　プリミティブ
C# および Visual Basic のセキュリティ　プリミティブ
C# と Visual Basic の副作用とユーティリティのプリミティブ
C# および Visual Basic の並行性プリミティブ
Go のモデル
Go の例
信頼されない (汚染されている) データのソースをモデル化するプリミティブ
機密データのソースをモデル化するプリミティブ
Go プリミティブ
Go のセキュリティプリミティブ
Go の副作用とユーティリティのプリミティブ
Go の並行性プリミティブ
Java のモデル
Java の例
Java インターフェイスメソッドのモデル
リソースリークのモデル
信頼されない (汚染された) データのソースのモデル
汚染されたデータがフローしてはならないメソッドのモデル (シンク)
フィールドが汚染されているかいないかのアサーションを追加する
メソッドの不具合レポートを抑制する
Java ウェブアプリケーションセキュリティモデルの生成
Java プリミティブ
Java リソースリークプリミティブ
Java セキュリティプリミティブ
Java 機密データプリミティブ
Java 副作用プリミティブ
Java 解放後の使用プリミティブ
Java Coverity プリミティブ
Java Android プリミティブ
Java 反復子プリミティブ
Java 並行性プリミティブ
暗号化プリミティブ
C/C++ 暗号化プリミティブ
値マップ文字列
C# および Visual Basic の暗号化プリミティブ
Java と Kotlin の暗号化プリミティブ
暗号プリミティブで使用される列挙
アルゴリズム
BlockMode
パディング
実装
動作
SSL_Protocol
解析アノテーション
C/C++ のアノテーション
C/C++　コードラインアノテーション
特別な Coverity Connect の分類
FALSE 分類
SUPPRESS 分類
アノテーションのロギング (Annotation Logging)
C/C++ 関数アノテーション
C/C++ ‘#pragma’ ディレクティブと ‘_Pragma()'演算子
コンプライアンス逸脱のアノテーション
'#pragma coverity compliance' ディレクティブ
'#pragma coverity compliance' ディレクティブ: その他の例
'_Pragma（）' コンプライアンス演算子
C# および Visual Basic のアノテーション
C# または Visual Basic のソースにアノテーションを追加
.NET コードの ‘Tainted’ および ‘NotTainted’ の属性
.NET コードの 'SensitiveData’ 属性
Java のアノテーション
Java ソースにアノテーションを追加
Java コードの ‘@Tainted’ および ‘@NotTainted’ の属性
Java コードの '@SensitiveData’ 属性
構文解析時の警告設定ファイル
Coverity CodeXM Checkers Development Guide
Introduction to CodeXM
Nullable types
Interactive checker development
Learning to write CodeXM checkers
QuickStart tutorial
Writing your first CodeXM checker
Running your CodeXM checker
Further reading
How to write a CodeXM checker
Reviewing basic CodeXM concepts and exercises
Basic pattern matches and conditions
Decomposing a pattern to match specific properties
Using the filtering operator
Creating custom patterns
Returning objects from patterns
Finding a literal argument value
Handling null values
Using the 'exists' expression
Defining CodeXM variables
CodeXM types
Using switch statements
Using conditional expressions
Using the 'debug()' function
Defining CodeXM functions
Including other CodeXM files
Finding built-in code patterns
Function properties
Path-sensitive analysis
Writing an A_THEN_B checker
Writing your own Don't Call checker
A CodeXM style guide
Alternatives in patterns
Anonymous functions
Braces
Comments
Conditional Expressions
Constants
Enum, list, record, and set literals
'for' loops
Functions
Identifiers
'let' bindings
Multiline logical expressions
Pattern decompositions
Spacing and line length
'switch' expressions
Syntax reference
Describing syntax
Syntax diagrams
Extended Backus-Naur form
CodeXM character set
White space and comments
How does Coverity Analysis work?
CodeXM file-level elements
Specifying the target language
The identifier
The CodeXM-File
The checker-definition
Example of a checker
The 'defineIssueType()' function
The const-definition
The forward-declaration
The function-definition
Generic parameters
The function-property-definition
The include-directive
The pattern-definition
The type-definition
Expressions
The expression
Operator precedence
The 'default' operator
The addition-expression
Null coalescing
The binary-expression
The call-expression
The comparison-expression
The conditional-expression
The decomposing-pattern-expression
The comparand-expression
The element-access-expression
The exists-expression
The for-accumulate-expression
Initializing the accumulator
The logic of for-accumulate
The for-loop-expression
The result of a for-loop
The result of a checker
Visualizing a for-loop
The happens-before-expression
The 'sequence()' function
The if-exists-expression
The result of if-exists
The if-expression
if-expression behavior
The lambda-expression
The let-binding-expression
Using let-binding
The list-expression
list-expression behavior
The literal-expression
The enum-literal-expression
The int-literal-expression
The string-literal-expression
string-literal details
'null' and 'NonNull'
'true' and 'false'
The logical-expression
The matches-expression
The multiplication-expression
The pattern-expression
The match-list
The property-access-expression
The record-expression
The record-update-expression
The set-expression
The set-filter-expression
The switch-expression
The unary-expression
The variable-expression
The CodeXM type system
The type
The builtin-type
The eventstring
The collection-type
The type_of_empty_list
The enum-type
The function-type
The globalset-type
The named-type
The node-type
The nullable-type
The type_of_null
The pattern-type
The record-type
CodeXM keywords
Common library reference
Filtering target code
allCodeIn( theCode )
allMatchingCodeIn( desiredPattern, theCode )
anyMatchingCodeIn( desiredPattern, theCode )
contains( predicate, theCode )
containsMatch( desiredPattern, theCode )
filter( predicate, s )
innermostOwner( ownerPattern, theCode )
outermostOwner( ownerPattern, theCode )
outermostOwnerExpression( theExpression )
ownerStatement( theCode )
Handling sets and lists
reverse( l )
unique( equal, s )
Managing strings
Regex( string )
RegexExtended( string, options )
strcat( string0, string1 )
strToInt( string )
strToLower( string )
Debugging Support
debug( eventstring )
C/C++ library reference
Specifying the target language
The CUDA extension
Class definitions
astnode
classDefinition
The base class properties
Examples of using base class properties
classParent
enumDefinition
functionDefinition
functionOrStaticVariableDefinition
globalVariableDefinition
tokenizedSourceFile
'enum' kinds
assignKind
castKind
deducedTypeKind
floatKind
floatSuffix
forLoopKind
intKind
nullKind
qualifierEnum
sizeofKind
stringLiteralEncoding
variableDeclarationKind
variableScopeEnum
'globalset' sets
allClasses
allEnums
allFunctionAndGlobalVariableCode
allFunctionAndGlobalVariableDefinitions
allFunctionCode
allFunctionDefinitions
allGlobalVariableDefinitions
allTokenizedSourceFiles
Code patterns
Statements
asmStatement
blockStatement
breakStatement
caseStatement
continueStatement
defaultStatement
doWhileLoop
emptyStatement
forLoop
forLoopRange
forLoopSimple
Matching a loop whose condition is always true
gotoStatement
ifStatement
labelStatement
returnStatement
simpleStatement
switchStatement
tryStatement
whileLoop
Declarations
localFunctionDeclaration
variableDeclaration
Types
arrayType
boolType
charType
classType
deducedType
enumType
floatType
functionType
intType
memberType
nullPointerType
pointerType
referencedTypesType
referenceType
sizeofOperatorType
typedefType
typeQualifier
typeQualifierAtomic
typeQualifierConst
typeQualifierRestrict
typeQualifierVolatile
voidType
Expressions
Example: Expressions used as if-statement conditions
Common properties of expressions
functionCall
kernelCall
memberReference
pointerDereference
sizeofOperatorExpression
subscriptReference
variableReference
Literals
booleanLiteral
characterLiteral
enumeratorLiteral
floatLiteral
intLiteral
nullPointerLiteral
stringLiteral
Operators
addressOf
assignmentOperator
assignmentOperatorCompound
assignmentOperatorSimple
binaryOperator
castOperator
castOperatorConstCast
castOperatorDynamicCast
castOperatorExplicit
castOperatorImplicit
castOperatorReinterpretCast
castOperatorStaticCast
conditionalOperator
decrementOperator
deleteOperator
incrementOperator
newOperator
sizeofOperator
throwOperator
unaryOperator
Initializers
aggregateInitializer
constructorInitializer
expressionInitializer
unionFieldInitializer
zeroInitializer
Symbols
Common properties of symbols
enumeratorSymbol
fieldSymbol
functionSymbol
globalVariableSymbol
localVariableSymbol
parameterSymbol
variableSymbol
Tokens
charLiteralToken
commentToken
identifierToken
numberToken
operatorToken
stringLiteralToken
token
unrecognizedToken
whitespaceOrCommentToken
whitespaceToken
Functions
Definition functions
getClassDefinition( classTypeResult )
getEnumDefinition( enumTypeResult )
Pattern functions
aliasTypeOf( typePattern )
anyQualifiedTypeOf( typePattern )
arrayOf( typePattern )
constOf( typePattern )
pointerTo( typePattern )
volatileOf( typePattern )
Type functions
hasBaseType( typeName )
Decomposing functions
getQualifiers( typeName )
qualifiersOf( typeName )
stripCasts( expressionString )
stripQualifiers( typeName )
C# library reference
Specifying the target language
Class definitions
astnode
classDefinition
The base class properties
Examples of using base class properties
classParent
functionDefinition
functionOrStaticVariableDefinition
globalVariableDefinition
staticVariableDefinition
Attribute classes
attributeArgument
attributeNamedArgument
attributePositionalArguments
'enum' kinds
assignKind
castKind
cvModifierKind
floatKind
ForLoopKind
intKind
variableDeclarationKind
variableScopeKind
'globalset' sets
allClasses
allFunctionAndStaticVariableCode
allFunctionAndStaticVariableDefinitions
allFunctionCode
allFunctionDefinitions
allFunctionsAndGlobalVariableCode
allStaticVariableCode
allStaticVariableDefinitions
allTextFiles
Code patterns
Statements
allLoops
blockStatement
breakStatement
caseStatement
continueStatement
defaultStatement
doWhileLoop
emptyStatement
fixedStatement
forLoop
forLoopEnhanced
forLoopSimple
gotoStatement
ifStatement
labeledBreakStatement
labeledContinueStatement
labelStatement
returnStatement
simpleStatement
switchStatement
synchronizedStatement
throwStatement
tryStatement
unsafeStatement
whileLoop
Declarations
variableDeclaration
Types
arrayType
booleanType
charType
classType
cvModifiedType
enumType
floatType
functionType
genericType
integralType
nullableType
outParamReferenceType
pointerType
referenceParamType
referenceType
tupleClassType
typeParameterType
usingType
valueTupleType
voidType
Expressions
Example: Expressions used as if-statement conditions
Common properties of expressions
argList
arrayLength
boxExpression
checkedBlock
checkedExpression
deconstructionExpression
dynamicCastExpression
dynamicFunctionCall
enumReference
expressionPattern
expressionTree
fieldAccess
fieldReference
functionCall
functionReference
instanceOf
isPattern
makeRefExpression
multiSubscriptReference
namedPattern
nullableGetValue
patternMatchExpression
propertyReference
propertyUpdate
referenceDereference
refTypeExpression
refValueExpression
stackAllocation
subscriptReference
temporaryConstruction
temporaryExpression
temporaryVariableReference
uncheckedBlock
uncheckedExpression
variableReference
yieldExpression
Literals
booleanLiteral
characterLiteral
classLiteral
enumLiteral
floatLiteral
integralLiteral
nullLiteral
stringLiteral
Operators
addressOf
assignmentOperator
assignmentOperatorCompound
assignmentOperatorSimple
awaitOperator
binaryOperator
castOperator
castOperatorExplicit
castOperatorImplicit
conditionalOperator
decrementOperator
incrementOperator
newOperator
nullableBinaryOperator
nullCoalescingOperator
sizeofOperator
throwOperator
unaryOperator
Initializers
addMemberInitializer
arrayDimensionsInitializer
arrayInitializer
assignmentMemberInitializer
baseClassInitializer
constructorInitializer
expressionInitializer
memberInitializer
nestedMemberInitializer
objectInitializer
peerConstructorInitializer
zeroInitializer
Symbols
Common properties of symbols
enumeratorSymbol
enumVariableSymbol
fieldSymbol
functionSymbol
localVariableSymbol
parameterSymbol
staticVariableSymbol
variableSymbol
Records
codeAttribute
declaration
handler
Functions
Definition functions
getClassDefinition( classTypeResult )
Type functions
hasBaseType( t )
stripReferenceTypes( t )
Decomposing functions
aliasTypeOf( baseType )
arrayOf( typePattern )
constOf( typePattern )
getQualifiers( t )
stripBoxes( e )
stripCasts( e )
stripCastsAndBoxes( e )
Overridee functions
getFunctionOverridees( f )
Go library reference
Specifying the target language
Class definitions
astnode
classDefinition
functionDefinition
functionOrStaticVariableDefinition
globalVariableDefinition
staticVariableDefinition
'enum' kinds
assignKind
castKind
floatKind
ForLoopKind
intKind
labelScopeKind
variableDeclarationKind
variableScopeEnum
'globalset' sets
allClasses
allFunctionAndStaticVariableCode
allFunctionAndStaticVariableDefinitions
allFunctionCode
allFunctionDefinitions
allStaticVariableCode
allStaticVariableDefinitions
allTextFiles
Code patterns
Statements
allLoops
blockStatement
breakStatement
caseStatement
continueStatement
defaultStatement
deferStatement
emptyStatement
fallThroughStatement
forLoop
forLoopSimple
gotoStatement
ifStatement
incDecStatement
labeledBreakStatement
labeledContinueStatement
labelStatement
locallyDeclaredTypeStatement
returnStatement
selectStatement
sendStatement
simpleStatement
switchStatement
Declarations
variableDeclaration
Types
anyType
arrayType
boolType
classType
floatType
functionType
integerType
referenceType
stringType
Expressions
Example: Expressions used as if-statement conditions
Common properties of expressions
anyTypeVariableReference
attributeReference
boxExpression
builtinFunctionExpression
deconstructionExpression
dynamicFunctionCall
enumReference
fieldAccess
fieldReference
functionCall
functionReference
functionVariableReference
referenceDereference
variableReference
Literals
boolLiteral
compositeLiteral
floatLiteral
imaginaryLiteral
integerLiteral
mapLiteral
nilLiteral
stringLiteral
Operators
addressOf
assignmentOperator
assignmentOperatorCompound
assignmentOperatorSimple
binaryOperator
castOperator
decrementOperator
incrementOperator
newOperator
unaryOperator
Initializers
arrayInitializer
expressionInitializer
zeroInitializer
Symbols
Common properties of symbols
fieldSymbol
functionSymbol
localVariableSymbol
parameterSymbol
staticVariableSymbol
variableSymbol
Records
declaration
Functions
Definition functions
getClassDefinition( classType )
Pattern functions
arrayOf( typePattern )
Java library reference
Specifying the target language
Class definitions
astnode
classDefinition
The base class properties
Examples of using base class properties
classParent
functionDefinition
functionOrStaticVariableDefinition
globalVariableDefinition
staticVariableDefinition
Annotation classes
annnotationAnnotationElement
annotationArrayElement
annotationElement
annotationExpressionElement
'enum' kinds
assignKind
castKind
floatKind
ForLoopKind
intKind
variableDeclarationKind
variableScopeEnum
'globalset' sets
allClasses
allFunctionAndStaticVariableCode
allFunctionAndStaticVariableDefinitions
allFunctionCode
allFunctionDefinitions
allFunctionsAndGlobalVariableCode
allStaticVariableCode
allStaticVariableDefinitions
allTextFiles
Code patterns
Statements
allLoops
assertStatement
blockStatement
breakStatement
caseStatement
continueStatement
defaultStatement
doWhileLoop
emptyStatement
forLoop
forLoopEnhanced
forLoopSimple
ifStatement
labeledBreakStatement
labeledContinueStatement
labelStatement
returnStatement
simpleStatement
switchStatement
synchronizedStatement
throwStatement
tryStatement
whileLoop
Declarations
variableDeclaration
Types
anyType
arrayType
booleanType
charType
classType
floatType
functionType
integerType
referenceType
voidType
Expressions
Example: Expressions used as if-statement conditions
Common properties of expressions
arrayLength
boxExpression
enumReference
fieldAccess
fieldReference
functionCall
functionReference
instanceOf
referenceDereference
subscriptReference
variableReference
Literals
booleanLiteral
characterLiteral
classLiteral
floatLiteral
integerLiteral
nullLiteral
stringLiteral
Operators
assignmentOperator
assignmentOperatorCompound
assignmentOperatorSimple
binaryOperator
castOperator
castOperatorChecked
castOperatorExplicit
castOperatorImplicit
conditionalOperator
decrementOperator
incrementOperator
newOperator
throwOperator
unaryOperator
Initializers
arrayDimensionsInitializer
arrayInitializer
baseClassInitializer
constructorInitializer
expressionInitializer
memberInitializer
peerConstructorInitializer
zeroInitializer
Symbols
Common properties of symbols
enumVariableSymbol
fieldSymbol
functionSymbol
localVariableSymbol
parameterSymbol
staticVariableSymbol
variableSymbol
Records
annotationElementValuePair
codeAnnotation
declaration
handler
Functions
Definition functions
getClassDefinition( classTypeResult )
Type functions
hasBaseType( t )
stripReferenceTypes( t )
Decomposing functions
arrayOf( typePattern )
stripBoxes( e )
stripCasts( e )
stripCastsAndBoxes( e )
stripImplicitCasts( e )
Overridee functions
getFunctionOverridees( f )
JavaScript library reference
Specifying the target language
Class definitions
astnode
functionDefinition
globalVariableDefinition
'globalset' sets
allFunctionCode
allFunctionDefinitions
allFunctionsAndGlobalVariableCode
allTextFiles
Code patterns
Statements
anyLoop
blockStatement
breakStatement
caseStatement
continueStatement
debuggerStatement
defaultStatement
doWhileLoop
emptyStatement
forLoop
forLoopIn
forLoopOf
forLoopSimple
generatorReturnStatement
ifStatement
labelStatement
returnStatement
simpleStatement
switchStatement
throwStatement
tryStatement
whileLoop
withStatement
Declarations
classDeclaration
destructuringDeclaration
functionDeclaration
variableDeclaration
Types
functionType
scalarType
Expressions
Example: Expressions used as if-statement conditions
Common properties of expressions
argumentAfterExpansion
argumentsReference
arrayElision
classExpression
closedVariableReference
constructorDefinition
destructuringAssignment
destructuringParameter
functionCall
functionExpression
functionReference
generatorReturnValue
globalAccess
listExpansionArgument
localVariableReference
newTargetReference
nodejsRequire
parameterReference
parameterWithDefault
propertyAccess
propertyAccessBracket
restParameter
superReference
thisReference
variableReference
variableReferenceUnderWith
Literals
arrayLiteral
booleanLiteral
floatLiteral
integerLiteral
nullLiteral
objectLiteral
regularExpressionLiteral
stringLiteral
undefinedConstant
Operators
assignmentOperator
assignmentOperatorCompound
assignmentOperatorSimple
binaryOperator
castOperator
conditionalOperator
decrementOperator
deleteOperator
incrementOperator
instanceofOperator
newOperator
spreadOperator
typeofOperator
unaryOperator
voidOperator
yieldOperator
Initializers
expressionInitializer
Symbols
Common properties of symbols
closedVariableSymbol
functionSymbol
localVariableSymbol
parameterSymbol
theGlobalObjectSymbol
variableSymbol
Functions
Decomposing functions
stripImplicitCasts( e )
Python 3 library reference
Specifying the target language
Class definitions
astnode
functionDefinition
globalVariableDefinition
'enum' kinds
assignmentKind
numberKind
variableScopeKind
Code patterns
Statements
assertStatement
assignmentStatement
blockStatement
breakStatement
continueStatement
delStatement
expressionStatement
forEachLoop
ifStatement
importStatement
passStatement
raiseStatement
returnStatement
tryStatement
whileLoop
yieldBreakStatement
yieldStatement
Declarations
classDeclaration
functionDeclaration
localVariableDeclaration
Types
booleanType
compositeType
functionType
integralType
realType
stringType
Expressions
Example: Expressions used as if-statement conditions
Common properties of expressions
attributeReference
duplicatedValue
dynamicMapping
functionCall
functionReference
lambdaExpression
listComprehension
mapComprehension
setComprehension
sliceExpression
subscriptExpression
tupleComprehension
variableReference
yieldExpression
Literals
booleanLiteral
ellipsisLiteral
floatLiteral
imaginaryLiteral
integerLiteral
listLiteral
mapLiteral
noneLiteral
setLiteral
stringLiteral
tupleLiteral
undefinedLiteral
Operators
assignmentOperator
binaryOperator
castOperator
conditionalOperator
unaryOperator
Initializers
aggregateInitializer
expressionInitializer
mapInitializer
Symbols
Common properties of symbols
functionSymbol
globalVariableSymbol
localVariableSymbol
parameterSymbol
Functions
Python 3 Patterns
Statements
annotatedAssignmentStatement
caseStatement
globalOrNonlocalDeclarationStatement
matchStatement
Operators
unpackOperator
Expressions
awaitExpression
expressionPattern
isPattern
namedPattern
Coverity Extend SDK チェッカー開発ガイド
Coverity Extend SDK 使用法
概要
Coverity Extend SDKの概要
Coverity Extend SDK のディレクトリ構造
Coverity Extend SDK チェッカーのコンパイル
最初のチェッカー、 Helloの作成
Hello チェッカーのソースコード
Hello チェッカーをコンパイルする
Hello チェッカーを実行する
別のディレクトリから Hello チェッカーを実行する
問題を Coverity Connectに登録する
hello チェッカーを分解する
便利なメイクファイルを作成する
AST (抽象構文ツリー)
AST について
print_treeで AST のノードを確認する
パターン
表現パターン
変数のパターン
パターンコンビネータ
アクセッサ
ステートマシンパラダイム
simple チェッカーとストアを備えたチェッカー
抽象解釈
アクセス順序
ストアを操作する
例: 表現の符号を追跡する
出力
OUTPUT_ERROR
ADD_EVENT
COMMIT_ERROR
ADD_INPUTFILE_ONLY_EVENT
COMMIT_INPUTFILE_ONLY_ERROR
ADD_INPUTFILE_EVENT
COMMIT_INPUTFILE_ERROR
例: sign2
条件
ANALYZE_CONDITION
MATCH_COND
force_backtrack
例: sign3
抽象比較
比較評価
パス
関数あたりのパスが多い場合
フォールスパスプルーニング (FPP)
2 パスチェック
終了
クラス階層の確認
変数からクラス/タイプにマッピングする
タイプのツリー構造
クラス
継承
関係をオーバーライドする仮想関数
type_t イテレータ
type_visitor_t
subtype_visitor_t
type_recursive_visitor_t
type_t オブジェクトがメモリ内に所在するタイミング
例: タイプ情報を出力する
例: switch default
入力ファイルのイベントと不具合のレポート
Android アプリケーションの Coverity Extend SDK チェッカーをビルドするための追加ステップ
入力ファイルクラス extend_inputfile_t
入力ファイルマクロ
入力ファイルチェッカーの例
Coverity Extend SDK チェッカーのトラブルシューティング
Coverity Extend SDK チェッカーは、一致エラーのない Tree を使用して実行を中止します。
Coverity Extend SDK リファレンス
Coverity Extend SDK API の概要
ハンドラ関数
Coverity Extend SDK チェッカーのファイル構造
START_EXTEND_CHECKER
END_EXTEND_CHECKER
MAKE_MAIN
INIT_OPTIONS
HANDLE_OPTION
CHECKER_INIT
CHECKER_FINAL
FUNCTION_INIT
FUNCTION_FINAL
ANALYZE_TREE
ANALYZE_CONDITION
ANALYZE_END_OF_PATH
PREFER_TO_ANALYZE_CSHARP
PREFER_TO_ANALYZE_JAVA
PREFER_TO_ANALYZE_JAVASCRIPT
ANALYZE_CLASS
パターン
C# および Java チェッカーのパターン
すべてのパターンに共通の関数
ASTNodePattern スーパークラス
ExpressionPattern スーパークラス
TypePattern スーパークラス
SymbolPattern Superclass (スーパークラス)
既定のパターンオブジェクト
表現パターン
基本的な表現パターン
関数呼び出し箇所表現パターン
変数参照表現パターン
タイプでフィルタリングされた表現パターン
複合表現パターン
評価パターン
ステートメントパターン
その他のパターン
バインドパターン
構文コンテキストフィルター
STL コンストラクトパターン
補助パターン
コンビネータ (And、Or など)
アクセッサ
追加の AST クエリー関数
現在の関数のクエリー
現在のファイルのクエリー
ツリーのクエリー
ストア
ストアの概要
void SET_STATE(tree t, int v)
void CLEAR_STATE(tree t)
bool GET_STATE(tree t, int &v)
bool MATCH_STATE(tree t, int v)
bool COPY_STATE(tree dst, tree src)
FOREACH_IN_STORE(tree &t, int &v) { body }
bool ADD_EVENT(tree t, char const *tag, desc)
bool COMMIT_ERROR(tree t, char const *tag, desc)
ADD_INPUTFILE_EVENT
COMMIT_INPUTFILE_ERROR
イベントの追加
タイプ
type_t
any_type_t
scalar_type_t
pointer_type_t
array_type_t
cv_wrapper_type_t
function_type_t
scoped_type_t
scope_t
defined_type_t
typedef_type_t
forward_declarable_type_t
enum_type_t
tag_t
union_type_t
field_t
class_type_t
parent_t
function_t
member_type_t
extend_inputfile_t
参照情報
ヘッダーファイル
名前のマングル処理
マングル名スキーム: C++
マングル名スキーム: C#
マングル名スキーム: Java
チェッカー例
チェッカーソースファイル
sign チェッカー
sign2チェッカー
sign3チェッカー
print_types.cpp
switch_default.cpp
javascript_match_local.cpp
Coverity Analysis：インストールとアップグレード
Coverity Analysis ハードウェア
最小要件
並列解析のメモリ要件
ディスク
オペレーティングシステムに関する検討事項
共有マシン
仮想マシン
Coverity 製品コンポーネント: サポートされているバージョンと互換性
Coverity SCM でサポート
Coverity Analysis のサポート対象プラットフォーム
Extend SDK および FlexNet ライセンスのサポート対象プラットフォーム
Coverity Analysis のサポート対象言語、コンパイラ、フレームワーク
C/C++ コンパイラ
C++23 (ISO/IEC DIS 14882:2023) 言語サポート
C# コンパイラ
CUDA コンパイラ
Go コンパイラ
Java コンパイラ
Kotlin コンパイラ
Visual Basic コンパイラ
サードパーティコンパイラ
フレームワーク
Coverity Analysis をアップグレードする
標準アップグレード手順
チャーンを理解する
デフォルトで無効になっているチェッカー
ウェブアプリケーションアーカイブを発行する際の新しい動作
増分リリースによる Coverity Analysis の更新
インストール
更新の仕組み
Cov-install-updates を実行
更新セッションをロールバックする
その他のユーティリティ
更新を使用した Coverity Analysis のアップグレード
クライアント、プラグイン、統合、API
Coverity の統合と API
コマンドラインクライアント
プラグインとその他の統合
API リファレンス
Coverity Point and Scan UI および Coverity CLI ガイド
Coverity Point and Scan と Coverity コマンドラインインターフェイス（CLI）の紹介
Point and Scan、Coverity CLI、ファイルの使用
デフォルト解析
Point and Scan または Coverity CLI を使用するための前提条件 Coverity Connect
Coverity Point and Scan UI の使用
個々の問題を検討する
再スキャンと再設定
Coverity CLI を使用する
Coverity CLI の設定
使用事例
'clean' および 'build' コマンドを指定する
スキャン結果をコミットする場所を指定する
プロジェクトを解析する方法を特定する
解析用にキャプチャするファイルを指定する
'languages’ オプション
'files’ オプション
デフォルトの除外
特定のファイル一式をキャプチャする方法
詳細な例: 'languages’ オプションと 'files’ オプションを併用する
ウェブアプリケーションセキュリティを有効にする
モバイル Java Android セキュリティを有効にする
例: MISRA 標準からの逸脱の検出とチェッカーのカスタマイズ
コマンドリファレンス
共有コマンドオプション
オプションリファレンス
キャプチャ設定
ビルド設定
コンパイラ設定
Coverity の翻訳設定
ファイル設定
SCM 設定をインポートする
言語設定
並列翻訳構成
ウェブアーカイブの設定
解析設定
チェッカー設定
特定のチェッカー設定
コーディング規約設定
事前設定済みのコーディング規約設定
特定のコーディング規約設定
解決されたコーディング規約設定
コーディング規約からの逸脱
Connect 設定を解析する
ディレクティブ設定
解決されたセキュリティディレクティブ設定
ファイル設定を解析する
ジョブ設定
構文解析時の警告コンフィギュレーション
Sigma 設定
ウェブアプリセキュリティ設定
登録設定
Connect 設定
スナップショット設定
トリアージ設定
ローカル設定
キャッシュの設定
問題のトラブルシューティング
coverity list
診断ドキュメント
ログファイル
Point and Scan および CLI サポートマトリックス
Bazel サポート
Go のサポート
Coverity CLI を使用した設定デフォルトのオーバーライド
コンフィギュレーション設定の編集
コンパイラ設定
コマンド推測の無効化
特定の言語のコードをキャプチャまたは除外する
正規表現で指定されたファイルを含めるまたは除外する
glob パターンで指定されたファイルを含めるまたは除外する
ライブラリまたはライブラリディレクトリを含める
Coverity CLI コマンド
coverity analyze
coverity capture
coverity commit
coverity help
設定構文ヘルプ
coverity list
coverity scan
coverity setup
Coverity Desktopの概要
Coverity Desktop Analysis: ユーザーマニュアル
Desktop Analysis の概要
ユーザーインターフェイスを選択する
要件
ヘルプを得る
Desktop Analysis クイックスタートガイド
必要なもの
Coverity Analysis ツールをインストールする
コマンドラインでの Desktop Analysis
coverity.conf を作成する
PATH に bin ディレクトリを追加する
cov-run-desktop --setup を実行する
ソースファイルを解析する
不具合を確認する
エディタまたは IDE からの Desktop Analysis の実行
Emacs での Desktop Analysis の使用
Vim での Desktop Analysis の使用
IDE の Desktop Analysis
Coverity Connect の統合
認証キーを使用する
非接続モード
Desktop Analysis の管理
コードベースの coverity.conf を作成する
Visual Studio Code を使用して coverity.conf 設定ファイルを編集する
Visual Studio を使用して coverity.conf 設定ファイルを編集する
ソースコード管理 (SCM) 除外リストに data-coverity を追加する
Desktop Analysis のリファレンス
概念
cov-run-desktop コマンド
解析スコープを定義する
ソースコード管理システムとの統合
非プライマリソースファイルを解析する (C/C++)
オンデマンドでファイルをコンパイルする
cov-run-desktopでセキュリティチェッカーを実施する
cov-run-desktopでプログラム全体を解析する
ローカルの不具合の担当者の割り当て
Desktop Analysis の使用状況の追跡
結果に差異が生じる原因
コンポーネント権限の効果
Desktop Analysis JSON の出力構文
CoverityIssues
IssueOccurrence
Event
StateOnServer
CheckerProperties
Triage
CustomTriage
LocalTriage
DesktopAnalysisSettings
ReferenceSnapshotDetails
PortableAnalysisSettings
FileCheckerOption
Error
coverity.conf ファイル形式
coverity.conf
UserDefinedVariables
ConditionalSettings
Condition
Settings
Server
CovRunDesktopSettings
SCMSettings
CompilerConfiguration
KnownInstallation
ExtendDirectories
Checkers
CheckerSettings
CheckerOptions
string
正規表現 (regex)
path
CodeXMFiles
coverity.conf ファイルの例
IDESettings
PathMapping
後方互換性
Desktop Analysis のトラブルシューティング
Coverity Desktop ユーザーマニュアル (Eclipse)
Coverity Desktop 概要
本ガイドについて
Coverity Desktop for Eclipse の要件
ヘルプを得る
Coverity Desktop の概念と使用事例
概念
使用事例
ユースケース - 中央解析における Coverity Desktop の使用
ユースケース - ローカル解析における Coverity Desktop の使用
ユースケース - 中央解析およびローカル解析における Coverity Desktop の使用
はじめに
リモートの問題を検索する
ローカル解析を実施する
解析オプションおよびビュー
ツールバーによるショートカット
[Coverity] メニュー
Coverity サーバーからの問題を表示
ワークスペース全体のビルドをキャプチャ (Capture Build of Entire Scope)
解析スコープオプション
オフラインモード
[ビューの表示　（Show View）]　サブメニュー
解析コンフィギュレーション...
Coverity Desktop Plugin ユーザーマニュアル
Coverity Desktop ヘルプセンター
[問題 (Issues)] ビュー
[問題] ビューの表示を設定する
問題のソート
問題のフィルター
定義済みフィルター
カスタムフィルター
コンテキストメニュー
[詳細 (Details)] ビュー
問題に関する情報
問題をトリアージする
[発生箇所 (Occurrences)] タブ
[履歴 (History)] タブ
問題の属性
分類
重要度
アクション
外部参照
担当者
コメント
診断を収集する
[解析コンフィギュレーション... (Analysis Configurations...)] ダイアログ
一般設定
[コンパイラ設定] ダイアログ
Coverity Connect
ストリーム
SCM
高度な設定
高度な設定: ビルド
高度な設定: 解析
高度な設定: 範囲
高度な設定: 参照スナップショット
高度な設定: ファイルの除外
高度な設定: ファイルパスマッピング
高度な設定: ワークフロー
動的変数
Eclipse用にCoverity Desktopをトラブルシューティングする
問題に関する詳細情報の取得
Coverity Desktop ユーザーマニュアル (IntelliJ IDEA および Android Studio)
Coverity Desktop 概要
要件
ヘルプを得る
Coverity Desktop の概念と使用事例
概念
使用事例
ユースケース - 中央解析における Coverity Desktop の使用
ユースケース - ローカル解析における Coverity Desktop の使用
ユースケース - 中央解析およびローカル解析における Coverity Desktop の使用
はじめに
リモートの問題を検索する
ローカル解析を実施する
解析オプションおよびビュー
ツールバーによるショートカット
[Coverity] メニュー
Coverity サーバーからの問題の表示とトリアージ…
解析スコープオプション
解析コンフィギュレーション...
Coverity Desktop Plugin ユーザーマニュアル
Coverity Desktop ヘルプセンター
[問題 (Issues)] ビュー
問題のソート
問題のフィルター
定義済みフィルター
カスタムフィルター
コンテキストメニュー
[詳細 (Details)] ビュー
問題に関する情報
問題をトリアージする
[発生箇所 (Occurrences)] タブ
[履歴 (History)] タブ
問題の属性
分類
重要度
アクション
外部参照
担当者
コメント
診断を収集する
[解析コンフィギュレーション... (Analysis Configurations...)] ダイアログ
一般設定
[コンパイラ設定] ダイアログ
Coverity Connect
ストリーム
SCM
高度な設定
高度な設定: ビルド
高度な設定: 解析
高度な設定: 範囲
高度な設定: 参照スナップショット
高度な設定: ファイルの除外
高度な設定: ファイルパスマッピング
Gradle を使用したローカル解析
Coverity Desktop ユーザーマニュアル (Microsoft Visual Studio)
Coverity Desktop 概要
本ガイドについて
要件
ヘルプを得る
Coverity Desktop の概念と使用事例
概念
使用事例
ユースケース - 中央解析における Coverity Desktop の使用
ユースケース - ローカル解析における Coverity Desktop の使用
ユースケース - 中央解析およびローカル解析における Coverity Desktop の使用
はじめに
リモートの問題を検索する
ローカル解析を実施する
解析オプションおよびビュー
ツールバーによるショートカット
[Coverity] メニュー
Coverity サーバーからの問題を表示
ソリューションのビルドをキャプチャ (Capture Build of Solution)
解析スコープオプション
オフラインモード
Windows
解析コンフィギュレーション...
Coverity Desktop Plugin ユーザーマニュアル
Coverity Desktop ヘルプセンター
[問題 (Issues)] ビュー
[問題] ビューの表示を設定する
問題のソート
問題のフィルター
定義済みフィルター
カスタムフィルター
コンテキストメニュー
[詳細 (Details)] ビュー
問題に関する情報
問題をトリアージする
[発生箇所 (Occurrences)] タブ
[履歴 (History)] タブ
問題の属性
分類
重要度
アクション
外部参照
担当者
コメント
[中間ディレクトリ詳細（Intermediate Directory Details)] ビュー
診断を収集する
[解析コンフィギュレーション... (Analysis Configurations...)] ダイアログ
一般設定
Coverity Connect
ストリーム
SCM
高度な設定
高度な設定: ビルド
高度な設定: 解析
高度な設定: 範囲
高度な設定: 参照スナップショット
高度な設定: ファイルの除外
高度な設定: ファイルパスマッピング
高度な設定: ワークフロー
動的変数
Visual Studio で使用する Coverity Desktop のトラブルシューティング
Coverity Desktop コンポーネントをインストールする
Coverity Desktop for Eclipse、Wind River Workbench、QNX Momentics、および IBM RTC のインストール
更新サイトで Coverity Desktop をインストールする
ローカルデスクトップから Coverity Desktop をインストールする
QNX および WindRiver ツールチェーンのコンパイラの自動設定
Coverity Desktop のアンインストール
Coverity Desktop for Visual Studio をインストールする
ギャラリーを使用して Coverity Desktop for Visual Studio をインストールおよび更新する
Coverity Desktop for IntelliJ IDEA と Android Studio をインストールする
ローカルデスクトップから Coverity Desktop をインストールする
ローカル解析のための Coverity Analysis のインストール
Coverity 製品コンポーネント: サポートされているバージョンと互換性
Coverity Desktop
Coverity Connect と Coverity Analysis のバージョンの互換性
IDE と Java のバージョンサポート
Coverity Desktop for Eclipse サポート対象プラットフォーム
Coverity Desktop for IBM Rational Team Concert (RTC) サポート対象プラットフォーム
Coverity Desktop for ARM Development Studio 5 (DS-5) サポート対象プラットフォーム
Coverity Desktop for Wind River Workbench サポート対象プラットフォーム
Coverity Desktop for QNX Momentics IDE サポート対象プラットフォーム
Coverity Desktop for Microsoft Visual Studio IDE サポート対象プラットフォーム
Coverity Desktop for IntelliJ IDEA サポート対象プラットフォーム
Coverity Desktop for Android Studio サポート対象プラットフォーム
サポートされているプラットフォーム上の他の IntelliJ ベースの IDE 用の Coverity Desktop
Coverity Connect APIs
Coverity Platform SOAP ウェブサービス API リファレンス
API マニュアル
Coverity Platform SOAP WebサービスAPIリファレンス（v9）
説明
ソース
概要
対象者
はじめに
設定サービスのウェブサービス
操作: 設定サービス
操作: copyStream
操作: createAttribute
操作: createComponentMap
操作: createGroup
操作: createLdapConfiguration
操作: createProject
操作: createRole
操作: createStream
操作: createStreamInProject
操作: createTriageStore
操作: createUser
操作: deleteAttribute
操作: deleteComponentMap
操作: deleteGroup
操作: deleteLdapConfiguration
操作: deleteProject
操作: deleteRole
操作: deleteSnapshot
操作: deleteStream
操作: deleteTriageStore
操作: deleteUser
操作: executeNotification
操作: getAllLdapConfigurations
操作: getAllPermissions
操作: getAllRoles
操作: getAttribute
操作: getAttributes
操作: getBackupConfiguration
操作: getCategoryNames
操作: getCheckerNames
操作: getCommitState
操作: getComponent
操作: getComponentMaps
操作: getDefectStatuses
操作: getDeleteSnapshotJobInfo
操作: getDeveloperStreamsProjects
操作: getGroup
操作: getGroups
操作: getLdapServerDomains
操作: getLicenseConfiguration
操作: getLicenseState
操作: getLoggingConfiguration
操作: getMessageOfTheDay
操作: getOutputFileForSnapshot
操作: getProjects
操作: getRole
操作: getServerTime
操作: getSignInConfiguration
操作: getSkeletonizationConfiguration
操作: getSnapshotInformation
操作: getSnapshotPurgeDetails
操作: getSnapshotsForStream
操作: getStandardAttribute
操作: getStandardAttributes
操作: getStreams
操作: getSystemConfig
操作: getTriageStores
操作: getTypeNames
操作: getUser
操作: getUsers
操作: getVersion
操作: importLicense
操作: notify
操作: refreshLdapGroup
操作: setAcceptingNewCommits
操作: setBackupConfiguration
操作: setLoggingConfiguration
操作: setMessageOfTheDay
操作: setSkeletonizationConfiguration
操作: setSnapshotPurgeDetails
操作: updateAttribute
操作: updateComponentMap
操作: updateGroup
操作: updateLdapConfiguration
操作: updateProject
操作: updateRole
操作: updateSignInConfiguration
操作: updateSnapshotInfo
操作: updateStream
操作: updateTriageStore
操作: updateUser
複合タイプ: 設定サービス
複合タイプ: attributeDefinitionDataObj
複合タイプ: attributeDefinitionIdDataObj
複合タイプ: attributeDefinitionSpecDataObj
複合タイプ: attributeValueChangeSpecDataObj
複合タイプ: attributeValueDataObj
複合タイプ: attributeValueIdDataObj
複合タイプ: attributeValueSpecDataObj
複合タイプ: backupConfigurationDataObj
複合タイプ: commitStateDataObj
複合タイプ: componentDataObj
複合タイプ: componentDefectRuleDataObj
複合タイプ: componentIdDataObj
複合タイプ: componentMapDataObj
複合タイプ: componentMapFilterSpecDataObj
複合タイプ: componentMapIdDataObj
複合タイプ: componentMapSpecDataObj
複合タイプ: componentPathRuleDataObj
複合タイプ: configurationDataObj
複合タイプ: CovRemoteServiceException
複合タイプ: deleteSnapshotJobInfoDataObj
複合タイプ: featureUpdateTimeDataObj
複合タイプ: getOutputFileForSnapshot
複合タイプ: getOutputFileForSnapshotResponse
複合タイプ: groupDataObj
複合タイプ: groupFilterSpecDataObj
複合タイプ: groupIdDataObj
複合タイプ: groupsPageDataObj
複合タイプ: groupSpecDataObj
複合タイプ: ldapConfigurationDataObj
複合タイプ: ldapConfigurationSpecDataObj
複合タイプ: licenseDataObj
複合タイプ: licenseSpecDataObj
複合タイプ: licenseStateDataObj
複合タイプ: localizedValueDataObj
複合タイプ: loggingConfigurationDataObj
複合タイプ: outputFileDataObj
複合タイプ: pageSpecDataObj
複合タイプ: permissionDataObj
複合タイプ: projectDataObj
複合タイプ: projectFilterSpecDataObj
複合タイプ: projectIdDataObj
複合タイプ: projectSpecDataObj
複合タイプ: roleAssignmentDataObj
複合タイプ: roleDataObj
複合タイプ: roleIdDataObj
複合タイプ: roleSpecDataObj
複合タイプ: serverDomainIdDataObj
複合タイプ: signInSettingsDataObj
複合タイプ: skeletonizationConfigurationDataObj
複合タイプ: snapshotFilterSpecDataObj
複合タイプ: snapshotIdDataObj
複合タイプ: snapshotInfoDataObj
複合タイプ: snapshotPurgeDetailsObj
複合タイプ: standardAttributeDataObj
複合タイプ: standardAttributeIdDataObj
複合タイプ: standardAttributeValueDataObj
複合タイプ: standardAttributeValueIdDataObj
複合タイプ: streamDataObj
複合タイプ: streamFilterSpecDataObj
複合タイプ: streamIdDataObj
複合タイプ: streamSpecDataObj
複合タイプ: triageStoreDataObj
複合タイプ: triageStoreFilterSpecDataObj
複合タイプ: triageStoreIdDataObj
複合タイプ: triageStoreSpecDataObj
複合タイプ: userDataObj
複合タイプ: userFilterSpecDataObj
複合タイプ: usersPageDataObj
複合タイプ: userSpecDataObj
複合タイプ: versionDataObj
単純タイプ: 設定サービス
単純タイプ: deleteSnapshotJobStatus
不具合サービスのウェブサービス
操作: 不具合サービス
操作: getComponentMetricsForProject
操作: getFileContents
操作: getMergedDefectDetectionHistory
操作: getMergedDefectHistory
操作: getMergedDefectsForProjectScope
操作: getMergedDefectsForSnapshotScope
操作: getMergedDefectsForStreams
操作: getStreamDefects
操作: getTrendRecordsForProject
操作: getTriageHistory
操作: updateDefectInstanceProperties
操作: updateStreamDefects
操作: updateTriageForCIDsInTriageStore
複合タイプ: 不具合サービス
複合タイプ: attributeDefinitionIdDataObj
複合タイプ: attributeDefinitionValueFilterMapDataObj
複合タイプ: attributeValueIdDataObj
複合タイプ: componentIdDataObj
複合タイプ: componentMetricsDataObj
複合タイプ: CovRemoteServiceException
複合タイプ: defectChangeDataObj
複合タイプ: defectDetectionHistoryDataObj
複合タイプ: defectInstanceDataObj
複合タイプ: defectInstanceIdDataObj
複合タイプ: defectStateAttributeValueDataObj
複合タイプ: defectStateDataObj
複合タイプ: defectStateSpecDataObj
複合タイプ: eventDataObj
複合タイプ: fieldChangeDataObj
複合タイプ: fileContentsDataObj
複合タイプ: fileIdDataObj
複合タイプ: functionInfoDataObj
複合タイプ: localizedValueDataObj
複合タイプ: mergedDefectDataObj
複合タイプ: mergedDefectFilterSpecDataObj
複合タイプ: mergedDefectIdDataObj
複合タイプ: mergedDefectsPageDataObj
複合タイプ: pageSpecDataObj
複合タイプ: projectIdDataObj
複合タイプ: projectMetricsDataObj
複合タイプ: projectScopeDefectFilterSpecDataObj
複合タイプ: projectTrendRecordFilterSpecDataObj
複合タイプ: propertyDataObj
複合タイプ: propertySpecDataObj
複合タイプ: snapshotScopeDefectFilterSpecDataObj
複合タイプ: snapshotScopeSpecDataObj
複合タイプ: standardAttributeIdDataObj
複合タイプ: standardAttributeValueFilterMapDataObj
複合タイプ: standardAttributeValueIdDataObj
複合タイプ: streamDefectDataObj
複合タイプ: streamDefectFilterSpecDataObj
複合タイプ: streamDefectIdDataObj
複合タイプ: streamIdDataObj
複合タイプ: triageHistoryDataObj
複合タイプ: triageStoreIdDataObj
タイプおよび定数
アクション
属性名
属性タイプ (attributeType)
日時 (dateTime)
ドメイン
イベントの種類 (eventKind)
問題の種類 (issueKind)
言語
ロケール
権限
ロールの割り当てのタイプ (roleAssignmentType)
ロールのタイプ (roleAssignmentDataObj.type)
ロール ID (ビルトインロール: roleAssignmentDataObj.roleId)
重要度
状態
エラーコード
1000-1099: 一般設定
1100-1199: ユーザー
1200-1299: 属性
1300-1399: プロジェクト、ストリーム、スナップショット
1400-1499: 不具合
1501-1599: 内部エラー
1600-1699: コンポーネント
1700-1799: ロール
1800-1899: ファイルおよび関数
1900-1999: ライセンス
2000-2099: トリアージストア
2100-2199: LDAP
2200-2299: ビュー通知
SOAP ウェブサービス API 用語集
属性
チェッカー
CID
コンポーネント
不具合
外部 (ext.) 参照
fix target
権限
project
role
スナップショット
ソースバージョン
ストリーム
サブカテゴリ
target
トリアージ
トリアージストア
version
API 履歴
変更ログ: 設定サービス
操作: 設定サービス
データオブジェクト: 設定サービス
変更ログ: 不具合サービス
操作: 不具合サービス
データオブジェクト: 不具合サービス
Coverity Platform REST ウェブサービス API ガイド
対象者
SOAP API から REST ウェブサービス API への移行
Coverity Platform REST ウェブサービス API 概要
Coverity Platform REST ウェブサービス API の概要
用語
API にアクセスする
ワークフローの例
チェッカー属性
すべてのチェッカー関連属性を取得する
チェッカー関連属性の使用可能な値を取得する
コミットゲート:
データベースが解析結果の新しい登録を許可するかどうかを確認します
データベースが解析結果の新しい登録を許可するかどうかを管理します
コンポーネントマップ
新しいコンポーネントマップと関連するコンポーネントの作成
指定されたコンポーネントマップの取得
すべてのコンポーネントマップの取得
コンポーネントマップと関連するコンポーネントの更新
コンポーネントマップの削除
コンポーネント
指定されたコンポーネントを取得する
メール通知
指定したビューのメール通知を送信する
ファイル
パス別のファイル検索
コンテンツハッシュ別のファイル検索
ヘルスチェック
ヘルスチェックレポートのダウンロード
JSONヘルスチェックレポートの取得
ヘルスチェックレポートを生成する
ヘルス　チェック　レポートの生成ステータスを取得する
ヘルスチェックレポート生成の停止
問題の属性
課題 status属性で利用可能な値を取得します。
問題の発生箇所
問題の発生箇所のすべての項目キーを取得する
プロジェクトからすべての問題の発生箇所を取得する
カテゴリ別に問題の発生箇所数を取得する
問題
問題のすべての項目キーを取得する
問題の検出履歴を取得する
プロジェクトからすべての「影響度: 高」の問題を取得する
プロジェクトからすべての問題を取得する
カテゴリ別に問題数を取得する
ソースコード情報の取得
トリアージ属性値を更新する
トリアージ履歴を取得する
LDAP 設定
LDAP 設定を作成する
すべての LDAP 設定を取得する
LDAP 設定を更新します
LDAP 設定を削除します
すべての LDAP ドメインを取得する
LDAPグループを更新します
ライセンス
Coverity Connect のライセンス情報の取得
Coverity Connect のライセンスファイルのインポート
ロケール
すべてのサポート対象ロケールを取得する
ログの設定
logging 設定を取得する
ログオプションを設定する
メンテナンス
データベースのバックアップスケジュールの取得
データベースのバックアップスケジュールの設定
データベースをバックアップします。
解析サマリープロセスのパージの設定を取得する
パージ解析サマリープロセスの設定を更新する
スナップショット詳細プロセスのパージの設定を取得する
スナップショット詳しいプロセスのパージの設定を更新します
メトリクス
指定されたソースコードファイルの HIS メトリクスの測定値、code-metrics 測定値、およびメタデータを取得します
指定された関数に関する HIS メトリクスの測定値、その他の測定値、およびメタデータを取得します
プロジェクト
プロジェクトを作成する
指定されたプロジェクトを取得する
すべてのプロジェクトを取得する
プロジェクトを更新する
プロジェクトを削除する
コンポーネントごとにセグメンテーションされたコード解析測定値を取得する
特定のプロジェクトのコード解析トレンドを取得する
開発者ストリームプロジェクトを取得する
ロール
ロールを作成する
指定されたロールを取得する
すべてのロールを取得する
ロールを更新する
ロールを削除する
SAML 設定
SAML 設定を作成する
SAML 設定を取得する
SAML 設定を更新する
SAML 設定を削除する
ID プロバイダ (IdP) のメタデータを取得する
サービスプロバイダ (SP) のメタデータを取得する
スキャンプロキシサービス
サーバー情報
設定を取得する
その日のメッセージを取得します
その日のメッセージを表示します
日程と時間を取得する
バージョン番号を取得する
サインインの設定
現在のサインイン設定を取得する
現在のサインインの設定を更新する
スナップショット
スナップショットに関する情報を取る
スナップショット属性を更新する
スナップショットを削除する
スナップショットの削除ステータスを取る
スナップショット出力ファイルを取得する
標準属性
指定された標準属性を取得する
標準属性をすべて取得する
ストリーム
ストリームを作成する
1 つのストリームを取得する
すべてのストリームを取得する
ストリームを更新する
指定されたストリームをコピーする
ストリームを削除する
ストリームUUIDを取得する
ストリームスナップショットIDを取得する
スキャントランスペアレンシーデータを取得する
トリアージ属性
トリアージ属性 ("list of values" タイプ) を作成する
トリアージ属性 ("free-form text」タイプ) を作成する
指定されたトリアージ属性を取得する
トリアージ属性をすべて取得する
トリアージ属性 ("list of values" タイプ) を更新する
トリアージ属性 ("free-form text" タイプ) を更新する
トリアージストア
トリアージストアを作成する
指定されたトリアージストアを取得します
トリアージストアを更新する
トリアージストアを削除する
ユーザーグループ
ユーザーグループを作成する
ユーザーグループを取得する
ユーザーグループを更新する
ユーザーグループを削除する
ユーザー
ユーザーを作成する
すべてのユーザーを取得する
ユーザーを更新する
ユーザーを削除する
ビュー
ビューを新規作成
ビューを削除
現在のユーザーがアクセスできるすべてのビューを取得する
指定されたビューのコンテンツを取得する
すべてのビューのメタデータを取得する
すべてのビューの所有権を再度割り当てする
指定されたビューの所有権を再割り当てする
ビュー設定を更新
ビュータイプ
指定されたビュータイプの列キーを取得する
指定されたビュータイプのデータを取得する
ビュー管理操作 (v1)
PATCH api/view/v1/username/{source_user}/ldap/{source_ldap}
説明
パラメータ
パスパラメータ
ペイロードのパラメータ
レスポンス
例
PATCH api/view/v1/view/{view_id}
説明
パラメータ
パスパラメータ
ペイロードのパラメータ
レスポンス
例
GET api/view/v1/views
説明
パラメータ
レスポンス
例
GET api/views/v1
説明
パラメータ
レスポンス
例
GET api/viewContents/{type}/v1/{view_id}
説明
パラメータ
パスパラメータ
クエリーパラメータ
レスポンス
例
Coverity Platform REST API リファレンス (v2)
CIM API Guide
Coverity Platform スキャンプロキシサービス API リファレンス (v2)
Scan Proxy API Guide
クラウドネイティブの Coverity デプロイ
Coverity クラウドデプロイ管理およびユーザーガイド
本書について
このドキュメントの使用
コンベンション
このドキュメントとその他の Coverity ドキュメントの併用
Coverityクラウドデプロイについて
Coverity クラウドデプロイ
Coverity Connect のみのデプロイ
Coverity Connect と Scan Service のデプロイメント
Connect ウェブアプリケーション高可用性
Connect ウェブアプリケーション HA を使用する利点
Scan Service
Thin Client
スキャンリストビュー
お客様の責任とデプロイメントワークフロー
お客様の責任
Black Duck 責任
Coverity の導入シナリオ
Connect のみのクイックスタート
接続およびスキャンサービスのデプロイ
onPrem OCI Redis および MinIO を使用した接続およびスキャンサービスのデプロイ
Coverity をデータセンターからクラウドに再デプロイする
Coverity をパブリッククラウドから Kubernetes に再デプロイ
Black Duck Community アクセス、Coverity ライセンス、レジストリ認証情報、Helm チャート、クライアントソフトウェアの取得
次へのアクセスをリクエストする： Black Duck Community
Coverityライセンスを取得する
Black Duck Docker レジストリの認証情報をリクエストする
Black Duck プライベート Docker レジストリの認証情報にアクセスする
Black Duck レポジトリについて
Black Duck パブリック Docker レジストリから、Helm チャートをダウンロードする
Coverity クライアントのインストーラとマニュアルファイル
Black Duck レポジトリから Coverity Toolkit アーティファクトをダウンロードする
Coverity ツールキットの tar ファイルを Connect にアップロードするための NGINX proxy-body-size の設定
Black Duck レポジトリから完全解析クライアントファイルをダウンロードする
Black Duck レジストリから curl を使用し、プラットフォーム、ホスト ID、マニュアルファイルをダウンロードする
コンテナイメージの管理
Kubernetes コンテナイメージの管理について
Coverity コンテナイメージ
オープンソースのコンテナイメージ
コンテナイメージプルシークレットの作成
コンテナイメージとレジストリキーの準備
事前定義されたコンテナイメージキー
imageRegistry キー
imagePullSecret キー
imagePullPolicy Helm キー
独自のプライベートレジストリにあるコンテナイメージからコンテナをデプロイする準備
独自のプライベート Docker レジストリの作成
Black Duck プライベート Docker レジストリからコンテナイメージをプルする
イメージのタグ付け
イメージのプライベート Docker レジストリへのプッシュ
Black Duck レジストリにあるコンテナイメージからコンテナをデプロイする準備
インフラストラクチャと設定
必要なソフトウェアのインストール
アクセス特権
管理者クレデンシャル
Kubernetes クライアントユーザー権限
スキャンサービスリソースを管理するための Coverity の権限
VPC を生成する
Kubernetesクラスターを作成します。
Kubernetes クラスターを公開
イングレスコントローラをインストールする
Kubernetesの名前空間を作成する
Kubernetes ロギングを構成する
PostgreSQL データベースとポッドのサイズ調整、作成、管理
Connect（cim）ポッドリソースのサイズ調整
Scan Serviceのストレージバケットを作成
Scan Service　ストレージ　バケットのサイズ設定
キャッシュストレージバケットの作成と設定
Redis のインストールと設定
Redis と Minio を使用してオンプレミスまたはプラットフォーム非依存のデプロイをサポートするための Helm キーを設定する
ARM64 サポートの設定
ARM64 Thin Client サポート
ARM64 ノードプールの指定
AWS ARM64
Azure ARM64
GCP イングレスコントローラの汚染および許容範囲
GCP ARM64 ノードプール
ARM64 の GCP 汚染および許容範囲
Amazon AWS のインフラストラクチャと設定
Amazon AWS アカウントの権限
AWS: クラウド管理者ロールの設定
AWS: AWS CLI、eksctl、kubectl のインストール
AWS: Helm をインストールする
AWS: Docker のインストール
AWS EKS クラスタの作成
AWS: イングレスコントローラのインストール
PostgreSQL データベースの作成
PostgreSQL 証明書を作成し、Connect トラストストアに追加
AWS: EKS クラスターの IAM ポリシーとロールを作成する
AWS: スキャンジョブノードプールを作成する
AWS: S3 Express バケットを作成する
AWS: S3 Express バケットの IAM ポリシーを作成する
AWS: S3 ストレージバケットを作成する
cnc/topics/aws_create_ cache.html
AWS S3 ストレージバケットとキャッシュバケットの IAM ポリシーを特定する
Storage Service と Cache Service のロールベースの AWS サービスアカウントの使用
AWS ElastiCache と Redis の設定
Redis TLS CA 証明書を取得し、トラストストアの ConfigMap に追加する
AWS: Coverity クラウドデプロイのシークレットと ConfigMap を作成する
S3 または S3 Express を使用する AWS をサポートするための Helm キーを設定する
AWS S3 Helm キーの設定
AWS S3 Express Helmキーの設定
Google GCP のインフラストラクチャと設定
Google GCP 管理者特権／ロール
GCP: gcloud CLI のインストールと設定
GCP: Kubectl をインストールする
GCP: Docker のインストール
GCP: Helm をインストールする
GKE クラスタの作成
クラスタ管理特権をユーザーに付与
資格情報を kubeconfig に追加
GCP: イングレスコントローラのインストール
Google Cloud SQL データベースの作成
クラウド SQL サーバーの CA 証明書を作成し、トラストストアの ConfigMap に追加する
SQL ユーザーの追加
GCP: Coverity クラウドデプロイのシークレットと ConfigMap を作成する
GCP: スキャンジョブノードプールを作成する
ストレージバケットの作成
キャッシュバケットの作成
キャッシュバケットのライフサイクルルールを作成・設定
サービスアカウント（SA）の作成
GCS ストレージバケットとキャッシュバケットへの SA アクセスを作成
SA アクセスを Google Cloud SQL に付与する
IAM サービスアカウントキーの作成
Redis インスタンスの作成
GCS を使用して GCP をサポートするための Helm キーを設定する
Microsoft Azure のインフラストラクチャと設定
Microsoft Azure 管理者特権／ロール
Azure: Microsoft Azure CLI のインストール
Azure: Helm をインストールする
Azure: Docker のインストール
AKS クラスタの作成
kubectl を Azure にインストール
Azure: イングレスコントローラのインストール
Azure PostgreSQL データベースの作成
PostgreSQLデータベースの作成時のAzureの考慮事項
Kubernetes コンテナ特権とロール
Azure AKS: スキャンジョブノードプールを作成する
ストレージアカウント (SA) を作成する
ストレージアカウントのプロパティを表示
Azure Blob ストレージコンテナの作成
ストレージサービスのストレージ Blob へのアクセスを設定する
RBAC に Azure 共有鍵クライアントシークレットを使用する
RBAC に Azure Entra ID クライアントシークレットを使用する方法
キャッシュコンテナの作成
キャッシュコンテナのライフサイクルルールを作成
Azure Cache for Redis を設定
Azure: ストレージサービスのシークレットと ConfigMap を作成する
Azure Blob を使用して Azure をサポートするための Helm キーを設定する
Red Hat OpenShift のインフラストラクチャと設定
OpenShift ルーティング — OpenShift クラスター外に Coverity クラウドインスタンスを公開する
既存の ingress 設定を使用して自動ルート作成を管理する
cnc Helm チャートを使用したルート作成の管理
OpenShift UI を使用したルートの作成
OpenShift で MinIO への ingress ルートを設定する
高度な OpenShift ルートに関する考慮事項
OpenShift ルートのトラブルシューティング
PostgreSQL データベースと PostgreSQL ポッド
PostgreSQL データベースを作成する
AWS: PostgreSQL データベースを作成する
Azure: PostgreSQL データベースを作成する
GCP: CloudSQL PostgreSQLデータベースを作成します
OpenShift：PostgreSQL データベースを作成する
PostgreSQL データベースインスタンスをクラウドに移行
移行の事前条件
AWS: データベースの移行
Azure: データベースの移行
GCP: データベースの移行
Red Hat OpenShift: データベースの移行
外部統合の検証
PostgreSQL ポッドリソースのサイズ調整
PostgreSQL ポッドの最小リソース要件
PostgreSQL ポッド RAM のサイズ調整
PostgreSQL リードレプリカとPgpoolを使用してデータベース負荷をバランスする
PostgreSQLデータベースリードレプリカのアーキテクチャ
PostgreSQL データベースリードレプリカをデプロイするタイミングを決定する
PostgreSQLデータベースリードレプリカの設定
dbreadreplica-values.yamlファイルの作成
cim.pgpool Helm キーの設定
データベースリードレプリカのデプロイ
Connect PostgreSQL のデータベースのサイズと整合性を管理
外部 Connect PostgreSQL データベースの静的調整
チューニングジョブ yaml ファイルの作成
static-tuning-write.yaml - 調整書き込み用テンプレート
static-tuning-suggest.yaml - データベースの静的調整提案を取得する
イメージプロパティ
チューニング-書き込み用 AWS RDS プロパティ
調整書き込みの Azure Flexible Server プロパティ
調整書き込みの GCP Cloud SQL プロパティ
調整書き込みのその他のプロパティ
ハードウェアリソースプロパティ
AWS RDS IsSSD プロパティ
Azure フレキシブルサーバー IsSSD のプロパティ
GCP Cloud SQL IsSSD プロパティ
調整書き込みのためのインスタンス識別子
CIM プロパティシークレット
SSL 設定とボリュームマウント
データベースの調整ジョブを実行する
ログを監視する
データベースの再起動
最適なパフォーマンスのための Coverity Connect（cim）ポッドのサイズ調整
Coverity Connect（cim）ポッドの最小リソース要件
コミットを使用した cim ポッド CPU とメモリの拡張
中規模IDIR （2.6 GB）
大規模IDIR（12 GB）
特大IDIR（36 GB）
コミットに関する考慮事項
コミットデータはどのように収集されましたか？
ビューロードを使用した cim ポッド CPU とメモリの拡張
中規模プロジェクト（1万件）
大規模プロジェクト（最大25,000件）
超大型プロジェクト（5万件）
読み込みに関する考慮事項の表示
ビューの読み込み-データはどのように収集されましたか？
TLS 証明書、キーストア、およびシークレットの作成
Connect TLS 証明書の生成
証明機関によって署名された Coverity Connect TLS 証明書の生成
Redis のキャッシュサービス CA 証明書シークレットの作成
Connect UI サーバーのキーストアを作成する
Kubernetes TLS シークレットの作成
Connect ライセンスシークレットの作成
コンテナイメージプルシークレットの作成
スキャンツールの同期シークレットを作成
PostgreSQL アクセス用のシークレットの作成
Connect Web アプリケーションの管理者パスワードシークレットを作成する
スキャン・サービス・ライセンス・シークレットの作成
MinIO ストレージタイプのシークレットの作成
AWS ストレージサービスシークレットの作成
Azure: サービスアカウントシークレットの作成
Azure Cache Service シークレットの作成
GCS サービスアカウントシークレットの作成
TLS 経由の Connect 通信用のトラストストア ConfigMap を作成する
Connect インスタンス用のトラストストア ConfigMap の作成方法
AWS: 証明書のダウンロードとトラストストア ConfigMap の作成
Coverity Connect トラストストアへの SMTP 証明書の追加
cnc チャートおよび scan-services サブチャートを操作する
cnc チャートおよび scan-services サブチャートについて
cnc Helm チャートと Chart.yaml ファイル
scan-services Helm サブチャート
グローバル Helm キーの値
例：グローバル値
例：Connect のみのデプロイ
例：Connect とスキャンサービスのデプロイ
Helm チャート値を表示する
Coverity をデプロイするための Helm キーの準備
ポッドとコンテナセキュリティコンテキストを設定する
Connect インスタンス用の Helm オーバーライドを準備する
Kubernetes デプロイメントの有効化
接続を有効にする
Connect ライセンスシークレットの名前の指定
イングレスキーの指定
nginxConfig Helm キーの操作
コミットポートを開いて公開する
トラストストアを有効にします。
Connect ウェブアプリケーションの TLS キーストアを設定する
Connect ウェブアプリ高可用性を設定する
Connect のみのデプロイにおける scan-services Helm サブチャートを無効にする
cim.cimweb Helm キーを準備する
Coverity Connect Web URL を指定する
cim.cimweb.adminPasswordSecret Helm キーを設定する
コンテキストパスの指定
環境変数
Coverity Connect プロパティ
Java オプション
PostgreSQL データベースのアクセス認証情報を作成
シークレットを使用した PostgreSQL の認証情報を指定する
Helm チャートを使用した PostgreSQL の認証情報を指定する
PostgreSQL sslmode を選択し、TLS の PostgreSQL ルート証明書を見つける
OpenShift Helm オーバーライドの作成
OpenShift の画像のバージョンとタイプを指定する
プロジェクトを作成する
Helm オーバーライドで Coverity メトリクスを有効にする
ログレベルの指定
Helm オーバーライドの作成と、スキャンサービスのインストール
scan-services Helm サブチャートを有効にする
ライセンスジョブを有効にする
Scan Service ライセンスシークレットの名前を指定する
Helm キーを設定してスキャンツールの同期を有効化
Scan Serviceストレージの保存期間の設定
ストレージへのアーティファクトのアップロードを管理する
ストレージサービスの Helm キー
MinIO ストレージタイプの Helm キーの設定
ストレージサービスのカスタムドメイン
Dell ECS ストレージのサポートを設定する
Red Hat OpenShift ストレージの設定
スキャンサービスとストレージサービスデータベース用の postgres Helm キーを設定する
GCPへのCloud SQLプロキシネイティブ・サイドカー・コンテナのアタッチ
ポッド内の init コンテナの追加
ポッドへの追加ボリュームのマウント
GCP Cloud SQLプロキシをネイティブ・サイドカーとしてポッドにアタッチ
Scan Service キャッシュ
キャッシュサービスのキー
準備プローブキー
ライブネスプローブキー
キャッシュアノテーションの要件
Cache Service の AWS キー
Azure キー
GCPキー
MinIO キャッシュ Helm キー
Redisキー
TLS フォワードプロキシの設定
TLS プロキシ
mTLS プロキシ
TLS 非セキュアプロキシ
ポッドとコンテナのセキュリティを設定
ポッドとコンテナセキュリティコンテキスト Helm キー
セキュリティコンテキストの制約
containerSecurityContext およびスキャンジョブ
automountServiceAccountToken Helm キー
Connect SA 管理者ユーザートークンを生成する
スキャンジョブノードプールの作成とスキャンジョブのスケジューリング
概要: 各スキャンジョブをそれぞれ独自のノードでスケジュールします
概要: 複数のスキャンジョブを単一のノードで同時にスケジュールします
Scan Serviceおよびストレージサービスの要件
スキャンジョブノードプールサイズ
スキャンジョブノードプールの作成
ノードオートスケーラーを使用してノードをスケーリングし、需要を満たす
ノードあたりの有効にするスキャンジョブ数の比較: 単一と複数
ノードあたり 1 つのスキャンジョブを設定、複数のノードプール
ノードあたり複数のスキャンジョブを設定、単一ノードプール
汚染および許容範囲
ノードあたりのスキャンジョブ数を単一と複数で切り替える
スキャンサービス用の onPrem OCI Redis と MinIO をセットアップする
OCI ベースのレジストリ
必要に応じて、グローバルコンテナイメージレジストリを作成して使用します
cnc/Chart.yaml の Redis と MinIO の依存関係
OCI Redis と MinIO の有効化
MinIO PersistentVolumeClaim (PVC) サイズ
AWS: EBS 永続ストレージを MinIO PVC として使用する
onPrem Redis と MinIO を含む CNC チャートリリースのインストール
AWS: ロードバランサーコントローラー
AWS: AWS ロードバランサーコントローラーサービスアカウントの IAM ポリシーを作成する
AWS: aws-load-balancer-controller チャートをインストールし、サブネットにタグを付ける
AWS: Helm のオーバーライドとアノテーション
AWS: CNAME 入力証明書の生成
GCP: GCE コンテナネイティブロードバランサーの設定
フル解析キットを構築し、デプロイ中にキットを Connect に自動でアップロード
Connect ウェブアプリケーション高可用性
Connect ウェブアプリケーション HA のパフォーマンス
高可用性のセットアップと管理
cimweb ポッドレプリカを管理する
commit-server ポッドを使用したコミットパフォーマンスとスループットを最適化する
アフィニティを使用してノード上にポッドを分散する
Coverity Connect ウェブアプリケーションの再デプロイ
ウェブアプリケーションポッドが失敗するシナリオ
Coverity Connect ウェブアプリケーション HA の既知の問題
デプロイのチャートリリースのインストール
helm installコマンドを使ってこれを行います
Helm チャートの検証とエラーのログ記録
単一の Coverity インスタンスのチャートリリースのインストール
インストールまたはアップグレード後のタスク
Connect UI にアクセス
複数の Coverity Connect ライセンスのアップロード
SAML の設定
LDAP を設定
Jiraを構成する
Bugzilla 証明書を追加する
Kerberos の設定
Coverity クラウドデプロイの検証
Connect UI のサポート対象である Coverity ツールと Thin Client のバージョンを管理する
Coverity ツールのアーティファクトを Connect UI にアップロードする
[使用可能な Coverity ツール] ウィンドウ
デフォルトの Coverity ツールバージョンと CI/CD パイプライン
CI/CD パイプラインのデフォルトの Coverity ツールバージョンを設定する
CI/CD パイプラインのデフォルトの Coverity ツールバージョンの設定を解除する
CI/CD パイプラインのデフォルトの Coverity ツールバージョンを変更する
Coverity ツールバージョンをアーカイブする
Coverity ツールバージョンを削除する
クライアントソフトウェアのインストール
クライアントシステムへの Coverity Thin Client のインストール
フル Coverity Analysis クライアントをクライアントシステムにインストール
Black Duck Bridge CLI を使用して Thin Client 解析をパイプラインに統合する
次は何か？解析の準備と実行
Connect Web アプリケーションの管理者パスワードを作成する
Connect ウェブアプリケーションの管理者パスワード要件
Connect Web アプリケーションの管理者パスワードシークレットを作成する
cim.cimweb.adminPasswordSecret Helm キーを設定する
Connect Web アプリケーションの管理者パスワードを手動で変更する
メトリクス
Helm キーを設定してメトリクスを利用可能にする
データ収集およびモニタリングソフトウェアにメトリクスを公開する
Helm キーを設定してスクレイプ用のアノテーションを追加する
メトリクスプレゼンテーションを設定する
Coverity Connect メトリクスの例
一部のメトリクスのイベントログを有効にする
Coverity クラウドデプロイにおける Connect アプリケーションメトリクス
メトリクスの管理と解釈
パフォーマンスメトリクス
コミットメトリクス
読み込みメトリクスの表示
API メトリクス
データベースメトリクス
Scan Service メトリクス
Storage Service メトリクス
バックアップとスケルトン化のメトリクス
ストリームロックメトリクス
Redis キャッシュメトリクス
ソフトウェア解析メトリクス
Kubernetes メトリクス
根本的な問題を発見するためのログの保存と解析
Connect UI システム合計リスト
Coverity クラウドデプロイの管理
Connect 管理手順
Coverity Connect: Connect の設定を取得する
接続性 - kubectl の接続性を確認する
Helm - 単一の　Helm　リリースの詳細なステータスを取得する
Helm - 失敗した　Helm　リリースを探す
Kubernetes - ノードの状態を確認する
Kubernetes - イベントをリストする
Logs - 端末ログを検査する
POD - PODを説明する
POD - すべてのPODをリストする
POD - PODからのログをプルする
Coverity クラウドデプロイのアップグレード
Coverity をアップグレードする準備
アップグレードの実行
アップグレード後に完了すべきタスク
アップグレードに関する検討事項
2025.12 へのアップグレード
2025.9.2 へのアップグレード
移行された Bitnami レジストリの操作
2025.9 へのアップグレード
2025.6.2 へのアップグレード
2025.6へのアップグレード
2025.3.1 へのアップグレード
2025.3へのアップグレード
2024.12へのアップグレード
2024.9.1 へのアップグレード
2024.9.0 へのアップグレード
2024.6へのアップグレード
2024.3へのアップグレード
2023.12.2 へのアップグレード
2023.12.0 へのアップグレード
2023.12.0 にアップグレードする：Thin Client の上位互換性
2023.12.0 での Helm キーの変更点
2023.9 へのアップグレード
2023.9 で削除された Helm キー
2023.9.0 Helm キーの追加
2023.6 へのアップグレード
2023.6.1 で変更された Helm キーの値
2023.6.0 で追加、名称変更、削除された Helm キー
2023.3 へのアップグレード
2023.3 で追加、名称変更、削除された Helm キー
Coverity クラウドデプロイのアンインストール
トラブルシューティングガイド
Coverity CLI を使用してスキャンアーティファクトをダウンロードする
Connect API を使用してスキャンログをダウンロードする
ポッドログでのエラーの調査
ノードロックまたは期限切れのライセンス
データベース接続のデバック
ボリュームの問題
シークレットまたは configmap が見つからない
イングレス: SAML URL は https ではなく http を使用
イングレスのヘッダー: Google GCP のイングレスアノテーションの作成
イングレスのヘッダー: NGINX 用の X-Forwarded-proto の設定
イングレスをリストして検証する
NGINX HTTP エラー 413：リクエストエンティティが大きすぎる
NGINX HTTP エラー 504: ゲートウェイタイムアウト
イメージプルの問題
ポッドをスケジュールできない
cim-tools ポッドが見つからない
読み取り専用ファイルシステムエラー
Coverity クラウドサポート
サードパーティ製ソフトウェアおよびプラットフォーム対応マトリックス
Coverity クライアント対応マトリックス
サポート対象 Coverity ツール (Thin Client) とフル解析クライアントのバージョン
Coverity ツール (Thin Client) とフル解析クライアントに対する Coverity の過去のサポート状況
Docker ベースイメージ
ポート
Scan Service ストレージサポート
ポッドとコンテナセキュリティコンテキストのサポート
Coverity クラウドデプロイのための　Helm　キー
グローバル Helm キー
ルート Helm キー
cnc Helm チャート: Helm キー
scan-services Helm サブチャート: Helm キー
Coverity クラウドデプロイ内の Coverity ツール
Coverity cov-admin-dbツールは、Coverityクラウドデプロイではサポート対象外です。
/data 永続的なボリュームを作成してマウントする
データベースの整合性をチェック：check-integrity.sh
Coverity Connectパスワードのリセット：reset-admin-password.sh
アーカイブの管理：cov-archive.sh
Coverity Connect の管理: cov-manage-im
すべてのチェッカー
SpotBugs™ チェッカーリファレンス
SpotBugs ライブラリの概要
SpotBugs チェッカー
セキュリティチェッカー
Coverity リリースノートとアップグレードに関する考慮事項
Coverity 最新リリースノート
Coverity 2025.12.x
Coverity 2025.12.2 リリースノート
Coverity 2025.12.1 リリースノート
Coverity 2025.12.0 リリースノート
PostgreSQL のサポートされているバージョン
リリースノートアーカイブ
Coverity 2025.9.x
Coverity 2025.9.2 リリースノート
Coverity 2025.9.1 リリースノート
Coverity 2025.9.0 リリースノート
PostgreSQL のサポートされているバージョン
Coverity 2025.6.x
Coverity 2025.6.2 リリースノート
Coverity 2025.6.0 リリースノート
PostgreSQL のサポートされているバージョン
Coverity 2025.3.x
Coverity 2025.3.1 リリースノート
Coverity 2025.3.0 リリースノート
PostgreSQL のサポートされているバージョン
Coverity 2024.12.x
Coverity 2024.12.0 リリースノート
PostgreSQL のサポートされているバージョン
Coverity 2024.9.x
Coverity 2024.9.1 リリースノート
Coverity 2024.9.0 リリースノート
PostgreSQL のサポートされているバージョン
Coverity 2024.6.x
Coverity 2024.6.1 リリースノート
Coverity 2024.6.0 リリースノート
PostgreSQL のサポートされているバージョン
Coverity 2024.3.x
Coverity 2024.3.2 リリースノート
Coverity 2024.3.1 リリースノート
Coverity 2024.3.0 リリースノート
PostgreSQL のサポートされているバージョン
Coverity 2023.12.x
Coverity 2023.12.3 リリースノート
Coverity 2023.12.2 リリースノート
Coverity 2023.12.1 リリースノート
Coverity 2023.12.0 リリースノート
PostgreSQL のサポートされているバージョン
Coverity 2023.9.x
Coverity 2023.9.3 リリースノート
Coverity 2023.9.2 リリースノート
Coverity 2023.9.1 リリースノート
Coverity 2023.9.0 リリースノート
PostgreSQL のサポートされているバージョン
Coverity アップグレードに関する考慮事項
アップグレードする際の重要な検討事項
2025.12にアップグレードする際の検討事項
2025.9にアップグレードする際の検討事項
2025.6にアップグレードする際の検討事項
2025.3にアップグレードする際の検討事項
Coverity Analysis 2025.3 の実行時に、Sigma で無効化されたチェッカー
2024.12にアップグレードする際の検討事項
Coverity Analysis
2024.12.0 で Sigma チェックに置き換えられた Coverity Analysis チェッカー
Coverity Connect
Coverity Point and Scan
2024.9にアップグレードする際の検討事項
2024.9.1 で Sigma チェックに置き換えられた Coverity Analysis チェッカー
2024.9.0 で Sigma チェックに置き換えられた Coverity Analysis チェッカー
2024.6にアップグレードする際の検討事項
Bazel 統合方法への変更
トリアージ情報が失われる可能性
Sigma チェックに置き換えられた Coverity Analysis チェッカー
2024.3にアップグレードする際の検討事項
Bazel でビルドされたプロジェクトで発行されるファイルのパスが変更された
2023.12にアップグレードする際の検討事項
2023.9にアップグレードする際の検討事項
Coverity Analysis 実行時に Sigma チェックを再有効化する
ビルドレスキャプチャ
Sigma チェックに置き換えられた Coverity Analysis チェッカー
削除された Coverity Analysis チェッカー
2023.6 にアップグレードする際の検討事項
C++ スタイルのコメントを変換する
Coverity Analysis の実行時に、Sigma で無効化されたチェッカー
2023.3にアップグレードする際の検討事項
ソフトロックアウトポリシーの更新
Sigma チェッカーに置き換えられた Coverity Analysis チェッカー
Coverity Analysis の実行時に、Sigma で無効化されたチェッカー
2022.12にアップグレードする際の検討事項
Sigma チェッカーに置き換えられた Coverity Analysis チェッカー
Coverity Analysis の実行時に、Sigma で無効化されたチェッカー
2022.9にアップグレードする際の検討事項
Sigma チェッカーに置き換えられた Coverity Analysis チェッカー
Coverity Analysis の実行時に、Sigma で無効化されたチェッカー
2022.6にアップグレードする際の検討事項
Sigma チェッカーに置き換えられた Coverity Analysis チェッカー
Coverity Analysis の実行時に、Sigma で無効化されたチェッカー
2022.3にアップグレードする際の検討事項
Coverity Analysis
Sigma チェッカーに置き換えられた Coverity Analysis チェッカー
Coverity Analysis の実行時に、Sigma で無効化されたチェッカー
2021.12にアップグレードする際の検討事項
Coverity Analysis
Sigma チェッカーに置き換えられた Coverity Analysis チェッカー
Coverity Analysis の実行時に、Sigma で無効化されたチェッカー
2021.9にアップグレードする際の検討事項
Coverity Analysis
ビルドレスキャプチャ
導入された Sigma チェッカーおよび廃止されたレガシーチェッカー
Sigma 解析エンジンプラットフォームの要件
結果と緩和
置換された Swift チェッカー
削除された Swift チェッカー
置換された Java、JavaScript、TypeScript チェッカー
Swift コード解析の変更点
2021.06にアップグレードする際の検討事項
Coverity Analysis
ビルドレスキャプチャ
2021.03にアップグレードする際の検討事項
2020.12にアップグレードする際の検討事項
2020.09にアップグレードする際の検討事項
2020.06にアップグレードする際の検討事項
2020.03にアップグレードする際の検討事項
Coverity Connect
2019.12にアップグレードする際の検討事項
Coverity Analysis
node_modules の変換単位の解析
ビルドレスキャプチャ
Crossworks MSP430 サポートの変更
Coverity Desktop
IBM RTC プラグインの更新
2019.09にアップグレードする際の検討事項
2019.06にアップグレードする際の検討事項
2019.03にアップグレードする際の検討事項
2018.12にアップグレードする際の検討事項
Coverity Analysis
2018.09にアップグレードする際の検討事項
廃止に関する通知
EOL に関する通知
Coverity Platform
Coverity Analysis
Coverity Desktop
2018.06にアップグレードする際の検討事項
廃止に関する通知
EOL に関する通知
Coverity Platform
Coverity Analysis
115851 FlexNet ライブラリおよび lgmrd v11.15.0 以降
Coverity Desktop
Coverity Connect ウェブサービス API リリースと非推奨化スケジュール
Coverity 用語集
法的通知
Black Duck インクルーシビティとダイバーシティに関するステートメント

Back to home page