`A2-10-5`: id name reuse false positive with template specialization

オープン

#806 2024年12月2日に作成コメント 2 件リアクション 0 件担当者 0 名 GitHub で見る

まだ誰も着手していません。

評価

難易度: 3/5
見積もり時間: 1〜2日
初心者へのやさしさ: 48/100

issue の種類: バグ
明瞭さ: 明確に書かれている
活発さ: 停滞
技術スタック: cpp
領域: devtools

調査の方向性

IdentifierNameOfANonMemberObjectWithExternalOrInternalLinkageIsReused.ql から始め、提示された C++ の変数テンプレート特殊化の例を再現してください。なぜその特殊化が識別子の再利用として扱われるのかを追跡してください。完了条件は、その例で警告が発生しなくなり、同時に本当の識別子の再利用は引き続き検出されることです。

索引モデルが issue の本文から書いたものです。

説明

Difficulty-Low false positive/false negative Impact-Low user-report

Affected rules

A2-10-5

Description

Variable template defined with an specialization is alerted as identifier reuse.

Example

template<typename T, typename S>
extern constexpr bool x = false;

template<typename T>
extern constexpr bool x<T, int> = true;

Query IdentifierNameOfANonMemberObjectWithExternalOrInternalLinkageIsReused.ql warns about x in lines 2 and 5.

主要言語: CodeQL
スター: 227
フォーク: 82
平均マージ: 6日 7時間
マージ済み PR（30日）: 9

コントリビューションガイド

コントリビューションガイドを開く

はじめの一歩

issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
リポジトリをフォークし、ブランチを切って変更します。
issue 番号を参照したプルリクエストを送ります。

github/codeql-coding-standards のほかの issue

`RULE-10-0-1`: Structured bindings should not be reported as violations オープン

false positive/false negative Stardard-MISRA-C++

難易度 2/5 1〜3時間初心者へのやさしさ 72/100

github/codeql-coding-standards#1172 · 2026年8月5日に作成
`RULE-10-4`: False negatives as rule does not currently consider ternaries オープン

Difficulty-Low false positive/false negative false-negative Impact-Low Standard-MISRA-C

難易度 2/5 1〜3時間初心者へのやさしさ 68/100

github/codeql-coding-standards#821 · 2024年12月12日に作成
`EXP39-C`: False positives related to compatible types, harmless casts オープン

Difficulty-Medium false positive/false negative false-positive Impact-Medium Standard-CERT-C

難易度 4/5 3〜5日初心者へのやさしさ 48/100

github/codeql-coding-standards#1200 · 2026年9月20日に作成
`RULE-0-0-1`: "unreachable statement" false positives due to over-pruning of the control-flow graph オープン

false positive/false negative

難易度 4/5 3〜5日初心者へのやさしさ 48/100

github/codeql-coding-standards#1190 · 2026年8月28日に作成
`RULE-0-1-1`: Findings should be suppressed for [[maybe_unused]] initialization オープン

false positive/false negative

難易度 3/5 1〜2日初心者へのやさしさ 65/100

github/codeql-coding-standards#1175 · 2026年8月20日に作成

github/codeql-coding-standards の issue をすべて見る

似ている issue

[Bug]: SSH host picker duplicates configured aliases and known_hosts targets オープン

難易度 2/5 1〜3時間初心者へのやさしさ 75/100

pingdotgg/t3code#13270 · 2026年9月23日に作成
aspire run --isolated still collides on the resource-service port (22142) across worktrees オープン

難易度 2/5 1〜3時間初心者へのやさしさ 75/100

nightscout/nocturne#1424 · 2026年9月23日に作成
A claim comment carrying the issue number is silently declined while the workflow reports success オープン

area: repo bug perceived difficulty: 2

難易度 2/5 1〜3時間初心者へのやさしさ 70/100

Nitjsefnie-Harness-Commons/daedalus#926 · 2026年9月23日に作成
impl detach for native オープン

難易度 2/5 1〜3時間初心者へのやさしさ 65/100

paritytech/zombienet-sdk#591 · 2026年9月23日に作成
board_lifecycle.audit_findings raises GhError with one argument — a TypeError at raise time (hidden until FEAT-64) オープン

bug

難易度 2/5 1〜3時間初心者へのやさしさ 75/100

mruangutai/harness#1897 · 2026年9月23日に作成

DevTools の issue をもっと見る