ИСП РАН — «Основы динамического символьного выполнения. Поиск ошибок при помощи ДСВ»

ИСП РАН — «Основы динамического символьного выполнения. Поиск ошибок при помощи ДСВ»

Динамическое символьное выполнение — это важный этап сертификационных испытаний ПО на высокий уровень доверия. Вводная лекция об основах ДСВ и о том, как выявлять с его помощью ошибки в коде — третья по счёту в цикле, выпущенном Федеральной службой по техническому и экспортному контролю для специалистов в области безопасной разработки и сертификации ПО. Материал рассказывает Андрей Федотов, кандидат технических наук, руководитель лаборатории динамического символьного выполнения Института системного программирования РАН. Из лекции вы узнаете о преимуществах и недостатках двух способов проведения символьной интерпретации, а также об особенностях работы с Sydr — инструментом для проведения ДСВ, созданным специалистами ИСП РАН. Кроме того, лектор укажет на причины замедления при символьной интерпретации и расскажет о типовых чекерах для поиска ошибок.

В основу виртуального курса легла программа №31 повышения квалификации специалистов «Техническая защита информации. Инструментальная и технологическая поддержка проведения фаззинг-тестирования программного обеспечения». Курс лекций разработан ФСТЭК России с участием НОУ ДПО «Центр повышения квалификации специалистов по технической защите информации» (г. Воронеж) и ФГБУН «Институт системного программирования им. В.П.Иванникова Российской академии наук» (г. Москва).
Видеолекции курса подготовлены Медиа Группой «Авангард» и публикуются в продолжение проекта «ИБ-лекторий».

Программа цикла лекций:
• Лекция 1. Особенности фаззинг-тестирования при проведении сертификационных испытаний
• Лекция 2. Подходы к фаззинг-тестированию управляемого кода
➤ Лекция 3. Основы динамического символьного выполнения. Поиск ошибок при помощи динамического символьного выполнения
• Лекция 4. Инструментальная и технологическая поддержка проведения фаззинг-тестирования программного обеспечения
• Лекция 5. Практический фаззинг Linux-приложения
• Лекция 6. Распараллеливание фаззинг-тестирования
• Лекция 7. Введение в статический и динамический анализ драйверов Windows

Информация предназначена для зрителей старше 16 лет.

 

18 июня, 2021

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

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

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

30.03.2023
Рост цен на ПО: отсутствие конкуренции или издержки производителей?
30.03.2023
Фишинговая активность преодолела спад, вызванный внешнеполитической ситуацией
30.03.2023
Фишинг пришёл за налогами
30.03.2023
Банк России: Уже в следующем году мы сможем отказаться от атавизма в виде личного присутствия при открытии счёта
29.03.2023
Goldman Sachs: 18% рабочих мест во всём мире могут быть автоматизированы
29.03.2023
Австралийская компания Meriton стала жертвой кибератаки
29.03.2023
Информация о выданном кредите постфактум не решит проблемы мошенничества
29.03.2023
Clop: «Скоро здесь появится утечка данных из Brightline»
29.03.2023
Илон Маск и все-все-все. ИТ-титаны призвали притормозить прогресс ИИ-технологий
29.03.2023
АТОР: Где россияне ещё могут оформить карты Visa и Masterсard

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

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

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