ИСП РАН — Введение в компиляцию (Д. Мельник)

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

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

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

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

Компания

Тег

Смотрите также

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

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

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

22/07/2024
Банки, МФО, инвесткомпании и брокеры просят защитить их от «ковровых» атак
19/07/2024
Глобальный сбой загнал компьютеры на Windows в «вечную» перезагрузку
19/07/2024
CrowdStrike: Это не инцидент безопасности или кибератака
19/07/2024
«Верификация и идентификация абонентов — главная задача»
19/07/2024
«Т-Банк» приглашает сыграть в азартные игры с опасными людьми
19/07/2024
«Ростелеком» пополнился разработчиком госинформсистем
18/07/2024
Власти обяжут СМИ импортозаместить профильное ПО и ИБ-решения?
18/07/2024
Банкирам кратно увеличат штрафы за мисселинг уже в этом году
18/07/2024
Шакал против чёрных топоров: Интерпол обескровил африканских мошенников
18/07/2024
«Хорошие мальчики» позаботятся о физической безопасности ЦОДов

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

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

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