Hacktoberfest 2026: as issues que os mantenedores marcaram para outubro, abertas e boas para iniciantes. Ver issues do Hacktoberfest

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

Aberta
#793 1 comentário 0 reações 0 responsáveis Ver no GitHub

Ninguém assumiu esta issue ainda.

Avaliação

Dificuldade
3/5
Tempo estimado
1-2 dias
Facilidade para iniciantes
35/100
Tipo de issue
Bug
Clareza
Razoavelmente clara
Status de atividade
Estagnada
Stack de tecnologia
cpp
Domínio
tooling

Direção de pesquisa

Comece no ponto de entrada da regra A4-7-1 e reproduza o exemplo de container relatado, concentrando-se na verificação de vazio antes de decrementar num_items_. Considera-se concluído quando esse decremento protegido não for mais relatado como perda de dados de inteiros, enquanto os casos genuínos de wrap-around continuarem cobertos.

Escrita pelo modelo de indexação a partir do texto da issue.

Descrição

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;
};
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

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

Mais de github/codeql-coding-standards

Todas as issues de github/codeql-coding-standards

Issues semelhantes

Mais issues de DevTools

Receba novas issues na sua caixa de entrada

Um resumo curto de issues do GitHub para quem está começando.