ГОСТ Р 71207–2024 - Статический анализ программного обеспечения. Терминология
| ср, 31 июль 2024, 14:00 (GMT+03:00) | |
| Бесплатно | |
| Есть трансляция | |
|
PVS-Studio
|
Теги: pvs-studio static analyzer online
Это второй вебинар, посвящённый ГОСТ Р 71207. Прежде чем более подробно говорить про статический анализ кода, стоит начать с рассмотрения основных терминов, описанных в стандарте. ГОСТ даёт очень краткие определения терминов. Это описание может тяжело восприниматься неподготовленным читателем. В вебинаре попробуем подробно раскрыть смысл этих терминов и сопроводить их поясняющими примерами. Некоторые термины, которые будут рассмотрены:
🔵 анализ потока данных;
🔵 анализ помеченных данных;
🔵 сигнатурный анализ;
🔵 межпроцедурный контекстно-чувствительный анализ;
🔵 модельный вариант (ошибки);
🔵 критическая ошибка;
🔵 и так далее.