Coverity Connect MCP Server
by keides2
- coverity-connect-mcp
- docs
- 新しいフォルダー
coverity_mcp_query_sample.html•13.8 kB
<!DOCTYPE html>
<html>
<head>
<title>coverity_mcp_query_sample.md</title>
<meta http-equiv="Content-type" content="text/html;charset=UTF-8">
<style>
/* https://github.com/microsoft/vscode/blob/master/extensions/markdown-language-features/media/markdown.css */
/*---------------------------------------------------------------------------------------------
* Copyright (c) Microsoft Corporation. All rights reserved.
* Licensed under the MIT License. See License.txt in the project root for license information.
*--------------------------------------------------------------------------------------------*/
body {
font-family: var(--vscode-markdown-font-family, -apple-system, BlinkMacSystemFont, "Segoe WPC", "Segoe UI", "Ubuntu", "Droid Sans", sans-serif);
font-size: var(--vscode-markdown-font-size, 14px);
padding: 0 26px;
line-height: var(--vscode-markdown-line-height, 22px);
word-wrap: break-word;
}
#code-csp-warning {
position: fixed;
top: 0;
right: 0;
color: white;
margin: 16px;
text-align: center;
font-size: 12px;
font-family: sans-serif;
background-color:#444444;
cursor: pointer;
padding: 6px;
box-shadow: 1px 1px 1px rgba(0,0,0,.25);
}
#code-csp-warning:hover {
text-decoration: none;
background-color:#007acc;
box-shadow: 2px 2px 2px rgba(0,0,0,.25);
}
body.scrollBeyondLastLine {
margin-bottom: calc(100vh - 22px);
}
body.showEditorSelection .code-line {
position: relative;
}
body.showEditorSelection .code-active-line:before,
body.showEditorSelection .code-line:hover:before {
content: "";
display: block;
position: absolute;
top: 0;
left: -12px;
height: 100%;
}
body.showEditorSelection li.code-active-line:before,
body.showEditorSelection li.code-line:hover:before {
left: -30px;
}
.vscode-light.showEditorSelection .code-active-line:before {
border-left: 3px solid rgba(0, 0, 0, 0.15);
}
.vscode-light.showEditorSelection .code-line:hover:before {
border-left: 3px solid rgba(0, 0, 0, 0.40);
}
.vscode-light.showEditorSelection .code-line .code-line:hover:before {
border-left: none;
}
.vscode-dark.showEditorSelection .code-active-line:before {
border-left: 3px solid rgba(255, 255, 255, 0.4);
}
.vscode-dark.showEditorSelection .code-line:hover:before {
border-left: 3px solid rgba(255, 255, 255, 0.60);
}
.vscode-dark.showEditorSelection .code-line .code-line:hover:before {
border-left: none;
}
.vscode-high-contrast.showEditorSelection .code-active-line:before {
border-left: 3px solid rgba(255, 160, 0, 0.7);
}
.vscode-high-contrast.showEditorSelection .code-line:hover:before {
border-left: 3px solid rgba(255, 160, 0, 1);
}
.vscode-high-contrast.showEditorSelection .code-line .code-line:hover:before {
border-left: none;
}
img {
max-width: 100%;
max-height: 100%;
}
a {
text-decoration: none;
}
a:hover {
text-decoration: underline;
}
a:focus,
input:focus,
select:focus,
textarea:focus {
outline: 1px solid -webkit-focus-ring-color;
outline-offset: -1px;
}
hr {
border: 0;
height: 2px;
border-bottom: 2px solid;
}
h1 {
padding-bottom: 0.3em;
line-height: 1.2;
border-bottom-width: 1px;
border-bottom-style: solid;
}
h1, h2, h3 {
font-weight: normal;
}
table {
border-collapse: collapse;
}
table > thead > tr > th {
text-align: left;
border-bottom: 1px solid;
}
table > thead > tr > th,
table > thead > tr > td,
table > tbody > tr > th,
table > tbody > tr > td {
padding: 5px 10px;
}
table > tbody > tr + tr > td {
border-top: 1px solid;
}
blockquote {
margin: 0 7px 0 5px;
padding: 0 16px 0 10px;
border-left-width: 5px;
border-left-style: solid;
}
code {
font-family: Menlo, Monaco, Consolas, "Droid Sans Mono", "Courier New", monospace, "Droid Sans Fallback";
font-size: 1em;
line-height: 1.357em;
}
body.wordWrap pre {
white-space: pre-wrap;
}
pre:not(.hljs),
pre.hljs code > div {
padding: 16px;
border-radius: 3px;
overflow: auto;
}
pre code {
color: var(--vscode-editor-foreground);
tab-size: 4;
}
/** Theming */
.vscode-light pre {
background-color: rgba(220, 220, 220, 0.4);
}
.vscode-dark pre {
background-color: rgba(10, 10, 10, 0.4);
}
.vscode-high-contrast pre {
background-color: rgb(0, 0, 0);
}
.vscode-high-contrast h1 {
border-color: rgb(0, 0, 0);
}
.vscode-light table > thead > tr > th {
border-color: rgba(0, 0, 0, 0.69);
}
.vscode-dark table > thead > tr > th {
border-color: rgba(255, 255, 255, 0.69);
}
.vscode-light h1,
.vscode-light hr,
.vscode-light table > tbody > tr + tr > td {
border-color: rgba(0, 0, 0, 0.18);
}
.vscode-dark h1,
.vscode-dark hr,
.vscode-dark table > tbody > tr + tr > td {
border-color: rgba(255, 255, 255, 0.18);
}
</style>
<style>
/* Tomorrow Theme */
/* http://jmblog.github.com/color-themes-for-google-code-highlightjs */
/* Original theme - https://github.com/chriskempson/tomorrow-theme */
/* Tomorrow Comment */
.hljs-comment,
.hljs-quote {
color: #8e908c;
}
/* Tomorrow Red */
.hljs-variable,
.hljs-template-variable,
.hljs-tag,
.hljs-name,
.hljs-selector-id,
.hljs-selector-class,
.hljs-regexp,
.hljs-deletion {
color: #c82829;
}
/* Tomorrow Orange */
.hljs-number,
.hljs-built_in,
.hljs-builtin-name,
.hljs-literal,
.hljs-type,
.hljs-params,
.hljs-meta,
.hljs-link {
color: #f5871f;
}
/* Tomorrow Yellow */
.hljs-attribute {
color: #eab700;
}
/* Tomorrow Green */
.hljs-string,
.hljs-symbol,
.hljs-bullet,
.hljs-addition {
color: #718c00;
}
/* Tomorrow Blue */
.hljs-title,
.hljs-section {
color: #4271ae;
}
/* Tomorrow Purple */
.hljs-keyword,
.hljs-selector-tag {
color: #8959a8;
}
.hljs {
display: block;
overflow-x: auto;
color: #4d4d4c;
padding: 0.5em;
}
.hljs-emphasis {
font-style: italic;
}
.hljs-strong {
font-weight: bold;
}
</style>
<style>
/*
* Markdown PDF CSS
*/
body {
font-family: -apple-system, BlinkMacSystemFont, "Segoe WPC", "Segoe UI", "Ubuntu", "Droid Sans", sans-serif, "Meiryo";
padding: 0 12px;
}
pre {
background-color: #f8f8f8;
border: 1px solid #cccccc;
border-radius: 3px;
overflow-x: auto;
white-space: pre-wrap;
overflow-wrap: break-word;
}
pre:not(.hljs) {
padding: 23px;
line-height: 19px;
}
blockquote {
background: rgba(127, 127, 127, 0.1);
border-color: rgba(0, 122, 204, 0.5);
}
.emoji {
height: 1.4em;
}
code {
font-size: 14px;
line-height: 19px;
}
/* for inline code */
:not(pre):not(.hljs) > code {
color: #C9AE75; /* Change the old color so it seems less like an error */
font-size: inherit;
}
/* Page Break : use <div class="page"/> to insert page break
-------------------------------------------------------- */
.page {
page-break-after: always;
}
</style>
<script src="https://unpkg.com/mermaid/dist/mermaid.min.js"></script>
</head>
<body>
<script>
mermaid.initialize({
startOnLoad: true,
theme: document.body.classList.contains('vscode-dark') || document.body.classList.contains('vscode-high-contrast')
? 'dark'
: 'default'
});
</script>
<h1 id="coverity-connect-%E3%82%B9%E3%83%8A%E3%83%83%E3%83%97%E3%82%B7%E3%83%A7%E3%83%83%E3%83%88-50209-%E6%8C%87%E6%91%98%E7%8A%B6%E6%B3%81%E8%AA%BF%E6%9F%BB%E3%83%AC%E3%83%9D%E3%83%BC%E3%83%88">Coverity Connect スナップショット 50209 指摘状況調査レポート</h1>
<h2 id="%E6%A6%82%E8%A6%81">概要</h2>
<ul>
<li><strong>調査対象</strong>: スナップショットID 50209</li>
<li><strong>プロジェクト</strong>: GPF_BA</li>
<li><strong>ストリーム</strong>: gpf_baseapp_web_app</li>
<li><strong>調査日</strong>: 2025年8月6日</li>
</ul>
<h2 id="%E6%8E%A5%E7%B6%9A%E6%83%85%E5%A0%B1">接続情報</h2>
<ul>
<li><strong>サーバー</strong>: https://sast.kbit-repo.net:443</li>
<li><strong>認証</strong>: shimatani/COVAUTHKEY（成功）</li>
<li><strong>プロキシ</strong>: bypsproxy.daikin.co.jp:3128</li>
</ul>
<h2 id="%E6%8C%87%E6%91%98%E4%BB%B6%E6%95%B0%E3%82%B5%E3%83%9E%E3%83%AA%E3%83%BC">指摘件数サマリー</h2>
<h3 id="%E7%B7%8F%E4%BB%B6%E6%95%B0-30%E4%BB%B6">総件数: 30件</h3>
<ul>
<li><strong>新規</strong>: 27件</li>
<li><strong>トリアージ済み</strong>: 2件</li>
<li><strong>除外済み</strong>: 1件</li>
</ul>
<h3 id="%E3%82%A4%E3%83%B3%E3%83%91%E3%82%AF%E3%83%88%E5%88%A5%E5%88%86%E5%B8%83">インパクト別分布</h3>
<table>
<thead>
<tr>
<th>インパクト</th>
<th>件数</th>
</tr>
</thead>
<tbody>
<tr>
<td>監査</td>
<td>17件</td>
</tr>
<tr>
<td>中</td>
<td>11件</td>
</tr>
<tr>
<td>高</td>
<td>1件</td>
</tr>
<tr>
<td>低</td>
<td>1件</td>
</tr>
</tbody>
</table>
<h3 id="%E3%82%B9%E3%83%86%E3%83%BC%E3%82%BF%E3%82%B9%E5%88%A5%E5%88%86%E5%B8%83">ステータス別分布</h3>
<table>
<thead>
<tr>
<th>ステータス</th>
<th>件数</th>
</tr>
</thead>
<tbody>
<tr>
<td>New</td>
<td>27件</td>
</tr>
<tr>
<td>Triaged</td>
<td>2件</td>
</tr>
<tr>
<td>Dismissed</td>
<td>1件</td>
</tr>
</tbody>
</table>
<h3 id="%E3%83%81%E3%82%A7%E3%83%83%E3%82%AB%E3%83%BC%E5%88%A5%E5%88%86%E5%B8%83">チェッカー別分布</h3>
<table>
<thead>
<tr>
<th>チェッカー</th>
<th>件数</th>
</tr>
</thead>
<tbody>
<tr>
<td>ANGULAR_ELEMENT_REFERENCE</td>
<td>15件</td>
</tr>
<tr>
<td>FORWARD_NULL</td>
<td>9件</td>
</tr>
<tr>
<td>DEADCODE</td>
<td>2件</td>
</tr>
<tr>
<td>LOCALSTORAGE_WRITE</td>
<td>2件</td>
</tr>
<tr>
<td>NULL_RETURNS</td>
<td>2件</td>
</tr>
<tr>
<td>SIGMA.hardcoded_secret</td>
<td>2件</td>
</tr>
</tbody>
</table>
<h2 id="%E3%83%88%E3%83%AA%E3%82%A2%E3%83%BC%E3%82%B8%E6%B8%88%E3%81%BF2%E4%BB%B6%E3%81%AE%E8%A9%B3%E7%B4%B0%E5%88%86%E6%9E%90">トリアージ済み2件の詳細分析</h2>
<h3 id="cid-564072">CID 564072</h3>
<ul>
<li><strong>ファイル</strong>: <code>access-levels-view-model.ts:684</code></li>
<li><strong>チェッカー</strong>: DEADCODE</li>
<li><strong>検出期間</strong>: 2024/07/25（スナップショット14782）〜 2025/08/05（スナップショット50209）</li>
<li><strong>継続期間</strong>: 約11ヶ月</li>
<li><strong>分類</strong>: 保留</li>
<li><strong>アクション</strong>: 修正完</li>
<li><strong>所有者</strong>: 未設定</li>
</ul>
<h3 id="cid-564104">CID 564104</h3>
<ul>
<li><strong>ファイル</strong>: <code>package-model.ts:175</code></li>
<li><strong>チェッカー</strong>: DEADCODE</li>
<li><strong>検出期間</strong>: 2024/07/25（スナップショット14782）〜 2025/08/05（スナップショット50209）</li>
<li><strong>継続期間</strong>: 約11ヶ月</li>
<li><strong>分類</strong>: バグ</li>
<li><strong>アクション</strong>: 修正完</li>
<li><strong>所有者</strong>: 未設定</li>
</ul>
<h2 id="%E5%88%86%E6%9E%90%E7%B5%90%E6%9E%9C">分析結果</h2>
<h3 id="%E4%B8%BB%E3%81%AA%E6%89%80%E8%A6%8B">主な所見</h3>
<ol>
<li><strong>長期間継続している指摘</strong>: トリアージ済みの2件は両方とも約11ヶ月間継続</li>
<li><strong>ANGULAR_ELEMENT_REFERENCE中心</strong>: 全体の50%（15/30件）がANGULAR_ELEMENT_REFERENCEチェッカーによる指摘</li>
<li><strong>FORWARD_NULL指摘が多数</strong>: 9件のFORWARD_NULL指摘が存在</li>
<li><strong>DEADCODEは限定的</strong>: DEADCODE指摘は2件のみで、両方ともトリアージ済み</li>
</ol>
<h3 id="%E3%83%88%E3%83%AA%E3%82%A2%E3%83%BC%E3%82%B8%E7%8A%B6%E6%B3%81%E3%81%AB%E3%81%A4%E3%81%84%E3%81%A6">トリアージ状況について</h3>
<ul>
<li>CID 564072, 564104は両方とも「修正完」のアクションが設定されており、Triagedステータスで管理されている</li>
<li><strong>Coverity状態定義（マニュアルより）</strong>：
<ul>
<li><strong>トリアージ済み</strong>: [保留] または [バグ]、[未テスト] として分類される問題</li>
<li><strong>新規</strong>: [未分類] として分類される問題</li>
<li><strong>対象外</strong>: [意図的] または [誤検知]、[テスト不要]、[外部でテスト済] として分類される問題</li>
<li><strong>修正済み</strong>: 最新のスナップショットでは発生していない問題に自動割り当てされる状態</li>
</ul>
</li>
<li><strong>現状分析</strong>：
<ul>
<li><strong>CID 564072</strong>: 分類が「保留」のため、正常にTriagedステータスとなっているが、「修正完」アクション実行済みにも関わらず「保留」分類のままであり、「バグ」への分類更新漏れやレビュー・承認プロセスが残っている可能性がある</li>
<li><strong>CID 564104</strong>: 分類が「バグ」のため、正常にTriagedステータスとなっている</li>
<li>両方とも「修正完」アクション実行済みだが、最新スナップショットにまだ存在するため「修正済み」状態には自動変更されていない</li>
</ul>
</li>
</ul>
<h3 id="%E6%8E%A8%E5%A5%A8%E3%82%A2%E3%82%AF%E3%82%B7%E3%83%A7%E3%83%B3">推奨アクション</h3>
<ol>
<li><strong>ANGULAR_ELEMENT_REFERENCE指摘の優先対応</strong>: 最多の15件について影響度を評価</li>
<li><strong>FORWARD_NULL指摘の調査</strong>: 9件の指摘について潜在的なnull参照リスクを確認</li>
<li><strong>トリアージ済み指摘の最終確認</strong>: 修正完とマークされた2件の最終承認・クローズ処理</li>
<li><strong>セキュリティ関連指摘の対応</strong>: SIGMA.hardcoded_secret 2件の優先対応</li>
</ol>
<h2 id="%E6%AC%A1%E3%81%AE%E3%82%B9%E3%83%86%E3%83%83%E3%83%97">次のステップ</h2>
<ol>
<li>ANGULAR_ELEMENT_REFERENCE指摘の影響度評価と対応優先度決定</li>
<li>FORWARD_NULL指摘のnull安全性確認</li>
<li>トリアージ済み指摘の最終承認プロセス実施</li>
<li>セキュリティ関連指摘（hardcoded_secret）の即座対応</li>
</ol>
<hr>
<p><em>レポート生成日時: 2025年8月6日</em><br>
<em>調査ツール: Coverity Connect MCP Server</em></p>
</body>
</html>
Latest Blog Posts
- Federated Learning with MCP: Building Privacy-Preserving Agents Across Distributed EdgesBy Om-Shree-0709 on .SecuremcpLearning
- MCP Moves to the Linux Foundation: Neutral Stewardship for Agentic InfrastructureBy Om-Shree-0709 on .mcpanthropicLinux Foundation
MCP directory API
We provide all the information about MCP servers via our MCP API.
curl -X GET 'https://glama.ai/api/mcp/v1/servers/keides2/coverity-connect-mcp'
If you have feedback or need assistance with the MCP directory API, please join our Discord server