Xen corrige des failles d'isolation entre machines virtuelles découvertes par Anthropic avec Claude (XSA-523)

Le projet Xen a publié le 3 novembre l'avis de sécurité XSA-523, qui corrige deux vulnérabilités de l'hyperviseur open source capables de rompre l'isolation entre machines virtuelles. D'après l'avis, un invité malveillant peut lire et modifier n'importe quelle zone mémoire d'autres domaines hébergés sur la même machine, y compris dom0, le domaine privilégié qui administre l'hôte.

La nature des bogues

Les deux failles se trouvent dans le grant copy, le mécanisme qui permet à Xen de copier des données entre domaines via des pages partagées. Pour accélérer les séries de copies portant sur des plages voisines d'une même page, Xen réutilise des contrôles d'autorisation déjà effectués. L'avis indique que les conditions déclenchant une nouvelle vérification étaient fausses à deux égards. Avec CVE-2026-102703, numéros de cadre et références de grant pouvaient être confondus. Avec CVE-2026-102704, le contrôle censé limiter les copies par numéro de cadre à la mémoire de l'appelant était mal placé.

Toutes les versions de Xen à partir de la 4.6 sont vulnérables ; la 4.5 et les précédentes ne le sont pas. Aucune mesure d'atténuation n'est connue, précise le projet : il faut appliquer les correctifs, publiés pour xen-unstable et la branche 4.19, ainsi que pour les branches 4.17 et 4.18. The Hacker News note qu'aucun correctif n'existe pour les versions 4.6 à 4.16, qui ne bénéficient plus du support de sécurité, et que l'avis ne mentionne aucune exploitation constatée.

Qui l'a trouvée ?

Selon l'avis, le problème a été découvert par Anthropic à l'aide de son modèle Claude, puis validé par Stephan Lipp, de la société Ada Logics. L'équipe de recherche en sécurité de CodeAnt AI l'a ensuite signalé de façon indépendante. Le document ne détaille pas la manière dont Claude a été employé.

Les correctifs en aval

Les projets fondés sur Xen ont publié leurs propres mises à jour. Qubes OS, dont le modèle de sécurité repose sur l'isolation assurée par Xen, indique dans son bulletin QSB-121 que toutes ses versions et configurations prises en charge sont concernées. Sur Qubes 4.3, les paquets Xen corrigés (version 4.19.6-3) arrivent par l'outil de mise à jour habituel, après quoi il faut redémarrer dom0 ; les utilisateurs d'Anti Evil Maid doivent aussi resceller leur phrase secrète, car les nouveaux binaires modifient les mesures de démarrage. Les paquets passent du dépôt de test au dépôt stable en deux semaines environ.

The Hacker News rapporte que Vates a livré le 3 novembre un correctif pour XCP-ng 8.3, jugé critique et nécessitant un redémarrage de l'hôte, et que le 4 novembre le suivi de sécurité de Debian affichait encore le paquet xen comme vulnérable dans bookworm, trixie et forky, le correctif n'étant présent que dans sid. Les administrateurs qui font tourner des invités non fiables sur Xen ont intérêt à surveiller les canaux de leur fournisseur.