`A12-8-6`: Compiler generated special functions are not consistently flagged

オープン

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

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

評価

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

issue の種類: バグ
明瞭さ: おおむね明確
活発さ: 停滞
技術スタック: cpp
領域: compilers

調査の方向性

対象のルールは、参照されている例を含めて cpp/autosar/test/rules/A12-8-6/test.cpp でテストされています。まずこれらのケースと TrivialType ライブラリを読んでください。説明されている追加のコンパイラ生成特殊関数のケースへの処理を拡張し、その後 A12-8-6 テストを実行して、意図した関数が一貫してフラグ付けされることを確認してください。

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

説明

Difficulty-Medium false positive/false negative Impact-Medium

Affected rules

A12-8-6

Description

Compiler generated special functions are not always flagged by this rule, because the extractor does not always generate them.

In CodeQL CLI v2.16.6 and before, this mainly affected non-template classes. However, after the upgrade to CodeQL CLI v2.18.4, special functions are not consistently generated for template classes either.

This can be addressed by extending the TrivialType library to support additional cases where the function would be compiler generated, but where it currently isn't detected.

Example

https://github.com/github/codeql-coding-standards/blob/adcb3805ea0a36d8944f63c2d7c761a501a2b379/cpp/autosar/test/rules/A12-8-6/test.cpp#L15

https://github.com/github/codeql-coding-standards/blob/adcb3805ea0a36d8944f63c2d7c761a501a2b379/cpp/autosar/test/rules/A12-8-6/test.cpp#L124

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

Float != answers false for NaN: arith.cmpf one where une belongs オープン

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

vx-lang/Vx#716 · 2026年9月23日に作成
internal.h中，漏掉了1个定义。オープン

難易度 1/5 1時間未満初心者へのやさしさ 95/100

microsoft/mimalloc#1414 · リアクション 1 件 · 2026年9月23日に作成
Inline assembly tests use 32-bit mnemonic suffixes on platform-`int` operands, so they fail to assemble under gcc/clang オープン

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

vlang/v#28870 · 2026年9月23日に作成
Document the byte order used by MAST root literals オープン

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

0xMiden/miden-vm#3885 · コメント 1 件 · 2026年9月22日に作成
isolated-declarations: TS9025 on an optional parameter property typed `readonly T[]`, which tsc 7 accepts オープン

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

oxc-project/oxc#26944 · 2026年9月22日に作成

Compilers の issue をもっと見る