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

03:18 Методы анализа
04:22 Вспомогательные методы анализа
04:43 Анализ помеченных данных
06:26 Анализ на синтаксическом уровне
09:54 Внутрипроцедурный анализ потоков данных и управления
17:30 Межпроцедурный контекстно-чувствительный анализ
21:23 Межмодульный контекстно-чувствительный анализ потока данных
25:28 Чувствительный к путям выполнения анализ потоков данных и управления
28:45 Рекомендации использования некоторых технологий
Четвёртый из пяти вебинаров, посвящённых введённому в 2024 году стандарту по методологии статического анализа кода. Чтобы обеспечить поиск критических ошибок на высоком уровне, стандарт описывает методы анализа, которые должны быть реализованы в статических анализаторах. Посмотрим на практических примерах, как работают технологии статического анализа и какие ошибки можно с их помощью выявлять:
- анализ иерархии классов;
- внутрипроцедурный анализ потоков данных и управления;
- межмодульный контекстно-чувствительный анализ потока данных;
- статистический анализ (да, да, именно статистический :);
и так далее.
Приятного просмотра и чистого кода :)
----------------------------------------------------------------------------------------------
🎁Попробовать PVS-Studio бесплатно в течение месяца:
pvs-studio.ru/...
📬Наша поддержка:
pvs-studio.com...
----------------------------------------------------------------------------------------------
Полезные ссылки:
----------------------------------------------------------------------------------------------
Website: pvs-studio.com
Facebook: / staticcodeanalyzer
Twitter: / code_analysis
Instagram: / pvsstudio
Vk: pvsstud...
Additional sound effects from www.zapsplat.com
#PVSStudio