Статический анализатор кода PVS‑Studio в 2026: ГОСТ Р 71207, ГОСТ Р 56939, приказ ФСТЭК №117

Подпишитесь на email-рассылку или Telegram-бот,
чтобы получить доступ к книге!

Books
Book

О чем книга

В апреле 2024 года введён в действие ГОСТ Р 71207 "Статический анализ программного обеспечения".

В книге рассматривается, как статический анализатор PVS-Studio реализует требования стандарта и какие технологии при этом используются.

Приводится большое количество примеров синтетических и реальных дефектов в коде, раскрывающих понятие "критические ошибки", которое вводит стандарт.

Описана взаимосвязь PVS-Studio и ГОСТ Р 71207 с разработкой безопасного программного обеспечения (РБПО) по ГОСТ Р 56939.

В книге рассматриваются:

  • требования к инструментам статического анализа;
  • какие ошибки они должны находить;
  • понятие критической ошибки;
  • какие технологии должны реализовывать анализаторы;
  • процесс регулярного использования;
  • взаимосвязи c ГОСТ Р 56939—2024 и приказом ФСТЭК №117;
  • испытания статических анализаторов в 2025 году;
  • и многое другое.

Познакомьтесь с текстом с помощью демоверсии

В демоверсии представлено несколько разделов. Вы можете скачать их для ознакомления без
дополнительных действий.

Автор книги: Андрей Карпов

Карпов Андрей Николаевич, сооснователь PVS-Studio. Более 17 лет занимается темой статического анализа кода и качества программного обеспечения. Автор большого количества статей, посвящённых написанию качественного кода на языке C++. С 2011 по 2021 год удостаивался награды Microsoft MVP в номинации Developer Technologies.

Cat img
TG icon

Как получить электронную версию?

Вариант №1: Подписаться на email-рассылку

Вышлем по электронному адресу PDF-версию обзора, а также материалы, которые помогут вам погрузиться в новый ГОСТ Р 71207-2024 и безопасную разработку программного обеспечения.

Вариант №2: Подписаться на наш Telegram-бот

Благодаря нашему боту вы познакомитесь с PVS-Studio поближе. Интересные статьи, новости компании, обновления PVS-Studio – все это ждет вас там! Присоединяйтесь, чтобы оставаться в курсе последних новостей в мире статического анализа кода!