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

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

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

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

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

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

24 марта, 2022

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

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

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

28.11.2023
Хакеры провели почти 290 тысяч успешных атак на клиентов банков
28.11.2023
«Тинькофф» запретил сотрудникам работать из других стран. Но есть исключения
28.11.2023
300 млрд рублей к 2027 году. В России появится акселератор для вывода игр за рубеж
28.11.2023
До 2030 года Россия потратит 25 млрд рублей на развитие кибербеза
28.11.2023
Клиенты банков теперь смогут переводить средства за рубеж через СБП
27.11.2023
Нацпроект профинансируют за счёт новых акцизов и сборов
27.11.2023
ЛК — о росте числа скамерских атак на российских бухгалтеров
27.11.2023
Роскомнадзор разъяснил порядок функционирования системы «Антифрод»
27.11.2023
Как банкам и бизнесу защитить недвижимость с помощью еженедельного мониторинга
27.11.2023
В России появится единая социальная цифровая платформа

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

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

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