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

Aperta
#793 1 commento 0 reazioni 0 assegnatari Vedi su GitHub

Nessuno ha ancora preso questa issue.

Valutazione

Difficoltà
3/5
Tempo stimato
1-2 giorni
Idoneità per principianti
35/100
Tipo di issue
Bug
Chiarezza
Abbastanza chiara
Stato di attività
Ferma
Stack tecnologico
cpp
Ambito
tooling

Direzione di ricerca

Parti dal punto di ingresso della regola A4-7-1 e riproduci l’esempio di container segnalato, concentrandoti sul controllo di vuotezza prima di decrementare num_items_. Il lavoro è completato quando questo decremento protetto non viene più segnalato come perdita di dati interi, mentre i casi reali di wrap-around rimangono coperti.

Scritto dal modello di indicizzazione a partire dal testo della issue.

Descrizione

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;
};
Lingua principale
CodeQL
Stelle
227
Fork
82
Merge medio
6g 7h
PR unite (30g)
9

Guida per i contributori

Apri la guida per i contributori

Come iniziare

  1. Leggi tutta la issue e poi la guida ai contributi del progetto.
  2. Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
  3. Fai un fork del repository e lavora su un branch.
  4. Apri una pull request che faccia riferimento al numero della issue.

Altre issue di github/codeql-coding-standards

Tutte le issue di github/codeql-coding-standards

Issue simili

Altre issue su DevTools

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.