Falhas do tipo CWE-1245

5 resultados

Máquinas de estado finito (FSM) mal implementadas em lógica de hardware

A fraqueza ocorre quando a lógica de hardware que implementa uma máquina de estado finito possui falhas de design — como transições de estado não definidas, estados inválidos alcançáveis ou lógica de controle incompleta. Isso permite que o circuito entre em estados inesperados, comprometendo segurança, integridade de dados ou funcionamento correto do dispositivo.

Exemplo

Um processador com FSM de controle de acesso à memória mal especificada pode pular validações de privilégio em certas sequências de entrada, permitindo leitura ou escrita não autorizada. Ou um controlador de criptografia cuja FSM não trata corretamente sinais de reset pode vazar chaves ao transitar para estados intermediários mal definidos.

Como mitigar

Validar completamente todas as transições de estado durante design e síntese (usando ferramentas de model checking), implementar estados inválidos como traps seguros (que bloqueiam operações), e executar testes de robustez em prototipagem (fuzzing de sinais de controle) antes da produção.

CVE-2024-58311HIGHDormakaba Saflok System 6000 Key Generation Cryptographic WeaknessEPSS 0.4%CVE-2024-31068MEDIUMImproper Finite State Machines (FSMs) in Hardware Logic for some Intel(R) Processors may allow privileged user to potentially enable denial EPSS 0.2%CVE-2024-21853MEDIUMImproper finite state machines (FSMs) in the hardware logic in some 4th and 5th Generation Intel(R) Xeon(R) Processors may allow an authorizEPSS 0.2%CVE-2024-24968MEDIUMImproper finite state machines (FSMs) in hardware logic in some Intel(R) Processors may allow an privileged user to potentially enable a denEPSS 0.2%CVE-2025-48508MEDIUMImproper Hardware reset flow logic in the GPU GFX Hardware IP block could allow a privileged attacker in a guest virtual machine to control EPSS 0.1%