Блог*
前往频道在 Telegram
Блог со звёздочкой. Много репостов, немножко программирования. Небольшое прикольное комьюнити: @decltype_chat_ptr_t Автор: @insert_reference_here
显示更多1 924
订阅者
+224 小时
-67 天
-930 天
帖子存档
1 924
Пока разбирали формулировки, другой человек открыл свой PR, и в итоге смержили его. Пришлось мне свой закрыть.
UPD: чего плачете? Конечно, моё самолюбие слегка пострадало, но цель-то состояла в том, чтобы это поведение было задокументировано, и она в итоге достигнута
1 924
Вообще на самом деле там действительно есть крохотное заведение по ремонту обуви, но его видно, только если встать прямо напротив входа
1 924
Снял в аэропорту в день отлёта. То есть археологическое наследие сохранять надо, а собственное население — нет 😒
1 924
#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)
1 924
Кстати, прочитал обе части "За стенкой" вскоре после прилёта (а читать начал вообще в самолёте).
Милая история, но количество совпадений в сюжете делает его менее убедительным и более похожим на сказку. С другой стороны, пасторальным сюжет тоже не назвать: главные герои проходят через множество трудностей в настоящем времени, да и в прошлом у обоих хватает травматичных событий (я серьёзно, временами было тяжело читать).
В общем, я в замешательстве. Не могу рекомендовать к прочтению — чуточку недостаточно хорошая для этого книга, на мой вкус. Разумеется, YMMV.
现已上线!2025 年 Telegram 研究 — 年度关键洞察 
