Weaknesses of type CWE-485

1 result

Falta de verificação de parâmetro de saída

Ocorre quando o código não valida ou verifica adequadamente os valores retornados por funções, especialmente parâmetros passados por referência ou ponteiros de saída. O programa assume que o valor está correto sem checar, permitindo que dados inválidos, não inicializados ou malformados se propaguem pela lógica seguinte.

Example

Uma função que preenche um buffer de saída via ponteiro não verifica se o ponteiro é válido antes de escrever, ou não valida o tamanho dos dados preenchidos. O chamador então usa esse buffer sem verificar se contém dados válidos, causando crashes ou comportamentos impredizíveis.

How to mitigate

Sempre valide o retorno de funções e o conteúdo de parâmetros de saída antes de usá-los. Implemente verificações de nulidade, limites de tamanho e tipos esperados. Use ferramentas de análise estática para detectar caminhos onde saídas não são validadas.