Как найти UB, которое никто не хочет замечать: разбираем clang-tidy изнутри

info@vsetut.pro

Стать автором

Вернуться

01.04.2026 14:52:27 | Хабр

Хабы: Блог компании YADRO, C++, Компиляторы, Анализ и проектирование систем

Привет, Хабр! Меня зовут Анастасия Черникова, я занимаюсь разработкой компиляторных технологий и инструментов на базе LLVM в Синтакоре.

Неопределенное поведение (undefined behavior, UB) по-разному выглядит с точки зрения компилятора и разработчика. Для первого оно, как правило, открывает дополнительные возможности для оптимизации. Для программиста же UB может стать проблемой, особенно если оно остается незамеченным и не учитывается при разработке.

В этой статье рассмотрим подход к поиску UB с использованием статического анализа. В качестве примера я использую clang-tidy: сначала разберу, как устроены существующие чекеры и как работают AST matchers, а затем покажу, как расширять их и добавлять собственные проверки, если стандартных возможностей оказывается недостаточно.

Отправимся на поиски и поимку UB →

Подробнее

Читайте также

Evil Merge: как малварь пряталась в git merge-коммите 3,5 месяца
01.04.2026 14:46:22 | Хабр

Профессия разработчик полностью исчезнет в ближайшем будущем
01.04.2026 14:43:57 | Хабр

Как мы заменяли Zscaler, или концепция Secure Access Service Edge (SASE) с Kaspersky SD-WAN
01.04.2026 14:22:30 | Хабр

Anthropic подтвердила утечку кода популярного ИИ Claude
01.04.2026 14:15:30 | ferra.ru

Это вам не шутки: как я пыталась отучить LLM петросянить
01.04.2026 14:15:15 | Хабр

Испытательный срок в IT не работает
01.04.2026 14:12:13 | Хабр

Логисты предупредили о риске ухода с рынка до 80% игроков из-за законопроекта о поддержке «Почты России»
01.04.2026 14:09:12 | vc.ru

Как продвигать сайт в 2026 году. SEO и GEO
01.04.2026 14:08:09 | Хабр

ORC in Hive/Spark — “анатомия” файла, индексация и фильтр Блума
01.04.2026 14:00:07 | Хабр

Как бизнесу стать технологичнее без перестройки подразделений
01.04.2026 13:50:02 | Хабр

Подарочные карты для российского App Store пропадают с маркетплейсов и из сервисов-посредников, а оставшиеся продаются с наценкой до 80% от номинала
01.04.2026 13:47:35 | vc.ru

СМИ: складной Huawei Pura X2 получит новый дизайн камеры «в стиле iPhone Air»
01.04.2026 13:43:59 | ferra.ru

Насмотренность — ловушка. Что на самом деле развивает продуктового дизайнера
01.04.2026 13:40:49 | Хабр

Ростех создал очки для поддержания биоритмов в условиях полярной ночи
01.04.2026 13:30:45 | ferra.ru

6 способов выбесить кандидата в вакансии и как их избежать
01.04.2026 13:25:09 | Хабр

Ну‑ка, посмотрим, что там у Claude Code…
01.04.2026 13:23:32 | Хабр

YOLOv11 и RF-DETR для object detection в видео. Добавление временных характеристик с помощью суперкадра
01.04.2026 13:16:01 | Хабр

BI-аналитика или Excel: где вести аналитику компаниям?
01.04.2026 13:13:54 | Хабр

В России нашли способ сделать раковые клетки беззащитными перед терапией
01.04.2026 13:12:48 | ferra.ru

Оптимизация производительности во Flutter
01.04.2026 13:09:39 | Хабр

[Перевод] Как выбирают свой путь призраки в Pac-Man
01.04.2026 13:01:49 | Хабр

Ведьма, чума, компьютер и ИИ: как человечество приручало неизвестное
01.04.2026 12:54:46 | Хабр

7 странных трендов привычек из TikTok
01.04.2026 12:49:46 | Хабр

Как автор книг по Kotlin проверял мой проект: разбор ошибок в Coroutines и архитектуре
01.04.2026 12:46:02 | Хабр

Игровые серверы на Cozystack: первоапрельская нешутка
01.04.2026 12:38:51 | Хабр

добавил(-а) Вас в канал в МАХ
01.04.2026 12:33:04 | Хабр

Студенты разработали дрон для доставки лекарств в труднодоступные районы
01.04.2026 12:31:25 | ferra.ru

К Perplexity подали коллективный иск — компанию обвинили в передаче Google и Meta* персональной информации пользователей
01.04.2026 12:26:29 | vc.ru

Почему один HR не спасёт бизнес
01.04.2026 12:23:04 | Хабр

Google выпустит фитнес-браслет без экрана
01.04.2026 12:20:33 | ferra.ru

Apple Developer enrollment и Unknown Error: как «неизвестная» ошибка оказалась региональным ограничением
01.04.2026 12:15:56 | Хабр

Делаем принт-сервер из старого ADSL модема
01.04.2026 11:50:59 | Хабр

