Андрей Карпов: Опыт разработки статического анализатора кода
Один из основателей проекта PVS-Studio расскажет об опыте разработки статического анализатора кода C . У инструментов статического анализа кода существует “проблема айсберга“. От пользователей скрыты сложные механизмы анализа кода, и иногда им кажется, что статические анализаторы – это просто какие-то утилиты, ищущие опечатки с помощью регулярных выражений. Автор доклада постарается в общих чертах описать, как всё обстоит на самом деле. Он покажет на примерах, почему нормальный анализ с помощью регулярных выражений нереализуем, что такое Data Flow анализ, а также расскажет о других технологиях, применяемых при анализе кода. Вкратце будет затронут вопрос использования нейронных сетей, обсуждение которых сейчас является очень модной темой, и рассказано, почему с точки зрения анализа кода отношение к этому направлению является очень скептическим.
6 views
621
193
2 days ago 00:29:59 3.9K
альбом НА ОСКОЛКАХ ДЕКАБРЯ - Рустэм Султанов 2024г 8 треков SmoothJazz
2 days ago 00:04:29 2
“Утихнут звуки“ Дети Ветра
4 days ago 00:07:24 3.1K
. Чемпионат мира. (HD) Россия - Словакия (Финал)
5 days ago 00:20:22 312
“Готов Ответить“. Андрей Карпов о проектах-победителях конкурса по созданию комфортной городской среды
6 days ago 00:21:17 12
[HistoryMarche] Battle of Carpi, 1701 ⚔️ Prince Eugene’s speed surprises the French ⚔️ Part 4
6 days ago 01:38:45 1.2K
Стены Русского Севера | Документальный фильм | 2023
1 week ago 00:03:50 882
Gwen Stefani - Somebody Else’s (Music Video)
1 week ago 00:03:44 949
. Чемпионат мира. (HD) Словакия - Россия
1 week ago 00:00:38 9
️ ️Andrey Guruliev : « Il ne restera plus rien de l’Amérique. Il n’y aura ni Biden ni Trump. »
1 week ago 00:02:39 56
. Чемпионат мира (HD) Россия - Швеция
1 week ago 05:52:58 252
90. СТРИМ пятница же Дзинь-дзинь🎶 -
2 weeks ago 00:32:04 72
[TV2media] Пришло время идиотов, как в 1917-м // Андрей Карпов
2 weeks ago 00:00:19 43
‼️Un député a été arrêté alors qu’il acceptait un pot-de-vin de 3 millions de roubles dans une épicerie
Le choix du public Andr
2 weeks ago 00:49:50 89
Свадебный переполох. Екатерина Волкова и Андрей Карпов() (360p).mp4
2 weeks ago 01:27:17 15
Из Украины делают армию для защиты Европы | ЧТО БУДЕТ |
2 weeks ago 00:00:24 292
Фильм “Нормальная такая жизнь“ (Россия, 2023, реж. Антонина Гилёва).
2 weeks ago 00:20:50 163
Час Пик год, Анатолий Карпов
2 weeks ago 00:01:33 1
Депутат правящей партии Лилиан Карп пообещал придворному телеведущему, что списки потенциальных министров на замену сольют в пуб
2 weeks ago 00:02:32 56
⚡️Les membres nazis des Forces armées ukrainiennes près de Kiev ont fait irruption dans la réunion et ont commencé à « faire un
2 weeks ago 00:02:32 4
️Les membres nazis des Forces armées ukrainiennes près de Kiev ont fait irruption dans la réunion et ont commencé à « faire un c
2 weeks ago 01:09:05 29
Непобедимый. СССР (1983). HD 1080
2 weeks ago 00:58:58 111
Отель мечты MRIYA Resort / Крым, Южный берег / Ялта
2 weeks ago 01:11:45 957
Сложный путь бажена: реальность и ожидания, год
2 weeks ago 00:01:18 1
⭕️ ️ Un habitant de Sébastopol a accepté une attaque terroriste près de la voie ferrée près de la centrale thermique de Balaklav