WASM Validate
La validation WASM vérifie si le bytecode est conforme à la spécification WASM (types, structure, limites de mémoire) ; un module validé a la garantie de s'exécuter sans comportement indéfini.
Objectif
Valider la légitimité du bytecode WASM avant l'instanciation, garantissant une exécution sûre sans comportement indéfini.
Mécanisme
WebAssembly.validate(bytes)→bool : vérifie la cohérence des types du bytecode, la structure du flux de contrôle, les limites mémoire/table et la correspondance des signatures de fonctions. Réussir la validation garantit une exécution sûre (pas d'accès hors bornes, pas d'erreur de type). En cas d'échec, l'instanciation est rejetée.
Cas d’usage
- Validation de sécurité WASM
- Vérification du bytecode
- Validation avant compilation