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

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