CVE-2026-34987

Wasmtime è un runtime per WebAssembly. Dalla versione 25.0.0 fino alle versioni precedenti a 36.0.7, 42.0.2 e 43.0.1, Wasmtime con il suo backend di compilazione Winch (baseline) non predefinito potrebbe consentire a guest Wasm correttamente costruiti di accedere alla memoria host al di fuori del sandbox della memoria lineare. Questa vulnerabilità richiede l'uso del compilatore Winch (-Ccompiler=winch). Per impostazione predefinita, Wasmtime utilizza il backend Cranelift, non Winch. Con Winch, la stessa supposizione errata è presente in teoria sia su aarch64 che su x86-64. Nel caso aarch64 è stato osservato un proof of concept funzionante, mentre nel caso x86-64 è teorico e potrebbe non essere raggiungibile in pratica. Questo bug del compilatore Winch può consentire al guest Wasm di accedere alla memoria prima o dopo la regione di memoria lineare, indipendentemente dal fatto che siano configurate regioni di pre- o post-guardia. L'intervallo accessibile nel proof of concept iniziale è fino a 32KiB prima dell'inizio della memoria, o circa 4GiB dopo l'inizio della memoria, indipendentemente dalla dimensione delle regioni di pre- o post-guardia o dall'uso di controlli di bounds basati su regioni di guardia o espliciti. Tuttavia, il bug sottostante assume che un offset di memoria a 32 bit memorizzato in un registro a 64 bit abbia i bit superiori azzerati, cosa che potrebbe non essere vera, e quindi varianti strettamente correlate del proof of concept iniziale potrebbero essere in grado di accedere a memoria realmente arbitraria nel processo. Ciò potrebbe causare un segmentation fault nel processo host (DoS), una fuga di dati arbitraria dal processo host o, con una scrittura, potenzialmente un RCE arbitrario. Questa vulnerabilità è stata corretta nelle versioni 36.0.7, 42.0.2 e 43.0.1.