Vulnérabilité critique dans Wasmtime, runtime pour les applications WebAssembly

Les mises à jour correctives de Wasmtime 6.0.1, 5.0.1 et 4.0.1 ont corrigé une vulnérabilité (CVE-2023-26489) classée comme critique. Cette vulnérabilité permet d'écrire des données dans une zone mémoire en dehors des limites autorisées pour le code WebAssembly isolé, ce qui peut potentiellement être exploité par un attaquant pour exécuter son propre code en dehors de l'environnement isolé WASI.

Wasmtime est un runtime pour l'exécution d'applications WebAssembly avec des extensions WASI (WebAssembly System Interface) comme des applications isolées habituelles. L'outil est écrit en Rust, et la vulnérabilité est causée par une erreur logique dans la définition des règles d'adressage mémoire linéaire dans le générateur de code Cranelift, qui traduit une représentation intermédiaire indépendante de l'architecture matérielle en code machine exécutable pour l'architecture x86_64.

En particulier, pour les applications WebAssembly, des adresses effectives de 35 bits ont été calculées au lieu des adresses de 33 bits autorisées par WebAssembly, ce qui décalait la limite des opérations de lecture et d'écriture de la mémoire virtuelle jusqu'à 34 Go, tandis que les paramètres de l'environnement sandbox fournissent une protection pour 6 Go à partir de l'adresse de base. En fin de compte, la plage de mémoire virtuelle de 6 à 34 Go à partir de l'adresse de base était accessible en lecture et écriture depuis les applications WebAssembly. Dans cette mémoire, d'autres environnements WebAssembly ou composants du runtime WebAssembly peuvent être placés.

En cas d'impossibilité de mettre à jour la version de Wasmtime, comme solutions de contournement pour bloquer l'erreur, il est mentionné de spécifier l'option «Config::static_memory_maximum_size(0)» pour activer un contrôle strict des limites lors de tout accès à la mémoire linéaire (ce qui entraîne une diminution significative des performances). Une autre option consiste à utiliser la configuration «Config::static_memory_guard_size(1 < 36)» pour augmenter le nombre de pages de mémoire de garde (Guard Page, provoquant une exception lors de l'accès) placées dans la plage de mémoire virtuelle problématique (ce qui entraîne la réservation d'un volume élevé de mémoire virtuelle et la limitation du nombre d'applications WebAssembly pouvant être exécutées simultanément).

Source : opennet.ru