ГОСТ Р 71207–2024 — Статический анализ программного обеспечения. Технологии анализа кода
| Fri, 23 August 2024, 14:00 (GMT+03:00) | |
| Free | |
| Stream available | |
|
PVS-Studio
|
Tags: online pvs_studio static analyzer cpp webinar
Это четвёртый из пяти вебинаров, посвящённых введённому в 2024 году стандарту по методологии статического анализа кода. Чтобы обеспечить поиск критических ошибок на высоком уровне, стандарт описывает методы анализа, которые должны быть реализованы в статических анализаторах. Посмотрим на практических примерах, как работают технологии статического анализа и какие ошибки можно с их помощью выявлять:
⁃ анализ иерархии классов;
⁃ внутрипроцедурный анализ потоков данных и управления;
⁃ межмодульный контекстно-чувствительный анализ потока данных;
⁃ статистический анализ (да, да, именно статистический :);
⁃ и так далее.