BIS TV ИСП РАН Статический анализ и интерпретируемые языки (Александр Волков)

🎯 Загружено автоматически через бота: 🚫 Оригинал видео: 📺 Данное видео является собственностью канала BIS TV. Оно представлено в нашем сообществе исключительно в информационных, научных, образовательных или культурных целях. Наше сообщество не утверждает никаких прав на данное видео. Пожалуйста, поддержите автора, посетив его оригинальный канал: @BISTVru. ✉️ Если у вас есть претензии к авторским правам на данное видео, пожалуйста, свяжитесь с нами по почте support@, и мы немедленно удалим его. 📃 Оригинальное описание: Восьмая лекция цикла ФСТЭК России о современных методах безопасной разработки ПО посвящена вопросам статического анализа интерпретируемых языков программирования. В завершающей лекции виртуального курса, который Федеральная служба по техническому и экспортному контролю разместила для специалистов по безопасной разработке и сертификации ПО, рассматриваются особенности статического анализа интерпретируемых языков программирования. Слушатели лекции узнают, что такое динамическая типизация, для чего она нужна, в чём заключается динамичность интерпретируемых языков и какие ошибки интерпретируемых языков положено искать с помощью статического анализа. Также в лекции рассказывается о том, какие задачи позволяют решать инструменты статического анализа при выполнении нетривиальных видов анализа. Материал читает Александр Волков, специалист по разработке инструментов статического анализа исходного кода в ИСП РАН. Ссылки на информационные ресурсы (профильные Telegram-каналы и чаты): - @sdl_static — чат, статический анализ и вопросы использования svace; - @sdl_dynamic — чат, динамический анализ; - @sdl_community — чат, вопросы сообщества по анализу интерпретаторов / виртуальных машин и разделению типовых активностей; - @sdl_inform — канал, общие вопросы; - @sdl_flood — неофициальный ресурс для неформальных вопросов В основу виртуального курса легли выступления специалистов ФГБУН «Институт системного программирования имени В.П. Иванникова Российской академии наук». Видеолекции курса подготовлены Медиа Группой «Авангард» и публикуются в продолжение проекта «ИБ-лекторий». Программа цикла лекций: • Лекция 1. Введение в статический анализ • Лекция 2. Подходы к статическому анализу • Лекция 3. Введение в компиляцию • Лекция 4. Безопасная компиляция • Лекция 5. Общие задачи практического применения статического анализатора исходных текстов • Лекция 6. Интеграция статического анализа с жизненным циклом безопасного ПО • Лекция 7. Задачи практического применения статического анализатора к исходным текстам компилируемых языков ➤ Лекция 8. Статический анализ исходных текстов компилируемых языков Подписывайтесь на BIS TV: BIS Journal — новости и аналитика мира ИБ: Telegram: #ИнформационнаяБезопасность #ibbank Информация предназначена для зрителей старше 16 лет.