wasm валидируется да, но это дает только ответ, сможет он скомпилировать и выполнить этот код или нет без unknown op и валидацией целостности например тех же секций
wasm валидируется да, но это дает только ответ, сможет он скомпилировать и выполнить этот код или нет без unknown op и валидацией целостности например тех же секций
я про то, что генерация wasm кода из C/C++ в wasm при наличии UB недерминирована: на разных сетапах из одного и того же кода можем получить разный сгенерированный wasm код