Блог*
Загадки #prog #go экосистемы t.iss.one/teamerlin/7171
Telegram
Alexey Palazhchenko in ☕️ Мерлин заваривает чай с гречкой 🧙♂️ Chat
Непонятно пост-мета-ирония ли это или нет, но это, конечно, не тот Stretchr. Тот уже давно не существует. Просто домен того либо протух, либо они его продали (проверил – протух)
💩1
#prog #cpp #article
Sanitizers are widely used compiler features that detect undefined behavior and resulting vulnerabilities by injecting runtime checks into programs. For better performance, sanitizers are often used in conjunction with optimization passes. But doing so combines two compiler features with conflicting objectives. While sanitizers want to expose undefined behavior, optimizers often exploit these same properties for performance. In this paper, we show that this clash can have serious consequences: optimizations can remove sanitizer failures, thereby hiding the presence of bugs or even introducing new ones. We present LookUB, a differential-testing based framework for finding optimizer transformations that elide sanitizer failures. We used our method to find 17 such sanitizer-eliding optimizations in Clang. Next, we used static analysis and fuzzing to search for bugs in open-source projects that were previously hidden due to sanitizer-eliding optimizations. This led us to discover 19 new bugs in Linux Containers, libmpeg2, NTFS-3G, and WINE. Finally, we present an effective mitigation strategy based on a custom Clang optimizer with an overhead increase of 4%.
goto.ucsd.edu/~gleissen/papers/dontlookub.pdf
(thanks @experimentalchill)
Sanitizers are widely used compiler features that detect undefined behavior and resulting vulnerabilities by injecting runtime checks into programs. For better performance, sanitizers are often used in conjunction with optimization passes. But doing so combines two compiler features with conflicting objectives. While sanitizers want to expose undefined behavior, optimizers often exploit these same properties for performance. In this paper, we show that this clash can have serious consequences: optimizations can remove sanitizer failures, thereby hiding the presence of bugs or even introducing new ones. We present LookUB, a differential-testing based framework for finding optimizer transformations that elide sanitizer failures. We used our method to find 17 such sanitizer-eliding optimizations in Clang. Next, we used static analysis and fuzzing to search for bugs in open-source projects that were previously hidden due to sanitizer-eliding optimizations. This led us to discover 19 new bugs in Linux Containers, libmpeg2, NTFS-3G, and WINE. Finally, we present an effective mitigation strategy based on a custom Clang optimizer with an overhead increase of 4%.
goto.ucsd.edu/~gleissen/papers/dontlookub.pdf
(thanks @experimentalchill)
👍9💩1🌚1
О, да, Instagram — место, где я подкармливаю загоны насчёт своей внешности 👌🥹
👍3💩3🤬2❤1👎1
Блог*
По Козьме Пруткову
Вообще на самом деле там действительно есть крохотное заведение по ремонту обуви, но его видно, только если встать прямо напротив входа
🌚4💩1
Блог*
#prog #rust Как-то так получилось, что я пишу документацию к std.
Пока разбирали формулировки, другой человек открыл свой PR, и в итоге смержили его. Пришлось мне свой закрыть.
UPD: чего плачете? Конечно, моё самолюбие слегка пострадало, но цель-то состояла в том, чтобы это поведение было задокументировано, и она в итоге достигнута
UPD: чего плачете? Конечно, моё самолюбие слегка пострадало, но цель-то состояла в том, чтобы это поведение было задокументировано, и она в итоге достигнута
GitHub
Document `const {}` syntax for `std::thread_local`. by Nilstrieb · Pull Request #110620 · rust-lang/rust
It exists and is pretty cool. More people should use it.
It was added in #83416 and stabilized in #91355 with the tracking issue #84223.
It was added in #83416 and stabilized in #91355 with the tracking issue #84223.
😢7💩2👍1
#prog #rust #article
Bringing runtime checks to compile time in Rust
Конкретно речь идёт об индексации массивов и слайсинге.
Bringing runtime checks to compile time in Rust
Конкретно речь идёт об индексации массивов и слайсинге.
Kai Kaufman’s tech blog
Bringing runtime checks to compile time in Rust
Learn how to take advantage of some neat Rust features to help you write better code.
❤2💩1
Forwarded from gigabíto
когда я хорошо выучил питон, то выяснилось что это абстракция над сями. поэтому не надо себя вести как будто это абстракция над с++
💩12