Size: a a a

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

2020 May 24

AT

Alexander Tchitchigi... in WebAssembly — русскоговорящее сообщество
Michael Pavlovsky
Получается что разработчики просто ленивые - или забыли линкер включить... Так и знал , всех надо повыгонять к чертям
Наоборот, разработчики слишком старательные — стараются максимально оптимизировать. При этом сразу по нескольким форнтам, и ещё на стадии написания первой версии. 😊
источник

AT

Alexander Tchitchigi... in WebAssembly — русскоговорящее сообщество
Michael Pavlovsky
(s/линкер/линтер)
Сообщения можно редактировать. 😉
источник

JC

Julian =) Coffee in WebAssembly — русскоговорящее сообщество
Ну там же с лайфтаймами главная проблема
источник

MV

Mikhail Voronov in WebAssembly — русскоговорящее сообщество
но, кстати, чекеры в clang не то, чтобы могут отловить все случаи. Даже prevent/clockwork не во всё может
источник

AT

Alexander Tchitchigi... in WebAssembly — русскоговорящее сообщество
А ещё есть PVS Studio и кучка других инструментов статического анализа на разные случаи жизни, но их все и вправду почему-то "забывают включить". 🤷‍♀️
источник

JC

Julian =) Coffee in WebAssembly — русскоговорящее сообщество
В Расте например решили просто отрезать n-% процентов програм, из которых часть корректная, но ее просто нельзя формально верифицировать.
источник

MV

Mikhail Voronov in WebAssembly — русскоговорящее сообщество
Alexander Tchitchigin
А ещё есть PVS Studio и кучка других инструментов статического анализа на разные случаи жизни, но их все и вправду почему-то "забывают включить". 🤷‍♀️
ну prevent/clockwork топовые
источник

MP

Michael Pavlovsky in WebAssembly — русскоговорящее сообщество
Julian =) Coffee
В Расте например решили просто отрезать n-% процентов програм, из которых часть корректная, но ее просто нельзя формально верифицировать.
оксюморон
источник

MV

Mikhail Voronov in WebAssembly — русскоговорящее сообщество
в некоторых компаниях их включение закреплено в процессах релиза
источник

AT

Alexander Tchitchigi... in WebAssembly — русскоговорящее сообщество
Julian =) Coffee
В Расте например решили просто отрезать n-% процентов програм, из которых часть корректная, но ее просто нельзя формально верифицировать.
Это всё Рассел виноват — это он придумал в начале прошлого века часть "корректных программ" отбрасывать! 😂
источник

AT

Alexander Tchitchigi... in WebAssembly — русскоговорящее сообщество
Mikhail Voronov
в некоторых компаниях их включение закреплено в процессах релиза
Да как делать правильно как бы всем известно, но по факту, сильно не все так делают.
источник

MV

Mikhail Voronov in WebAssembly — русскоговорящее сообщество
Julian =) Coffee
Ну там же с лайфтаймами главная проблема
кстати, да. В браузерах сейчас топ 2 типа уязвимостей: uaf и type confusion. Первая частично временем жизни лечится.
источник

AT

Alexander Tchitchigi... in WebAssembly — русскоговорящее сообщество
Собственно, по тем же причинам только небольшой процент станет RIIR или compile-to-WASM. Но кто-то станет, и то хлеб.
источник

MV

Mikhail Voronov in WebAssembly — русскоговорящее сообщество
как будто скомпилить в васм большой C/C++ проект так просто
источник

MV

Mikhail Voronov in WebAssembly — русскоговорящее сообщество
а потом ещё это поддерживать каждый релиз
источник

AT

Alexander Tchitchigi... in WebAssembly — русскоговорящее сообщество
Корректность вообще сложная штука. Безопасность ещё сложнее. 😞
источник

MV

Mikhail Voronov in WebAssembly — русскоговорящее сообщество
Alexander Tchitchigin
Корректность вообще сложная штука. Безопасность ещё сложнее. 😞
да, но есть более простые способы добиться рантайм проверок, чем компилировать в васм
источник

MP

Michael Pavlovsky in WebAssembly — русскоговорящее сообщество
@voronovm а что из буста не работает? есть где то списочек?
источник

AT

Alexander Tchitchigi... in WebAssembly — русскоговорящее сообщество
Mikhail Voronov
да, но есть более простые способы добиться рантайм проверок, чем компилировать в васм
Например?
источник

MV

Mikhail Voronov in WebAssembly — русскоговорящее сообщество
Michael Pavlovsky
@voronovm а что из буста не работает? есть где то списочек?
всё, что не связано с доступом к некоторому системному апи/многопоточностью/исключениям компилится
источник