Aviso C26823

Desreferenciando uma 'variável' de ponteiro possivelmente nulo (tempo de vida.1)

Comentários

Desreferenciar um ponteiro nulo é um problema frequente em C e C++. Temos várias verificações para lidar com esses problemas. Consulte esta postagem no blog para obter uma comparação. Quando o mecanismo de análise deduz que o valor de um ponteiro pode ser nulo e vê esse ponteiro ser desreferenciado, ele emitirá um C26823 aviso. Você pode habilitar o C26822 somente para uma análise mais permissiva. Essa verificação também dá suporte a anotações de SAL e gsl::not_null para descrever invariáveis do código.

Exemplo

void invalidate(int **pp);
void condition_null_dereference_invalidated(int* p)
{
    if (p)
        return;

    invalidate(&p);
    // The call above could reset the value of `p`, thus the low confidence warning.
    *p = 5; // warning: C26823
}

Para resolver esse aviso, verifique se não há nenhuma desreferência de ponteiro nulo no código, potencialmente adicionando verificações nulas. Caso o código seja considerado correto, as conclusões de falso positivo geralmente poderão ser corrigidas usando gsl::not_null ou anotações SAL. Há alguns exemplos de como usar algumas dessas anotações abaixo:

_Notnull_ int *get_my_ptr(); 
gsl::not_null<int *> get_my_ptr2(); 

void local_analysis(int *p) { 
    _Analysis_assume_(p != nullptr); 
    *p = 42; 
} 

void local_analysis2(_In_ int *p) { 
    int a = *p; 
}