23 августа в 14:00 (мск) состоится вебинар на тему: ГОСТ Р 71207–2024 — Статический анализ программного обеспечения. Технологии анализа кода.

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

Практические примеры, как работают технологии статического анализа и какие ошибки можно с их помощью выявлять:

• анализ иерархии классов;
• внутрипроцедурный анализ потоков данных и управления;
• межмодульный контекстно-чувствительный анализ потока данных;
• статистический анализ;
• и так далее