Ближайшая конференция: С Russia 2023, 11–12 мая (Online), 23–24 мая (Offline)
Подробности и билеты:
— —
Рассмотрим технологию межмодульного анализа C проектов. Поговорим о том, как эта технология влияет на качество предупреждений, выдаваемых компиляторами и анализаторами кода. Во время работы анализатор проверяет только один исходный файл, не имея информации о том, что находится в других файлах проекта. Межмодульный анализ позволяет дать информацию анализатору о полной структуре проекта, делая анализ более точным и качественным. Это очень схоже с задачей оптимизации на этапе компоновки (Link Time Optimization, LTO). Таким образом, анализатор может узнать поведение той или иной внешней функции из другого файла проекта и выдать срабатывание, к примеру, на разыменование нулевого указателя, переданного как аргумент внешней функции.
Доклад будет интересен С программистам, которые хотят больше узнать о возможностях компилятора, посмотреть на технологии, которые используются в статическом анализе, и посмотреть интересные ошибки, найденные в известных проектах с помощью этих технологий.
Скачать презентацию:
11 views
437
119
2 years ago 01:00:10 11
Олег Лысый — Межмодульный анализ C++ проектов
9 months ago 00:17:44 1
ОЛЕГ “ЛЫСЫЙ “ПРОТИВ МАГИ.
2 years ago 00:32:39 5
Олег Лысый (PVS-Studio) — Прокачиваем LLDB, или LLDB formatters
6 years ago 00:30:48 252
HITMAN 2 - ЛЫСЫЙ АГЕНТ 47 ВЕРНУЛСЯ! (ОБЗОР)
10 years ago 00:07:17 37
Пискунов Олег Сергеевич (М.Мусоргский - “Ночь на лысой горе“)
10 years ago 00:00:11 365
- ЛЫСЫЙ!!! - ЭТО КТО ?! - ЭТО ВИН ДИЗЕЛЬ. ОЛЕГ БРАЙН И ЖЕКА БИОМОД
9 years ago 00:04:14 8
Олег Скобля-Знаю
3 years ago 00:07:27 3
Коктейль ЛЫСЫЙ ИЗ БРАЗЕРС
13 years ago 00:14:45 52
Брат Олег
8 years ago 00:00:54 105
Гитарист-композитор Олег Копенков. Пьеса “Шабаш на Лысой горе“
5 years ago 00:02:02 15
Олег Хорохордин поздравляет с Чага Байрамом-2020
2 years ago 00:51:19 10
ЛЫСЫЙ НЕ ИЗ БРАЗЗЕРС | Resident Evil 4 Remake ►3
3 years ago 00:11:32 3
Олег Юрьев в доме Лохматого
8 years ago 00:04:18 83
Олег Медведев - Красные Сапоги
8 years ago 00:10:09 158
Зачем крестить младенцев? прот. Олег Стеняев
7 months ago 00:03:26 1
Олег Медведев - ГЕРОЙ
4 years ago 00:11:45 1
Кто лучше нарисует 3D ручкой тот НЕ ЛЫСЫЙ Челлендж
1 year ago 00:04:32 72
Олег Майами - Отпусти (Премьера клипа , 2018)
5 years ago 00:11:36 4
ОЛЕГ УКРАЛ ПОСЫЛКУ NEXTRP MTA
5 years ago 00:00:12 27
Олег Хорохордин голосует
4 years ago 00:00:29 31
Трек для конкурса от Олега Изотова и Jackson -Павел Лысов
9 months ago 00:01:06 2
Зеленский: Лишь бы ни один украинец не умер, хоть с чертом лысым договориться готов — легко