`A4-7-1`: integer data loss false positive erasing from container

Ouverte
#793 1 commentaire 0 réactions 0 personnes assignées Voir sur GitHub

Personne n'a encore pris cette issue.

Évaluation

Difficulté
3/5
Temps estimé
1-2 jours
Accessibilité débutants
35/100
Type d'issue
Bug
Clarté
Plutôt claire
Activité
À l'abandon
Stack technique
cpp
Domaine
tooling

Piste de recherche

Commencez au point d’entrée de la règle A4-7-1 et reproduisez l’exemple de conteneur signalé, en vous concentrant sur la vérification de vacuité avant de décrémenter num_items_. Le travail est terminé lorsque ce décrément protégé n’est plus signalé comme une perte de données entière, tandis que les véritables cas de wrap-around restent couverts.

Rédigé par le modèle d'indexation à partir du texte de l'issue.

Description

Difficulty-High false positive/false negative Impact-Medium Standard-AUTOSAR
Affected rules
  • A4-7-1
Description

Decrement cannot lead to wrap-around since the container is checked for emptiness.

Example
class container
{
    bool empty()
    {
        return num_items_ == 0;
    }

    void erase()
    {
        if (empty())
            return;

        num_items_--;
    }

    std::size_t num_items_ = 0;
};
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

  1. Lisez l'issue en entier, puis le guide de contribution du projet.
  2. Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
  3. Forkez le dépôt et travaillez sur une branche.
  4. Ouvrez une pull request qui référence le numéro de l'issue.

Autres issues de github/codeql-coding-standards

Toutes les issues de github/codeql-coding-standards

Issues similaires

Plus d'issues DevTools

Recevez les nouvelles issues par e-mail

Un résumé court des issues GitHub adaptées aux débutants.