`A4-7-1`: Incorporate CERT C integer data loss rules

Aperta

#491 aperta il 17/1/2024 0 commenti 0 reazioni 1 assegnatario Vedi su GitHub

@lcartey ci sta già lavorando.

Dal 17/1/2024.

Valutazione

Questa issue non è ancora stata valutata.

Descrizione

Difficulty-Medium false positive/false negative Impact-High Standard-AUTOSAR

Affected rules

A4-7-1

Description

The IntegerExpressionLeadToDataLoss.ql query should be replaced by the more refined queries from CERT, specifically INT30-C (UnsignedIntegerOperationsWrapAround.ql), INT31-C (IntegerConversionCausesDataLoss.ql), INT32-C (SignedIntegerOverflow.ql) and INT34-C (ExprShiftedByNegativeOrGreaterPrecisionOperand.ql). These provide:

Additional results not covered by the original query (particularly around lossy casts and conversions).
Improved alert messages with more additional information and no inaccurate descriptions.
Additional guard and validation detection, to reduce false positives.

Lingua principale: CodeQL
Stelle: 227
Fork: 82
Merge medio: 6g 7h
PR unite (30g): 9

Guida per i contributori

Apri la guida per i contributori

Come iniziare

Leggi tutta la issue e poi la guida ai contributi del progetto.
Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
Fai un fork del repository e lavora su un branch.
Apri una pull request che faccia riferimento al numero della issue.

Altre issue di github/codeql-coding-standards

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

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

Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100

github/codeql-coding-standards#1172 · Aperta il 5/8/2026
`RULE-10-4`: False negatives as rule does not currently consider ternaries Aperta

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

Difficoltà 2/5 1-3 ore Idoneità per principianti 68/100

github/codeql-coding-standards#821 · Aperta il 12/12/2024
`EXP39-C`: False positives related to compatible types, harmless casts Aperta

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

Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100

github/codeql-coding-standards#1200 · Aperta il 20/9/2026
`RULE-0-0-1`: "unreachable statement" false positives due to over-pruning of the control-flow graph Aperta

false positive/false negative

Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100

github/codeql-coding-standards#1190 · Aperta il 28/8/2026
`RULE-0-1-1`: Findings should be suppressed for [[maybe_unused]] initialization Aperta

false positive/false negative

Difficoltà 3/5 1-2 giorni Idoneità per principianti 65/100

github/codeql-coding-standards#1175 · Aperta il 20/8/2026

Tutte le issue di github/codeql-coding-standards