Falhas do tipo CWE-440

44 resultados

Violação de Comportamento Esperado

É uma fraqueza genérica que descreve situações onde o software se comporta de forma diferente do que foi especificado ou esperado, causando falhas de segurança ou funcionalidade. Ocorre quando há desalinhamento entre o design/contrato do código e sua execução real, permitindo estados perigosos ou comportamentos não autorizados.

Exemplo

Um serviço de autenticação que deveria bloquear após 3 tentativas falhas, mas continua aceitando requisições porque a lógica de contadores foi bypassada em uma rota alternativa. Ou um módulo de validação de entrada que deveria rejeitar payloads maiores que X bytes, mas aceita se compactados, violando a expectativa de proteção.

Como mitigar

Defina especificações claras e formais do comportamento esperado em cada função crítica, implemente testes de conformidade (unit tests, integração) que validem o contrato e use code review para detectar desvios de lógica. Centralize validações e use princípios de fail-safe (falhar de forma segura por padrão).