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

Aberta

#491 aberta em 17/1/2024 0 comentários 0 reações 1 responsável Ver no GitHub

@lcartey já está trabalhando nisso.

Desde 17/1/2024.

Avaliação

Esta issue ainda não foi avaliada.

Descrição

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.

Linguagem predominante: CodeQL
Estrelas: 227
Forks: 82
Merge médio: 6d 7h
PRs com merge (30d): 9

Guia de contribuição

Abrir o guia de contribuição

Primeiros passos

Leia a issue inteira e depois o guia de contribuição do projeto.
Comente na issue dizendo que vai assumir — evita que duas pessoas façam o mesmo trabalho.
Faça um fork do repositório e trabalhe em uma branch.
Abra um pull request que referencie o número da issue.

Mais de github/codeql-coding-standards

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

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

Dificuldade 2/5 1-3 horas Facilidade para iniciantes 72/100

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

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

Dificuldade 2/5 1-3 horas Facilidade para iniciantes 68/100

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

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

Dificuldade 4/5 3-5 dias Facilidade para iniciantes 48/100

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

false positive/false negative

Dificuldade 4/5 3-5 dias Facilidade para iniciantes 48/100

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

false positive/false negative

Dificuldade 3/5 1-2 dias Facilidade para iniciantes 65/100

github/codeql-coding-standards#1175 · Aberta em 20/8/2026

Todas as issues de github/codeql-coding-standards