ГОСТ Р 71207–2024 — Статический анализ программного обеспечения. Технологии анализа кода

03:18 Методы анализа
04:22 Вспомогательные методы анализа
04:43 Анализ помеченных данных
06:26 Анализ на синтаксическом уровне
09:54 Внутрипроцедурный анализ потоков данных и управления
17:30 Межпроцедурный контекстно-чувствительный анализ
21:23 Межмодульный контекстно-чувствительный анализ потока данных
25:28 Чувствительный к путям выполнения анализ потоков данных и управления
28:45 Рекомендации использования некоторых технологий


Четвёртый из пяти вебинаров, посвящённых введённому в 2024 году стандарту по методологии статического анализа кода. Чтобы обеспечить поиск критических ошибок на высоком уровне, стандарт описывает методы анализа, которые должны быть реализованы в статических анализаторах. Посмотрим на практических примерах, как работают технологии статического анализа и какие ошибки можно с их помощью выявлять:
анализ иерархии классов;
внутрипроцедурный анализ потоков данных и управления;
межмодульный контекстно-чувствительный анализ потока данных;
статистический анализ (да, да, именно статистический :);
и так далее.

Приятного просмотра и чистого кода :)

----------------------------------------------------------------------------------------------
🎁Попробовать PVS-Studio бесплатно в течение месяца:
https://pvs-studio.ru/youtube_ru

📬Наша поддержка:
https://pvs-studio.com/ru/about-feedb...

----------------------------------------------------------------------------------------------
Полезные ссылки:

----------------------------------------------------------------------------------------------
Website: https://pvs-studio.com
Facebook:   / staticcodeanalyzer  
Twitter:   / code_analysis  
Instagram:   / pvsstudio  
Vk: https://vk.com/pvsstudio_rus

Additional sound effects from https://www.zapsplat.com

#PVSStudio