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

Продолжение нового цикла лекций ФСТЭК России для специалистов в области разработки ПО и информационной безопасности — об уровнях статического анализа и алгоритмах анализа, которые следует применять на каждом из них. Во второй лекции цикла, представленного Федеральной службой по техническому и экспортному контролю Российской Федерации для специалистов, занимающихся безопасной разработкой и сертификацией ПО, рассказывается об уровнях статического анализа и алгоритмах, которые работают на разных уровнях. Лекция поможет разобраться в том, что такое абстрактная интерпретация и символьное выполнение, какие бывают подходы к межпроцедурному анализу, а также какие типовые ошибки в программах можно найти с помощью статического анализа. С лекцией выступает Андрей Белеванцев, специалист с более чем 20-летним опытом работы над оптимизацией программ статистического анализа. Ссылки на информационные ресурсы (профильные Telegram-каналы и чаты): - @sdl_static — чат, статический анализ и вопросы использования svace; - @sdl_dynamic — чат, динамический анализ; - @sdl_community — чат, вопросы сообщества по анализу интерпретаторов / виртуальных машин и разделению типовых активностей; - @sdl_inform — канал, общие вопросы; - @sdl_flood — неофициальный ресурс для неформальных вопросов В основу виртуального курса легли выступления специалистов ФГБУН «Институт системного программирования имени В.П. Иванникова Российской академии наук». Видеолекции курса подготовлены Медиа Группой «Авангард» и...