ИСП РАН — Подходы к статическому анализу (лектор А. Белеванцев)

Во второй лекции цикла, представленного Федеральной службой по техническому и экспортному контролю Российской Федерации для специалистов, занимающихся безопасной разработкой и сертификацией ПО, рассказывается об уровнях статического анализа и алгоритмах, которые работают на разных уровнях. Лекция поможет разобраться в том, что такое абстрактная интерпретация и символьное выполнение, какие бывают подходы к межпроцедурному анализу, а также какие типовые ошибки в программах можно найти с помощью статического анализа. С лекцией выступает Андрей Белеванцев, специалист с более чем 20-летним опытом работы над оптимизацией программ статистического анализа.

Ссылки на информационные ресурсы (профильные Telegram-каналы и чаты):
- @sdl_static — чат, статический анализ и вопросы использования svace;
- @sdl_dynamic — чат, динамический анализ;
- @sdl_community — чат, вопросы сообщества по анализу интерпретаторов / виртуальных машин и разделению типовых активностей;
- @sdl_inform — канал, общие вопросы;
- @sdl_flood — неофициальный ресурс для неформальных вопросов

В основу виртуального курса легли выступления специалистов ФГБУН «Институт системного программирования имени В.П. Иванникова Российской академии наук». Видеолекции курса подготовлены Медиа Группой «Авангард» и публикуются в продолжение проекта «ИБ-лекторий».

Программа цикла лекций:
• Лекция 1. Введение в статический анализ
➤ Лекция 2. Подходы к статическому анализу
• Лекция 3. Введение в компиляцию
• Лекция 4. Безопасная компиляция
• Лекция 5. Общие задачи практического применения статического анализатора исходных текстов
• Лекция 6. Интеграция статического анализа с жизненным циклом безопасного ПО
• Лекция 7. Задачи практического применения статического анализатора к исходным текстам компилируемых языков
• Лекция 8. Статический анализ исходных текстов компилируемых языков

Компания

Смотрите также

Подписаться на новости BIS Journal / Медиа группы Авангард

Подписаться
Введите ваш E-mail

Отправляя данную форму вы соглашаетесь с политикой конфиденциальности персональных данных

15/09/2025
Банк России — о необоснованной блокировке счетов физлиц
15/09/2025
С октября в банковских приложениях появится новая антифрод-ступень
15/09/2025
Массовые обзвоны без согласия абонентов запрещены (но не всем)
15/09/2025
CISA запускает дорожную карту программы «Общие уязвимости и риски»
15/09/2025
Пользователей ChatGPT с «типично женскими» никами стало больше, чем с «типично мужскими»
12/09/2025
Албания доверила госзакупки искусственному интеллекту
12/09/2025
На «Госуслугах» теперь можно запретить себе SIM-карту
12/09/2025
Даркнет сам приходит к «Максу»?
12/09/2025
Половина россиян не одобряет блокировку звонков в мессенджерах
12/09/2025
Злоупотребление удалённым доступом — предвестник появления вымогателей

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

Поля, обозначенные звездочкой, обязательные для заполнения!

Отправляя данную форму вы соглашаетесь с политикой конфиденциальности персональных данных