Fallos del tipo CWE-705
8 resultadosEscopo de Controle de Fluxo Incorreto
É quando a lógica de controle (condições, loops, exceções) não protege adequadamente o código que deveria estar sob sua jurisdição, permitindo que instruções sejam executadas em contextos não pretendidos. O resultado é comportamento imprevisto: código sensível roda quando não deveria, ou validações são contornadas porque a condição protetora não cobre realmente o bloco crítico.
Um try-catch que deveria envolver uma operação de arquivo, mas está estruturado de forma que a linha crítica fica fora do bloco protegido; ou um if que valida entrada, mas a variável usada logo em seguida é uma referência anterior não validada. Em ambos os casos, o desenvolvedor *acha* que há proteção, mas o escopo real não inclui o ponto de falha.
Revise cuidadosamente a delimitação de blocos (chaves, indentação, exceções) em relação ao que precisa realmente ser protegido. Use análise estática (linters, SAST) para detectar código orfão fora de escopos protetor. Teste casos de contorno onde o fluxo deveria ser bloqueado mas não é.