Https://Hacks.Mozilla.Org/2021/12/Webassembly-And-Back-Again-Fine-Grained-Sandboxing-In-Firefox-95/ обсудили?

Question

WebAssembly — русскоговорящее сообщество

Nikita Skovoroda

Https://Hacks.Mozilla.Org/2021/12/Webassembly-And-Back-Again-Fine-Grained-Sandboxing-In-Firefox-95/ обсудили?

#programming #russian #webassembly

0

12.12.2021

5 ответов

18 просмотров

Nikita Skovoroda Автор вопроса

https://blog.invisiblethings.org/2010/05/03/on-formally-verified-microkernels-and.html

0

12.12.2021

Igor Petruk

Я нуб в васме, но вроде там линейная память в одном буфере. А потом это буфер оказывается опять в основной памяти приложения.

0

13.12.2021

Alexander Chichigin

Igor Petruk
Я нуб в васме, но вроде там линейная память в одно...

Во-первых, Wasm гарантирует корректную работу со стеком, и вообще не даёт делать со стеком что попало — это одно устраняет огромное количество дыр в безопасности. Во-вторых, даже в рамках одного процесса можно выделять память в отдельном сегменте так, что кусок кода оттуда никуда вылезти не сможет.

0

13.12.2021

Nikita Skovoroda Автор вопроса

Alexander Chichigin
Во-первых, Wasm гарантирует корректную работу со с...

Хм, а можно про стэк подробнее? То есть вылезти из него да, нельзя, но внутри кода на васме без защиты стэка может происходить фигня

0

13.12.2021

Alexander Chichigin · Accepted Answer

> One such thing is the correctness of a compiler, so that you can be sure that all the properties you proved for the source code, still hold true for the binary generated from this source code. Вот я ровно про это: сейчас Firefox предполагает корректность wasm2c, в то время как предпочтительнее было бы её формально доказать. Что сильно проще, чем доказывать корректность микроядра. Благо, у Wasm уже есть формальная спецификация.

169 похожих чатов

Https://Hacks.Mozilla.Org/2021/12/Webassembly-And-Back-Again-Fine-Grained-Sandboxing-In-Firefox-95/ обсудили?

5 ответов

Похожие вопросы