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

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

Wed, 31 July 2024, 14:00 (GMT+03:00)
Free
Stream available

Tags:

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

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