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

Заполните форму в два простых шага ниже:

Ваши контактные данные:

Шаг 1
Поздравляем! У вас есть промокод!

Тип желаемой лицензии:

Шаг 2
Team license
Enterprise license
* Разница между Team и Enterprise
Не получили письмо?
** Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности
close form
Запросите информацию о ценах
Почему мы просим корпоративную почту?
Новая лицензия
Продление лицензии
--Выберите валюту--
USD
EUR
RUB
Не получили письмо?
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

close form
Бесплатная лицензия PVS‑Studio для специалистов Microsoft MVP
Почему мы просим корпоративную почту?
Не получили письмо?
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

close form
Для получения лицензии для вашего открытого
проекта заполните, пожалуйста, эту форму
Не получили письмо?
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

close form
Мне интересно попробовать плагин на:
Почему мы просим корпоративную почту?
Не получили письмо?
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

close form

Ваш запрос в обработке

Мы пришлем ключ на .

Если вы так и не получили ответ, пожалуйста, проверьте папку Spam/Junk и нажмите на письме кнопку «Не спам». Так вы не пропустите сообщения от нашей команды.

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

Unicorn with mic

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

  • Дата: 31 июля 14:00

  • Описание:

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

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

    Предыдущие вебинары по тематике ГОСТ:

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

    Следующие вебинары по этой теме:

    ГОСТ Р 71207–2024 — Статический анализ программного обеспечения. Критические ошибки
    ГОСТ Р 71207–2024 — Статический анализ программного обеспечения. Технологии анализа кода
    ГОСТ Р 71207–2024 — Статический анализ программного обеспечения. Процессы

Форма регистрации на вебинар

* Нажимая на кнопку, вы даете согласие на обработку своих персональных данных. См. Политику конфиденциальности.