`RULE-10-4`: False negatives as rule does not currently consider ternaries
まだ誰も着手していません。
評価
調査の方向性
MisraExpressions.qll を調査し、OperationWithUsualArithmeticConversions と RULE-10-4 のクエリまたはテストから始めてください。二項算術演算と代入算術演算がオペランドをどのように公開しているかを確認し、次に条件式のケースがオペランド 2 と 3 をカバーするようにして、提供された三項演算子の例が false negative ではなくなったことを検証してください。
索引モデルが issue の本文から書いたものです。
説明
Affected rules
RULE-10-4
Description
The text states that the rule applies to usual arithmetic conversions, and the c spec states that for a ? b : c the usual arithmetic conversions are performed on operands b and c. However, OperationWithUsualArithmeticConversions from MisraExpressions.qll holds for this instanceof BinaryOperation and ... or this instanceof AssignArithmeticOperation, it should also hold for this instanceof ConditionalExpr and getLeftOperand() / getRightOperand() should return operands 2 & 3.
Example
void example_function() {
int x;
float y;
bool b;
b ? x : y; // FALSE NEGATIVE
}
- 主要言語
- CodeQL
- スター
- 227
- フォーク
- 82
- 平均マージ
- 6日 7時間
- マージ済み PR(30日)
- 9
コントリビューションガイド
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
github/codeql-coding-standards のほかの issue
-
false positive/false negative Stardard-MISRA-C++
難易度 2/5 1〜3時間 初心者へのやさしさ 72/100
github/codeql-coding-standards#1172 ·
-
Difficulty-Medium false positive/false negative false-positive Impact-Medium Standard-CERT-C
難易度 4/5 3〜5日 初心者へのやさしさ 48/100
github/codeql-coding-standards#1200 ·
-
`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 ·
-
false positive/false negative
難易度 3/5 1〜2日 初心者へのやさしさ 65/100
github/codeql-coding-standards#1175 ·
-
false positive/false negative Stardard-MISRA-C++
難易度 3/5 1〜2日 初心者へのやさしさ 48/100
github/codeql-coding-standards#1165 ·
github/codeql-coding-standards の issue をすべて見る
似ている issue
-
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
ScoopInstaller/Nonportable#639 ·
-
難易度 2/5 1〜3時間 初心者へのやさしさ 68/100
ScoopInstaller/Extras#18800 ·
-
難易度 1/5 1時間未満 初心者へのやさしさ 85/100
uqbar-project/website-wollok-ts#84 · コメント 2 件 ·
-
on hold T: core-bug
難易度 2/5 1〜3時間 初心者へのやさしさ 68/100
-
難易度 1/5 1時間未満 初心者へのやさしさ 88/100