🔥Коллеги, подготовили для вас новый крутой материал!

Как вы уже знаете, 1 апреля 2024 года введён в действие новый ГОСТ "Статический анализ программного обеспечения".

В мини-книге новый стандарт рассмотрен с практической точки зрения разработчиков инструментального средства PVS-Studio. Это не просто обзор инструмента, а глубокий разбор того, как PVS-Studio помогает соответствовать стандартам РБПО.

Получить мини-книгу в PDF-формате можно по ссылке 🔗

#PVS_Studio #ГОСТ

Что такое "сигнатурный анализ"? Разбираемся в видео! 👍

Чтобы больше понять тему с новым стандартом ГОСТ Р 71207-2024 предлагаем скачать мини-книгу по ссылке 🔗

#видео #PVS_Studio

🔥Друзья, пришло время узнать, что изменилось в PVS-Studio за последние три года!

В новом видео мы расскажем про новые диагностические правила, интеграции, оптимизацию работы анализатора и многое другое.

#видео #PVS_Studio

За последние три года в PVS-Studio произошло много изменений. В этом видео мы упомянули лишь малую часть.

Подробности можно узнать по этой ссылке 🔗

#видео #PVS_Studio

Коллеги, уже несколько месяцев наша команда активно тестирует новую версию парсера, и мы достигли значительного прогресса. Благодаря отзывам пользователей, мы смогли выявить и устранить множество неточностей в работе анализатора.

Наша цель — создать максимально надёжный инструмент, поэтому мы продолжаем процесс тестирования и приглашаем вас присоединиться ❤️

Все подробности по ссылке 🔗

#PVS_Studio

⚡️Друзья, напоминаем о важном!

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

В мини-книге от Андрея Карпова новый стандарт рассмотрен с практической точки зрения разработчиков инструментального средства PVS-Studio. Это не просто обзор инструмента, а глубокий разбор того, как PVS-Studio помогает соответствовать стандартам РБПО.

Получить мини-книгу в PDF-формате можно по ссылке 🔗

#PVS_Studio #ГОСТ

Вышел новый релиз PVS-Studio — 7.37.

Встречайте расширенный механизм анализа помеченных данных, возможность выбора версии стандарта MISRA, поддержку анализа MSBuild проектов на основе SLNX и ещё много других обновлений!

Больше подробностей в этой заметке 🔗

#статья #PVS_Studio

Друзья, напоминаем о важном событии этого месяца!

Совместно с Центральным Университетом мы организовываем свой уникальный митап – «Сплошные плюсы. Клуб С++ разработчиков».

Этот митап не просто про доклады, это площадка для развития своих профессиональных навыков в приятной атмосфере.

Андрей Карпов, сооснователь PVS-Studio, расскажет про типовые ошибки С и С++ программистов. А Олег Лысый, техлид в PVS-Studio, познакомит с основами парсинга С++ кода.

Как видите, сплошные плюсы. А минусы? А минусов не будет! Приходите! 🔥

Все подробности и программа доступны по ссылке 🔗

#мероприятия #cpp #PVS_Studio

Мы часто говорим о том, как PVS-Studio помогает разработчикам находить ошибки на ранних этапах, экономя время и деньги. Но что это значит для менеджеров и руководителей? 🤔

Это значит:
• Сокращение сроков разработки: меньше багов — быстрее релизы.
• Оптимизация бюджета: исправление ошибок на поздних этапах обходится в разы дороже.
• Повышение репутации: качественный продукт без критических ошибок.

Мы создали страницу, где вы сможете узнать, как работает PVS-Studio. Вы также можете задать там любые вопросы нашему специалисту.

Узнайте, как PVS-Studio защитит ваш проект от рисков по ссылке 🔗

#PVS_Studio

Доброе утро, друзья! Уже завтра состоится наш уникальный митап – «Сплошные плюсы. Клуб С++ разработчиков».

Готовим мы его совместно с Центральным Университетом. Мероприятие будет в офлайн формате в Москве.

Все подробности и регистрация по ссылке 🔗

ВАЖНО: успейте зарегистрироваться сегодня до 15:00

Не пропустите!
#PVS_Studio #мероприятия #cpp

Друзья, приглашаем вас на офлайн-митап "Работа над ошибками"!

Ошибки в коде — неизбежная часть работы программиста. Но можно научиться допускать их реже, находить быстрее и извлекать из них пользу. Именно об этом мы и поговорим на нашей встрече. Вас ждут три доклада от опытных спикеров, живое общение и уютная атмосфера бара.

