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

	Fri, 23 August 2024, 14:00 (GMT+03:00)
	Free
	Stream available

Tags: online pvs_studio static analyzer cpp webinar

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

⁃ анализ иерархии классов;
⁃ внутрипроцедурный анализ потоков данных и управления;
⁃ межмодульный контекстно-чувствительный анализ потока данных;
⁃ статистический анализ (да, да, именно статистический :);
⁃ и так далее.

Community

PVS-Studio