BIS TV ИСП РАН Статический анализ и компилируемые языки (Дмитрий Журихин)
🎯 Загружено автоматически через бота:
🚫 Оригинал видео:
📺 Данное видео является собственностью канала BIS TV. Оно представлено в нашем сообществе исключительно в информационных, научных, образовательных или культурных целях. Наше сообщество не утверждает никаких прав на данное видео. Пожалуйста, поддержите автора, посетив его оригинальный канал: @BISTVru.
✉️ Если у вас есть претензии к авторским правам на данное видео, пожалуйста, свяжитесь с нами по почте support@, и мы немедленно удалим его.
📃 Оригинальное описание:
Что такое перехват сборки и зачем он нужен, какие существуют стратегии использования результатов сборки и вопросы хранения промежуточных данных — в очередном выпуске цикла ФСТЭК России о современных методах безопасной разработки ПО.
Седьмая лекция курса, опубликованного Федеральной службой по техническому и экспортному контролю для специалистов, занимающихся безопасной разработкой и сертификацией ПО, посвящена задачам практического применения статического анализатора к исходным текстам компилируемых языков.
В этой лекции объясняется, для чего применяют автоматическое определение целей анализа с помощью перехвата сборки, какие препятствия при этом могут возникнуть и какие сложности способен решить статический анализатор Svace, разработанный в ИСП РАН. Также в видео рассказывается о дополнительных возможностях перехвата сборки и нюансах поддержки анализа различных языков программирования.
Материал читает Дмитрий Журихин, специалист по вопросам разработки статического анализа ИСП РАН.
Ссылки на информационные ресурсы (профильные Telegram-каналы и чаты):
- @sdl_static — чат, статический анализ и вопросы использования svace;
- @sdl_dynamic — чат, динамический анализ;
- @sdl_community — чат, вопросы сообщества по анализу интерпретаторов / виртуальных машин и разделению типовых активностей;
- @sdl_inform — канал, общие вопросы;
- @sdl_flood — неофициальный ресурс для неформальных вопросов
В основу виртуального курса легли выступления специалистов ФГБУН «Институт системного программирования имени В.П. Иванникова Российской академии наук». Видеолекции курса подготовлены Медиа Группой «Авангард» и публикуются в продолжение проекта «ИБ-лекторий».
Программа цикла лекций:
• Лекция 1. Введение в статический анализ
• Лекция 2. Подходы к статическому анализу
• Лекция 3. Введение в компиляцию
• Лекция 4. Безопасная компиляция
• Лекция 5. Общие задачи практического применения статического анализатора исходных текстов
• Лекция 6. Интеграция статического анализа с жизненным циклом безопасного ПО
➤ Лекция 7. Задачи практического применения статического анализатора к исходным текстам компилируемых языков
• Лекция 8. Статический анализ исходных текстов компилируемых языков
Подписывайтесь на BIS TV:
BIS Journal — новости и аналитика мира ИБ:
Facebook:
Twitter:
Instagram:
Telegram:
#ИнформационнаяБезопасность #ibbank
Информация предназначена для зрителей старше 16 лет.
1 view
0
0
8 months ago 00:02:34 1
Israel und Palästina: die anderen Protagonisten | Mit offenen Karten - im Fokus | ARTE
8 months ago 01:17:11 1
🎬Michael Vogt EXCLUSIV: Über sein Leben, seinen Zusammenbruch und das Ende von
8 months ago 00:59:51 1
America First - Bilanz einer Amtszeit (1/3) | Doku HD Reupload | ARTE
8 months ago 00:03:57 2
Hubert Kah - Engel 07 (Spielbude 1984)
8 months ago 00:14:26 1
Kriegsschuld und Kekse im russischen Staats TV | Fake News | ARTE
8 months ago 00:22:46 1
Reiten mit System | Dressurlehrgang Christoph Hess | Gestüt Tannenhof
8 months ago 00:00:59 1
Dr. Wodarg warnt: WHO-Vertrag birgt globale Gesundheitsdiktatur in sich
8 months ago 00:58:15 1
Hauser und Strasser: So kommen wir aus den WHO-Verträgen heraus!
8 months ago 00:03:36 1
Alles Gute Zum Geburtstag - Frank Zander alias Fred Sonnenschein & Die Hamster
8 months ago 00:29:54 1
Baut KI bald unsere Häuser? | Twist | ARTE
8 months ago 00:52:51 1
Unendliche Weiten - Unser Universum (3/3) | Doku HD | ARTE
8 months ago 00:53:23 1
Das Zentrum - Unser Universum (2/3) | Doku HD | ARTE
8 months ago 00:04:47 1
Dianas schicker Wasserkocher macht sich gut auf jedem Kaffeetisch | PEARL TV Oktober 2023
8 months ago 00:53:20 1
Götter und Dämonen - Unser Universum (1/3) | Doku HD | ARTE
8 months ago 01:14:38 1
Die ganze Welt in einem Bild: Caravaggios Geheimnisse | Doku HD | ARTE
8 months ago 00:00:37 1
Широ: я вообще английский не знаю отъ*бись))
8 months ago 00:26:05 4
➡️ UPDATE: Israel - Weitet es sich aus?! Visionen Nancy Holten- Was ist zu tun?
8 months ago 00:27:13 2
Der Maskenmann sagt Danke | Maskenmann TV Realtalk
8 months ago 00:35:08 1
Джошуа Белл играет скрипичный концерт Брамса
8 months ago 00:09:15 1
Viols d’enfants... La fin du silence ? Affaire Dalila - Le réseau continu... En toute impunité !!!
8 months ago 00:05:21 2
Kult Elastolin: Leidenschaft für Spielzeug-Figuren | Frankenschau | BR
8 months ago 01:05:26 1
Das große Interview mit Dr. Jürgen Todenhöfer – München
8 months ago 00:58:29 1
🔥 WELTENBRAND: Gor Rassadin über Apokalypse, Kataclysmus und die Chance auf Wandel! 🔄
8 months ago 00:41:16 2
Weltgefahr: Höchstgrad-Freimaurerei | 08. Januar 2023 |