CVE-2022-39392

Wasmtime es una ejecución independiente de WebAssembly. Antes de la versión 2.0.2, había un error en la implementación de Wasmtime de su asignador de instancias de pooling cuando el asignador está configurado para dar a las instancias de WebAssembly un máximo de cero páginas de memoria. En esta configuración, la asignación de memoria virtual para las instancias de WebAssembly no cumplió con los requisitos de configuración requeridos por el compilador para ejecutar módulos WebAssembly de forma segura. La configuración predeterminada de Wasmtime requiere páginas de memoria virtual con fallos para indicar que las lecturas/escrituras de Wasm están fuera de los límites, pero la configuración del asignador de pooling no crearía una asignación de memoria virtual adecuada para este significado, las lecturas/escrituras fuera de los límites pueden leer/escribir la memoria no relacionada con éxito con el entorno limitado de wasm dentro del rango de la dirección base de la asignación de memoria creada por el asignador de pooling. Este error no se aplica con la configuración predeterminada de la crate `wasmtime`. Este error solo se puede activar estableciendo `InstanceLimits::memory_pages` a cero. Se espera que esta sea una configuración muy poco común, ya que significa que los módulos wasm no pueden asignar ninguna página de memoria lineal. Es muy probable que todos los módulos wasm producidos por todas las cadenas de herramientas actuales utilicen memoria lineal, por lo que se espera que sea poco probable que esta configuración se establezca a cero mediante cualquier producción embebida de Wasmtime. Este error ha sido corregido y los usuarios deben actualizar a Wasmtime 2.0.2. Este error se puede solucionar aumentando la asignación de memoria en `memory_pages` al configurar el asignador de pooling a un valor mayor que cero. Si una producción embebida aún desea evitar que la memoria se use, entonces se puede usar el método `Store::limiter` para impedir dinámicamente el crecimiento de la memoria más allá de 0 bytes. Tenga en cuenta que el valor predeterminado de `memory_pages` es ser mayor que cero.