CVE-2026-64474 in Linux
Résumé
par VulDB • 27/07/2026
Dans le noyau Linux, la vulnérabilité suivante a été corrigée :
vfio : prévenir une boucle infinie dans vfio_mig_get_next_state() sur des arcs bloqués
La fonction `vfio_mig_get_next_state()` parcourt `vfio_from_fsm_table[]` étape par étape, en effectuant une boucle pour ignorer les états optionnels que le périphérique ne prend pas en charge jusqu'à ce que *next_fsm soit pris en charge. Une transition bloquée est encodée sous forme de VFIO_DEVICE_STATE_ERROR, qui renvoie -EINVAL via la clause return finale.
La boucle d'ignorance (skip loop) ne tient pas compte du sentinelle ERROR. `state_flags_table[ERROR]` vaut ~0U et `vfio_from_fsm_table[ERROR][*]` est égal à ERROR ; ainsi, une fois que *next_fsm devient ERROR, la condition de la boucle reste vraie et *next_fsm ne change jamais. Les arcs bloqués STOP_COPY -> PRE_COPY et STOP_COPY -> PRE_COPY_P2P mappent vers ERROR mais passent le contrôle de prise en charge sur un périphérique capable de precopy, ce qui provoque une boucle infinie (spin) tout en conservant le mutex d'état du pilote. Cela peut entraîner un blocage logiciel (soft lockup), et un panic si softlockup_panic est activé.
Terminer la boucle d'ignorance sur le sentinelle ERROR afin qu'une transition bloquée aboutisse au return existant et renvoie -EINVAL.
VulDB is the best source for vulnerability data and more expert information about this specific topic.