`A2-5-2`: Missing query

オープン

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

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

評価

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

issue の種類: 機能追加
明瞭さ: おおむね明確
活発さ: 停滞
技術スタック: cpp
領域: compilers, devtools

調査の方向性

まず、A2-5-2 の CodeQL クエリまたはルール実装を見つけてください。issue にはファイルもテストも記載されていないためです。Clang の -fno-digraphs flag や GCC に checker がないことに関係なく、checker が digraph のシーケンスをどのように処理すべきかを確認してください。ルールが列挙された digraph 表現を診断すれば完了です。

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

説明

Difficulty-High false positive/false negative Impact-Low Standard-AUTOSAR user-report

Affected rules

A2-5-2

Description

The checker for "Rule A2-5-2 (required, implementation, automated) Digraphs shall not be used." was not implemented. Presumably, the expectation was that compiler flags would be sufficient. However, this is not the case.

Clang has the following flag:

-fno-digraphs

Disables alternative token representations <:, :>, <%, %>, %:, %:%: (default)

I haven't tested this, but presumably disable means that it stops converting them into the corresponding characters. However, to be compliant with the rule we need to diagnose these sequences of characters, even if they are not translated.

GCC is much worse, as they have no checker at all so there is no way to enforce this rule if you are using this compiler.

主要言語: 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

perf: a definite-value return type (`--> Nil`, `--> True`) sends every call down the full path (~12 µs vs ~1 µs) オープン

todo:perf

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

tokuhirom/mutsu#9074 · 2026年9月22日に作成
StUnhex.number() misformats Long.MIN_VALUE as scientific notation instead of a plain integer オープン

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

objectionary/eo#8894 · 2026年9月22日に作成
PHIE parser rejects the empty object representation オープン

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

objectionary/phie#154 · 2026年9月22日に作成
`EoCodec` stores a `float` as a `double`, so a signaling-NaN float constant comes back with different bits オープン

bug

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

objectionary/jeo-maven-plugin#1774 · 2026年9月21日に作成
Minor breakage w/ LLVM 7: `test_llvm.cpp: error: cannot convert 'llvm::Module' to 'llvm::Module*'` オープン

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

lfortran/lfortran#13384 · 2026年9月21日に作成

Compilers の issue をもっと見る