Fallos del tipo CWE-1245

5 resultados

Máquinas de Estado Finito (FSM) Mal Implementadas em Lógica de Hardware

Ocorre quando a lógica de hardware implementa uma máquina de estado finita com transições incompletas, mal definidas ou vulneráveis a condições inesperadas. Isso pode permitir que o circuito entre em estados não previstos, execute operações fora de sequência ou fique travado, comprometendo segurança e funcionalidade do dispositivo.

Ejemplo

Um controlador de acesso em FPGA com FSM para validação de credenciais que não prevê o que fazer se um sinal de reset chegar durante a autenticação, causando bypass de verificação. Ou um processador que não trata corretamente transições de estado sob clock instável, pulando passos de validação críticos.

Cómo mitigar

Modelar a FSM com cobertura completa de estados e transições (incluindo casos extremos e sinais assíncronos), usar ferramentas de verificação formal para validar todas as trajetórias possíveis, e implementar tratamentos explícitos para condições inválidas ou inesperadas. Revisar a lógica de clock, reset e handshake entre domínios de clock.

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%