ИСП РАН — Статический анализ и компилируемые языки (Дмитрий Журихин)

ИСП РАН — Статический анализ и компилируемые языки (Дмитрий Журихин)

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

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

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

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

28 апреля, 2022

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

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

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

02.06.2023
«Никогда этого делать не будем». В Купертино ответили на обвинения ФСБ
02.06.2023
ЦБ РФ: Партнёрство между банками может помочь снижению затрат на ИТ
02.06.2023
В CrowdStrike видят развитие ИИ-технологий как гонку вооружений
02.06.2023
В Сеть слили БД пользователей платформы «Российская электронная школа»
02.06.2023
«Росатом» готовится привлечь тысячи специалистов по искусственному интеллекту и кибербезопасности
01.06.2023
Продаваемые устройства могут быть заражены вредоносным ПО
01.06.2023
Чтобы наказать хакеров, надо менять процессуальное законодательство
01.06.2023
10-й Юбилейный форум ВБА-2023 «Вся банковская автоматизация»: подготовка набирает обороты
01.06.2023
Китайская группировка расширила свою деятельность на Ближний Восток
01.06.2023
Активность мошенников растёт соразмерно популярности Telegram

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

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

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