я думаю точно так же как в расте
но это мои догадки

@voronovm , @maxgraey  -
A new approach: While we continue to make extensive use of both sandboxing and Rust in Firefox, each has its limitations. Process-level sandboxing works well for large, pre-existing components, but consumes substantial system resources and thus must be used sparingly. Rust is lightweight, but rewriting millions of lines of existing C++ code is a labor-intensive process.. .....
.....
So today, we’re adding a third approach to our arsenal. RLBox, a new sandboxing technology developed by researchers at the University of California, San Diego, the University of Texas, Austin, and Stanford University, allows us to quickly and efficiently convert existing Firefox components to run inside a WebAssembly sandbox.

это не так, при компиляции в васм не делается ничего специального относительно экосистемы llvm для отлова ub, wasm в этом случае - это просто один из compile targets

тогда печально :/

ну вот я компилил редис и на ub где-то неделю потратил

получилось скомпилить хоть?)

в смысле, у меня падало после компиляции и использовании некоторого функционала редиса и падало именно от ub

ну и доклад на highload про это есть, если интересно (видео уже в открытом доступе)

круто, сейчас все посмотрю
спасибо за труды)

Лину есть?

@maxgraey , Может быть, вы пропустили несколько деталей из статьи?

Я процитирую

Новый подход: несмотря на то, что мы продолжаем широко использовать как песочницу, так и Rust в Firefox, у каждого есть свои ограничения. Песочница на уровне процесса хорошо работает для больших, уже существующих компонентов, но потребляет значительные системные ресурсы и, следовательно, должна использоваться экономно. Rust облегчен, но переписывание миллионов строк существующего кода на C ++ является трудоемким процессом ... .....
.....
Поэтому сегодня мы добавляем третий подход к нашему арсеналу. RLBox, новая технология песочницы, разработанная исследователями из Калифорнийского университета, Сан-Диего, Техасского университета, Остина и Стэнфордского университета, позволяет нам быстро и эффективно конвертировать существующие компоненты Firefox для работы внутри песочницы WebAssembly.

да, я как раз выше скидывал ссылку про Firefox

Я об этом тоже намекал вот здесь

вообще, конечно, васм очень хорошо может применяться для изоляции в будущем (особенно при дальнейшем развитии wasi)

Проще говоря, C -> WASM - C не является решением.

теоретически это позволит перенести различные рантайм проверки типа выхода за пределы массива в результирующий C/C++, но тут много вопросов в качестве декомпиляции

и, возможно, в том, чтобы сделать её формально верифицируемой, чтобы новые ub не занести на этапе wasm => C/C++

@voronovm Вы не можете просто скомпилировать c в формальный язык (Тюринг вращался бы в его могиле). Но я не буду спорить