`RULE-21-15`: Improve detection of compatible types

Abierto

#573 abierto el 25/4/2024 0 comentarios 0 reacciones 1 asignado Ver en GitHub

Nadie ha tomado este issue todavía.

Evaluación

Este issue todavía no se ha evaluado.

Descripción

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

Affected rules

RULE-21-15

Description

The query for this rule is currently too strict - it requires the types be identical (after stripping specifiers), instead of compatible. For example, it does not allow a combination of pointers and arrays, or array types with different sizes, or types which are compatible but not identical (e.g. signed int and int.

Example

void example_function(int i1[80], int *i2, int i3[10], signed int *i4) {
  memcpy(i1,i2,1); // COMPLIANT[FALSE_POSITIVE]
  memcpy(i1,i3,1); // COMPLIANT[FALSE_POSITIVE]
  memcpy(i2,i3,1); // COMPLIANT[FALSE_POSITIVE]
  memcpy(i2,i4,1); // COMPLIANT[FALSE_POSITIVE]
}

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