Enhancement to CON-41C

オープン

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

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

評価

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

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

調査の方向性

CON-41Cクエリと、現在の弱いcmpxchg処理について説明しているリンク先のプルリクエストの議論から始めてください。ループ条件とローカルデータフローがどのようにモデル化されているかを追跡し、列挙されているループおよびガード付き代入のケースを網羅するテストを定義してください。拡張機能が検証され、許容できないFalse Positivesを導入していないことが完了の条件です。

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

説明

Difficulty-High enhancement Standard-CERT-C

Context: https://github.com/github/codeql-coding-standards/pull/45#discussion_r943837378

Although this query will catch a lot real-world examples of flawed usage of weak cmpxchg functions (e.g., those used in one-off if-statements), I think that if false-positives don't become an issue, it can be improved by verifying that either:

The loop is infinite or
The loop condition contains the call and checks its result or
The loop condition checks a variable which is, within the loop, assigned either of the following:
The return value of the weak cmpxchg function call (via local data flow)
A literal assigned in and only in a block guarded by a success condition of the weak cmpxchg function call return value
or
To avoid false positives, any value assigned in a block guarded by the weak cmpxchg function call return value

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

ZCode 3.14.3 に対応するオープン

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

supermomonga/zcode-acp#24 · 2026年9月23日に作成
create_predictable_zip member order differs on Windows for directory input オープン

bug

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

learningequality/ricecooker#747 · 2026年9月23日に作成
Cannot export point cloud without radius attribute オープン

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

KhronosGroup/glTF-Blender-IO#2769 · 2026年9月23日に作成
Cline agent sends legacy thinking.type "enabled" for claude-sonnet-5 (rejected) and claude-fable-5-1: bundled @clinebot/llms 0.0.38 predates cline/cline#12908 オープン

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

cline/kanban#655 · コメント 1 件 · 2026年9月22日に作成
ST04 fix deletes the space before the outer END when flattening a nested CASE オープン

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

sqlfluff/sqlfluff#8567 · 2026年9月22日に作成

DevTools の issue をもっと見る