Unicorn with delicious cookie
Мы используем куки, чтобы пользоваться сайтом было удобно.
Хорошо
to the top

Вебинар: Оптимизация игр - 25.09

>
>
>
>
ГОСТ Р 71207–2024 - Статический...

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

31 Июл 2024

Это второй вебинар, посвящённый ГОСТ Р 71207. Прежде чем более подробно говорить про статический анализ кода, стоит начать с рассмотрения основных терминов, описанных в стандарте. ГОСТ даёт очень краткие определения терминов. Это описание может тяжело восприниматься неподготовленным читателем. В вебинаре попробовали подробно раскрыть смысл этих терминов и сопроводить их поясняющими примерами. Некоторые термины, которые были рассмотрены:

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

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

Комментарии (4)

Guest 
29/05/2025, 18:28:01

Какая особенность у PVS-Studio?11:18

Ответить

Андрей Карпов 
30/05/2025, 13:08:07 для Guest

Не отделяем анализ потока данных от анализа потока управления. Они всегда идут вместе и, кажется, нет смысла рассматривать их отдельно. Подробнее про технологии анализа кода в PVS-Studio.

Ответить

Guest 
30/05/2025, 17:23:26

29:58 как вообще понять, чем является неопределённое поведение, может, у него какие-никакие характеристики имеются?

Ответить

Андрей Карпов 
30/05/2025, 19:10:34 для Guest

Предлагаю к прочтению первую главу из "Путеводитель C++ программиста по неопределённому поведению" :)

Ответить

close comment form