Weaknesses of type CWE-1245

5 results

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

É quando a lógica de hardware que controla transições entre estados não trata corretamente todas as condições possíveis ou deixa estados inalcançáveis, causando deadlocks, comportamentos não esperados ou exposição a estados perigosos. O risco é que o circuito fica travado, executa operações fora da sequência correta, ou ignora checagens de segurança que deveriam bloquear acessos.

Example

Um processador que valida credenciais por FSM pode ter uma falha onde a transição de 'validando' para 'acesso negado' não funciona em caso de timeout, deixando o estado indefinido e permitindo acesso mesmo após falha de autenticação.

How to mitigate

Especifique explicitamente todas as transições de estado, incluindo casos de erro e timeout; use ferramentas de verificação formal (model checking) para garantir que toda entrada leva a um estado válido; e implemente um estado de falha seguro (default) que nega acesso quando a FSM se comporta de forma inesperada.

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%