`7-11-3`: FP for multiplication of template arguments

Offen

#1,155 erstellt am 16.7.2026 0 Kommentare 0 Reaktionen 0 zugewiesene Personen Auf GitHub ansehen

Dieses Issue hat noch niemand übernommen.

Bewertung

Schwierigkeit: 4/5
Geschätzter Aufwand: 3-5 Tage
Anfängerfreundlichkeit: 38/100

Issue-Typ: Bug
Klarheit: Muss geklärt werden
Aktivitätsstatus: Ruhig
Tech-Stack: cpp
Bereich: devtools

Rechercherichtung

Beginne mit RULE-7-11-3 und reproduziere den gemeldeten False Positive anhand des Beispiel-Templates. Untersuche anschließend die Logik der Regel dahingehend, wie Template-Aufrufe und Pointer-Konvertierungen klassifiziert werden. Erledigt ist die Aufgabe, wenn das auslösende Muster identifiziert und verhindert wird, dass gültige Template-Aufrufe als ungültige Pointer-Konvertierungen gemeldet werden, einschließlich eines Regressionstests, falls die Regeltests des Repositorys dies unterstützen.

Vom Indexierungsmodell aus dem Issue-Text verfasst.

Beschreibung

false positive/false negative

Affected rules

RULE-7-11-3

Description

Qlx is riddled with examples of function calls that are for some reason flagged as invalid pointer conversions.

It seems like maybe the common thread is that this occurs in templates when they call functions that don't depend on the template?

Example

This might be the type of thing that triggers it? It's unclear.

template <typename T>
class C {
  void use_t() {
    (T*) null;
    dont_use_t(); // here?
  }

  void dont_use_t() {
     return;
  }

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
`RULE-10-4`: False negatives as rule does not currently consider ternaries Offen

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

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

github/codeql-coding-standards#821 · Erstellt am 12.12.2024
`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

Alle Issues in github/codeql-coding-standards