5 неочевидных возможностей системы защиты от протечки воды и как настроить ее под свои привычки и быт
01.04.2026 11:45:50 | Хабр

ИИ Apple неожиданно появился в Китае и… пропал
01.04.2026 11:44:00 | ferra.ru

Антенны для мобильной связи запустили в небо
01.04.2026 11:26:04 | it-world

Смотреть все

НОВОСТИ

В Иране под ударами США и Израиля повреждены более 115 тыс. мирных объектов
01.04.2026 19:16:58 | Life.ru

Хоккеисты "Металлурга" вышли в четвертьфинал Кубка Гагарина
01.04.2026 19:14:51 | ТАСС

Испытания второго самолета "Танго" S7 Group начнутся в апреле
01.04.2026 19:14:06 | ТАСС

2027 год объявлен в Румынии годом первого в истории лидера рейтинга ATP Настасе
01.04.2026 19:12:59 | ТАСС

МИД Ирана назвал геноцидом удары США и Израиля по иранским школам
01.04.2026 19:12:34 | ТАСС

На Запорожье восстановят пришедшую в негодность при Украине инфраструктуру
01.04.2026 19:11:15 | ТАСС

В США продали бутылку вина 1945 года за рекордную сумму всех времен
01.04.2026 19:10:00 | Российская Газета

Путин призвал допустить пророссийские политические силы до выборов в Армении
01.04.2026 19:08:29 | Lenta.ru

Индия намерена открыть в Марокко производство истребителей
01.04.2026 19:07:00 | Российская Газета

Росстат: добыча угля в России в январе - феврале снизилась на 7,1%
01.04.2026 19:06:23 | ТАСС

17 дронов ВСУ перехвачено за девять часов над регионами РФ и Азовским морем
01.04.2026 19:05:53 | Life.ru

ФАС напомнила производителям куриных яиц о запрете на необоснованное повышение цен
01.04.2026 19:05:49 | ТАСС

Росстат: Россия увеличила суммарную добычу газа за два месяца на 9%
01.04.2026 19:05:28 | ТАСС

Две страны резко снизили импорт российской пшеницы
01.04.2026 19:05:07 | Lenta.ru

Росстат: промпроизводство в РФ в феврале снизилось на 0,9%
01.04.2026 19:04:09 | ТАСС

Эксперт Шмелева: ИТС важны для подготовки кадров для ИИ на транспорте
01.04.2026 19:04:05 | ТАСС

Раненого при атаке на Белгородскую область подростка доставили в РДКБ
01.04.2026 19:03:58 | ТАСС

Лихачев: ситуация вокруг АЭС "Бушер" вызывает большую тревогу
01.04.2026 19:03:54 | ТАСС

Макрон и премьер Японии обменялись жестами из аниме Dragon Ball
01.04.2026 19:03:53 | Life.ru

Макрон и премьер Японии Такаити обменялись жестами из аниме Dragon Ball
01.04.2026 19:03:53 | Life.ru

На Шри-Ланке приготовились к отмене виз для россиян
01.04.2026 19:03:12 | Lenta.ru

В России годовая инфляция на 30 марта зафиксирована на уровне 5,86%
01.04.2026 19:03:11 | ТАСС

В ГД предложили уведомлять по СМС о начале цветения аллергенных растений
01.04.2026 19:03:06 | ТАСС

"Газпром нефть" по итогам 2025 года сократила чистую прибыль по РСБУ в 1,5 раза
01.04.2026 19:03:02 | ТАСС

Годовой ВВП РФ в феврале снизился на 1,5% после 2,1% в январе
01.04.2026 19:02:52 | ТАСС

Средний размер зарплаты в России в январе 2026 года превысил 103 тыс. рублей
01.04.2026 19:02:41 | ТАСС

В НАО ввели режим повышенной готовности из-за весеннего половодья
01.04.2026 19:02:38 | ТАСС

Средний размер пенсий в РФ феврале 2026 года составил 25 262 рубля
01.04.2026 19:02:32 | ТАСС

Российская станция станет первой в мире платформой-дроном
01.04.2026 19:02:27 | Lenta.ru

Оборот розничной торговли РФ в феврале вырос на 0,3%
01.04.2026 19:02:21 | ТАСС

Оборот заведений общепита в РФ в феврале вырос на 6,8%
01.04.2026 19:02:14 | ТАСС

Доля убыточных организаций в РФ в январе составила 38%
01.04.2026 19:02:03 | ТАСС

Сельхозпроизводство в России в январе - феврале выросло на 0,7%
01.04.2026 19:01:52 | ТАСС

В РФ планируют запустить международный инженерный конкурс имени Бетанкура
01.04.2026 19:01:50 | ТАСС

Огурцы в России с 24 по 30 марта подешевели на 4,2%
01.04.2026 19:01:44 | ТАСС

Все новости

ВСЕ НОВОСТИ

ПИШИТЕ

Техническая поддержка проекта ВсеТут

info@vsetut.pro