📣 В целях повышения уровня знаний и умений специалистов в области информационной безопасности ФСТЭК России опубликовал БЕСПЛАТНЫЕ видеолекции:

Особенности фаззинг-тестирования при проведении сертификационных испытаний (https://bdu.fstec.ru/education/videos/2)

Подходы к фаззинг-тестированию управляемого кода (https://bdu.fstec.ru/education/videos/3)

Основы динамического символьного выполнения. Поиск ошибок при помощи динамического символьного выполнения (https://bdu.fstec.ru/education/videos/4)

Инструментальная и технологическая поддержка проведения фаззинг-тестирования программного обеспечения (https://bdu.fstec.ru/education/videos/5)

Практический фаззинг Linux-приложения (https://bdu.fstec.ru/education/videos/6)

Распараллеливание фаззинг-тестирования (https://bdu.fstec.ru/education/videos/7)

Введение в статический и динамический анализ драйверов Windows (https://bdu.fstec.ru/education/videos/8)

Введение в статический анализ. Подходы к обнаружению ошибок, основные понятия статического анализа, виды анализа и примеры ошибок (https://bdu.fstec.ru/education/videos/9)

Подходы к статическому анализу. Уровень абстрактного синтаксического дерева, анализ потока данных, абстрактная интерпретация, символьное выполнение, межпроцедурный анализ. Основные типы ошибок (https://bdu.fstec.ru/education/videos/10)

Введение в компиляцию: основные принципы работы компилятора, фазы компиляции, виды промежуточного представления кода, примеры оптимизаций (https://bdu.fstec.ru/education/videos/11)

Безопасная компиляция. Неопределенное поведение с примерами и последствиями. Снижение критичности уязвимостей. Классы безопасности. Сборка ПО безопасным компилятором (https://bdu.fstec.ru/education/videos/12)

Общие задачи практического применения статического анализатора исходных текстов: определение целей анализа, обеспечение масштабируемости анализа, обеспечение детерминированности анализа (https://bdu.fstec.ru/education/videos/13)

Интеграция статического анализа с жизненным циклом безопасного ПО: представление результатов анализа, верификация результатов и сокрытие ложных срабатываний, хранение данных, поддержка истории результатов анализа (https://bdu.fstec.ru/education/videos/14)

Задачи практического применения статического анализатора к исходным текстам компилируемых языков: перехват сборки, анализ опций компиляции и компоновки, поддержка различных языков программирования, хранение данных (https://bdu.fstec.ru/education/videos/15)

Статический анализ исходных текстов интерпретируемых языков: статическая и динамическая типизация, выведение типов, обработка исключений, рефлексия (https://bdu.fstec.ru/education/videos/16)