Андрей Карпов

22 Авг 2024

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

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

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

Серия вебинаров по тематике ГОСТ:

• ГОСТ Р 71207–2024 — Статический анализ программного обеспечения. Общее описание и актуальность.
• ГОСТ Р 71207–2024 — Статический анализ программного обеспечения. Терминология.
• ГОСТ Р 71207–2024 — Статический анализ программного обеспечения. Критические ошибки.
• ГОСТ Р 71207–2024 — Статический анализ программного обеспечения. Технологии анализа кода.
• ГОСТ Р 71207–2024 — Статический анализ программного обеспечения. Процессы

0

0

0

0

ПОДЕЛИТЬСЯ