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

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

пт, 23 август 2024, 14:00 (GMT+03:00)
Бесплатно
Есть трансляция
PVS-Studio

Теги:

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

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