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