Fallos del tipo CWE-1335
6 resultadosDeslocamento bitwise incorreto de inteiros
Ocorre quando o código realiza operações de deslocamento de bits (shift left << ou shift right >>) com valores inválidos, como deslocamentos maiores que o tamanho do tipo ou negativos. Isso causa comportamento indefinido, corrupção de dados ou lógica aritmética quebrada, porque o processador não garante o resultado esperado.
Um código que faz `int x = valor << quantidade;` sem validar se `quantidade` é maior que 31 bits (tamanho de um int de 32 bits), ou um deslocamento à direita aritmético onde o sinal se propaga de forma inesperada, causando cálculos errados em algoritmos criptográficos ou de manipulação de flags.
Sempre valide o operando de deslocamento antes de usá-lo: garanta que está dentro do intervalo [0, tamanho_do_tipo - 1]. Use constantes ou enums para limites máximos, e considere usar bibliotecas de matemática segura que já fazem essas verificações. Testes com valores edge case (negativos, zero, máximo) são críticos.