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