`RULE-10-4`: False negatives as rule does not currently consider ternaries

Offen Anfängerfreundlich

#821 erstellt am 12.12.2024 0 Kommentare 0 Reaktionen 0 zugewiesene Personen Auf GitHub ansehen

Dieses Issue hat noch niemand übernommen.

Bewertung

Schwierigkeit: 2/5
Geschätzter Aufwand: 1-3 Stunden
Anfängerfreundlichkeit: 68/100

Issue-Typ: Bug
Klarheit: Klar beschrieben
Aktivitätsstatus: Veraltet
Tech-Stack: c
Bereich: devtools

Rechercherichtung

Untersuche MisraExpressions.qll, beginnend mit OperationWithUsualArithmeticConversions und der RULE-10-4-Abfrage oder den Tests. Bestätige, wie binäre und arithmetische Zuweisungsoperationen ihre Operanden verfügbar machen, erweitere dann den Fall für bedingte Ausdrücke so, dass er die Operanden 2 und 3 abdeckt, und überprüfe, dass das bereitgestellte ternäre Beispiel kein False Negative mehr ist.

Vom Indexierungsmodell aus dem Issue-Text verfasst.

Beschreibung

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

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
}

Vorherrschende Sprache: CodeQL
Sterne: 227
Forks: 82
Ø Merge: 6 T. 7 Std.
Gemergte PRs (30 T.): 9

Beitragsleitfaden

Beitragsleitfaden öffnen

Erste Schritte

Lesen Sie das ganze Issue und danach den Beitragsleitfaden des Projekts.
Schreiben Sie ins Issue, dass Sie es übernehmen — das erspart doppelte Arbeit.
Forken Sie das Repository und arbeiten Sie in einem Branch.
Öffnen Sie einen Pull Request, der die Issue-Nummer nennt.

Mehr aus github/codeql-coding-standards

`RULE-10-0-1`: Structured bindings should not be reported as violations Offen

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

Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 72/100

github/codeql-coding-standards#1172 · Erstellt am 05.8.2026
`EXP39-C`: False positives related to compatible types, harmless casts Offen

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

Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 48/100

github/codeql-coding-standards#1200 · Erstellt am 20.9.2026
`RULE-0-0-1`: "unreachable statement" false positives due to over-pruning of the control-flow graph Offen

false positive/false negative

Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 48/100

github/codeql-coding-standards#1190 · Erstellt am 28.8.2026
`RULE-0-1-1`: Findings should be suppressed for [[maybe_unused]] initialization Offen

false positive/false negative

Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 65/100

github/codeql-coding-standards#1175 · Erstellt am 20.8.2026
`RULE-15-1-4`: Aggregate member initialized with "{}" falsely flagged Offen

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

Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 48/100

github/codeql-coding-standards#1165 · Erstellt am 25.7.2026

Alle Issues in github/codeql-coding-standards