`RULE-18-1`: Picky about how pointers are tracked, doesn't consider derefs before 1 from end, or array-to-pointer conversions
Personne n'a encore pris cette issue.
Évaluation
- Difficulté
- 4/5
- Temps estimé
- 3-5 jours
- Accessibilité débutants
- 35/100
Piste de recherche
Repérez les implémentations de requêtes pour RULE-18-1 et M5-0-16, puis comparez la manière dont elles suivent la création de pointeurs, les conversions de tableaux en pointeurs, les expressions d’adresse directes et les accès à la position juste après la fin. Le travail est terminé lorsque les exemples distinguent les pointeurs valides vers la position juste après la fin des déréférencements ou indexations invalides et signalent chaque cas non conforme sans les faux négatifs indiqués.
Rédigé par le modèle d'indexation à partir du texte de l'issue.
Description
Affected rules
RULE-18-1M5-0-16
Description
The query expects that as pointers are made they are assigned to variables, and assumes that pointers into arrays always use ArrayExpr (eg x[y]). It also allows dereferencing or indexing past 1 of an array -- its OK to make a pointer to 1 past the array, but dereferencing is not defined.
Example
void example_function() {
int x[10];
int *p1 = &x[12]; // NON_COMPLIANT
f(p1);
int *p2 = x + 12; // NON_COMPLIANT[FALSE_NEGATIVE]
f(&x[12]); // NON_COMPLIANT[FALSE_NEGATIVE]
int *p3 = &x[10]; // COMPLIANT
*p3; // NON_COMPLIANT[FALSE_NEGATIVE]
x[10]; // NON_COMPLIANT[FALSE_NEGATIVE] - at least for MISRA-C
}
- Langage dominant
- CodeQL
- Étoiles
- 227
- Forks
- 82
- Merge moyen
- 6 j 7 h
- PR mergées (30 j)
- 9
Guide de contribution
Ouvrir le guide de contribution
Par où commencer
- Lisez l'issue en entier, puis le guide de contribution du projet.
- Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
- Forkez le dépôt et travaillez sur une branche.
- Ouvrez une pull request qui référence le numéro de l'issue.
Autres issues de github/codeql-coding-standards
-
false positive/false negative Stardard-MISRA-C++
Difficulté 2/5 1-3 heures Accessibilité débutants 72/100
github/codeql-coding-standards#1172 ·
-
Difficulty-Low false positive/false negative false-negative Impact-Low Standard-MISRA-C
Difficulté 2/5 1-3 heures Accessibilité débutants 68/100
-
Difficulty-Medium false positive/false negative false-positive Impact-Medium Standard-CERT-C
Difficulté 4/5 3-5 jours Accessibilité débutants 48/100
github/codeql-coding-standards#1200 ·
-
`RULE-0-0-1`: "unreachable statement" false positives due to over-pruning of the control-flow graph Ouvertefalse positive/false negative
Difficulté 4/5 3-5 jours Accessibilité débutants 48/100
github/codeql-coding-standards#1190 ·
-
false positive/false negative
Difficulté 3/5 1-2 jours Accessibilité débutants 65/100
github/codeql-coding-standards#1175 ·
Toutes les issues de github/codeql-coding-standards
Issues similaires
-
wireguard-wp unbalanced "-RunAs" Ouverte
Difficulté 2/5 1-3 heures Accessibilité débutants 78/100
ScoopInstaller/Nonportable#639 ·
-
Difficulté 2/5 1-3 heures Accessibilité débutants 68/100
ScoopInstaller/Extras#18800 ·
-
Actualizar al último Wollok Ouverte
Difficulté 1/5 Moins d'une heure Accessibilité débutants 85/100
uqbar-project/website-wollok-ts#84 · 2 commentaires ·
-
on hold T: core-bug
Difficulté 2/5 1-3 heures Accessibilité débutants 68/100
-
Difficulté 1/5 Moins d'une heure Accessibilité débutants 88/100