В программе:
- Андрей Карпов: Типовые паттерны опечаток и как их избежать.
- Марк Шевченко: Верификация программ и доказательство корректности .NET-кода.
- Роман Гапонов: Все о Code Review: лучшие практики и анти-паттерны.

📅 16 июля 2025 (среда)
⏰ 19:30
📍 Москва, Большая Новодмитровская ул., 36 стр. 6, Freedombar (Территория Дизайн-Завода "Флакон")

Ссылка на регистрацию 🔗

#мероприятие #PVS_Studio

Можно ли доказывать правильность обычного бизнес-кода в .NET? Узнаем на митапе "Работа над ошибками"!

Марк Шевченко (Московский клуб программистов, Wildberries) расскажет об языке Coq и покажет, как доказать корректность бизнес-кода для .NET-проекта, приближаясь к созданию гарантированно правильного ПО.

🗓 16 июля (среда), 19:30
📍 Москва, Freedombar на Дизайн-Заводе "Флакон" (Большая Новодмитровская ул., 36 стр. 6)

Ссылка на регистрацию 🔗

*количество участников ограничено

#мероприятия #PVS_Studio

Начинаем неделю с приятных новостей!

В видео рассказываем про новые интеграции PVS-Studio 🔥

Почитать документацию можно по этой ссылке 🔗

#видео #PVS_Studio

Друзья, важное объявление ❗️

Мы обновили видео "Что такое PVS-Studio?" 🔥

Мы затронули важные темы и аспекты анализатора, актуализировали всю информацию и, конечно же, рассказали про механизмы и подходы PVS-Studio.

Переходите по ссылке 🔗 И приятного вам просмотра!

#видео #PVS_Studio

Кратко о новой версии PVS-Studio 7.37. Полную версию можно почитать по ссылке 🔗

#видео #PVS_Studio

В новом видео рассказываем про баг, из-за которого враги взлетели в воздух — а игра стала легендой 🔥

Попробуй PVS-Studio по промокоду devil 🔗

#видео #PVS_Studio

Начиная с версии PVS-Studio 7.38, Java анализатор вслед за двумя братьями C# и C++ поддерживает пользовательские аннотации в формате JSON.

Зачем они нужны и что с ними можно делать, рассмотрим в этой статье 👍

#статья #PVS_Studio

🔥Вышел новый релиз PVS-Studio — 7.38.

Новое ядро для C и C++ анализатора, механизм пользовательских аннотаций в Java анализаторе, улучшение анализа заражённых данных, и это ещё не всё!

Больше подробностей в этом пресс-релизе.

#статья #PVS_Studio

Кратко о том, как работает анализатор. Полное видео можно посмотреть по этой ссылке 👍

#видео #PVS_Studio

⚡️В новым релизе PVS-Studio — 7.38, команда C# подготовила несколько новых и интересных диагностик. Сегодня разберем одну из таких – V3225.

Но перед тем, как мы расскажем про нее - предлагаем вам попробовать угадать её суть по ошибке в коде:

public void ProcessStream(Stream strm){
  ....

  byte[] bytes = new byte[strm.Length + 10]

  int numBytesRead = 0;
        
  try {
    int numRead = strm.Read
      (bytes, numBytesRead, 1);
                            
    if (numRead == -1) {
      throw new InvalidHeaderException
        ("Failed to read long name entry");
    ....
    }                            
                    
  } 
  catch (InvalidHeaderException ex) {....}
}

Уже нашли ошибку? Она не самая очевидная!
Дело в том, что некоторые методы возвращают значение, обозначающее успешность его выполнения (например, -1, 1 или 0).

В данном примере, разработчик ожидал, что метод Read может вернуть -1 и обрабатывает этот случай в блоке catch, но эта ситуация невозможна.

Проблема в том, что метод Read не сможет вернуть -1 (минимальное возможное значение для него 0). В итоге, ситуация, которую хотел избежать разработчик - не вызовет исключение, что может нарушить работу программы.

Анализатор же без проблем находит такую проблему и подсвечивает её прямо в коде:

`Предупреждение PVS-Studio: V3225. The 'Read' method returns the number of bytes that were read and cannot return the value of -1.`

Если вам понравилась эта диагностика – обязательно ознакомьтесь с остальными в новом пресс-релизе для версии PVS-Studio 7.38.

#csharp #PVS_Studio