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

Abierto

#491 abierto el 17/1/2024 0 comentarios 0 reacciones 1 asignado Ver en GitHub

@lcartey ya está trabajando en esto.

Desde el 17/1/2024.

Evaluación

Este issue todavía no se ha evaluado.

Descripción

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.

Lenguaje dominante: CodeQL
Estrellas: 227
Forks: 82
Merge medio: 6 d 7 h
PR fusionados (30 d): 9

Guía de contribución

Abrir la guía de contribución

Primeros pasos

Lee el issue completo y luego la guía de contribución del proyecto.
Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
Haz un fork del repositorio y trabaja en una rama.
Abre un pull request que haga referencia al número del issue.

Más de github/codeql-coding-standards

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

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

Dificultad 2/5 1-3 horas Aptitud para principiantes 72/100

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

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

Dificultad 2/5 1-3 horas Aptitud para principiantes 68/100

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

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

Dificultad 4/5 3-5 días Aptitud para principiantes 48/100

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

false positive/false negative

Dificultad 4/5 3-5 días Aptitud para principiantes 48/100

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

false positive/false negative

Dificultad 3/5 1-2 días Aptitud para principiantes 65/100

github/codeql-coding-standards#1175 · Abierto el 20/8/2026

Todos los issues de github/codeql-coding-standards