Для получения триального ключа
заполните форму ниже
Team License (базовая версия)
Enterprise License (расширенная версия)
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

** На сайте установлена reCAPTCHA и применяются
Политика конфиденциальности и Условия использования Google.
Запросите информацию о ценах
Новая лицензия
Продление лицензии
--Выберите валюту--
USD
EUR
GBP
RUB
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

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

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

** На сайте установлена reCAPTCHA и применяются
Политика конфиденциальности и Условия использования Google.
Мне интересно попробовать плагин на:
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

** На сайте установлена reCAPTCHA и применяются
Политика конфиденциальности и Условия использования Google.
Ваше сообщение отправлено.

Мы ответим вам на


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

>
>
Примеры ошибок, обнаруженных с помощью …

Примеры ошибок, обнаруженных с помощью диагностики V532

05 Апр 2021

V532. Consider inspecting the statement of '*pointer++' pattern. Probably meant: '(*pointer)++'.


eMule Plus

V532 Consider inspecting the statement of '*pointer++' pattern. Probably meant: '(*pointer)++'. emule customautocomplete.cpp 277


STDMETHODIMP CCustomAutoComplete::Next(...,
                                       ULONG *pceltFetched)
{
  ....
  if (pceltFetched != NULL)
    *pceltFetched++;
  ....
}

This is what should have been written here: (*pceltFetched)++;


FCEUX

V532 Consider inspecting the statement of '*pointer++' pattern. Probably meant: '(*pointer)++'. fceux xstring.cpp 444


void splitpath(const char* path, char* drv, char* dir,
               char* name, char* ext)
{
  const char* end; /* end of processed string */
  const char* p;  /* search pointer */
  const char* s;  /* copy pointer */
  ....
  for(s=p; s<end; )
    *s++;
  ....
}

I cannot understand at all what the programmer wanted to do here. This code is equivalent to s = end.


IPP Samples

V532 Consider inspecting the statement of '*pointer--' pattern. Probably meant: '(*pointer)--'. aac_enc sbr_enc_frame_gen.c 428


static void
sbrencConflictResolution (..., Ipp32s *nLeftBord)
{
  ....
  *nLeftBord = nBordNext - 1;
  ....
  if (*lenBordNext > 1) {
    ....
    *nLeftBord--;
  }
  ....
}

nLeftBord is used to return the value. This is what should have been written here: (*nLeftBord)--;


IPP Samples

V532 Consider inspecting the statement of '*pointer++' pattern. Probably meant: '(*pointer)++'. mpeg2_dec umc_mpeg2_dec.cpp 59


static IppStatus mp2_HuffmanTableInitAlloc(Ipp32s *tbl, ...)
{
  ....
  for (i = 0; i < num_tbl; i++) {
    *tbl++;
  }
  ....
}

Meaningless code. Currently it is equivalent to tbl += num_tbl.


Apache HTTP Server

V532 Consider inspecting the statement of '*pointer++' pattern. Probably meant: '(*pointer)++'. apriconv iconv_uc.c 114


apr_status_t
iconv_uc_conv(..., apr_size_t *res)
{
  ....
  if (size)
    *res ++;
  ....
}

This is what should have been written here: (*res)++;


DeSmuME

V532 Consider inspecting the statement of '*pointer++' pattern. Probably meant: '(*pointer)++'. DeSmuME_VS2005 xstring.cpp 479


void splitpath(const char* path, char* drv, char* dir,
               char* name, char* ext)
{
  ....
  for(s=p; s<end; )
    *s++;
  ....
}

Meaningless code. Currently it is equivalent to s = end.


OpenSSL

V532 Consider inspecting the statement of '*pointer++' pattern. Probably meant: '(*pointer)++'. cpstringutils.cpp 2741


void SkipWhiteSpace(char **ioSrcCharPtr,
                    const Boolean inStopAtEOL)
{
  ....
  while ((**ioSrcCharPtr == ' ' || **ioSrcCharPtr == '\t') &&
         **ioSrcCharPtr != '\r' && **ioSrcCharPtr != '\n')
  {
    *ioSrcCharPtr++;
  }
  ....
  while (**ioSrcCharPtr == ' ' || **ioSrcCharPtr == '\t')
  {
    *ioSrcCharPtr++;
  }
  ....
}

Similar errors can be found in some other places:

  • V532 Consider inspecting the statement of '*pointer++' pattern. Probably meant: '(*pointer)++'. cpstringutils.cpp 2749

Miranda NG

V532 Consider inspecting the statement of '*pointer++' pattern. Probably meant: '(*pointer)++'. NimContact namereplacing.cpp 92


int findLine(...., int *positionInOldString)
{
  ....
    *positionInOldString ++;
     return (linesInFile - 1);
  }
  ....
}

Godot Engine

V532 Consider inspecting the statement of '*pointer++' pattern. Probably meant: '(*pointer)++'. trex.c 506


static const TRexChar *trex_matchnode(
  ...., const TRexChar *str, ....)
{
  ....
  case OP_DOT:
  {
    *str++;
  }
  return str;
  ....
}

Similar errors can be found in some other places:

  • V532 Consider inspecting the statement of '*pointer++' pattern. Probably meant: '(*pointer)++'. trex.c 512
  • V532 Consider inspecting the statement of '*pointer++' pattern. Probably meant: '(*pointer)++'. trex.c 518
  • V532 Consider inspecting the statement of '*pointer++' pattern. Probably meant: '(*pointer)++'. trex.c 524
  • And 1 additional diagnostic messages.

Open X-Ray Engine

V532 Consider inspecting the statement of '*pointer++' pattern. Probably meant: '(*pointer)++'. lwio.c 316


int sgetI1( unsigned char **bp )
{
  int i;

  if ( flen == FLEN_ERROR ) return 0;
  i = **bp;
  if ( i > 127 ) i -= 256;
  flen += 1;
  *bp++;
  return i;
}

Similar errors can be found in some other places:

  • V532 Consider inspecting the statement of '*pointer++' pattern. Probably meant: '(*pointer)++'. lwio.c 354
  • V532 Consider inspecting the statement of '*pointer++' pattern. Probably meant: '(*pointer)++'. lwob.c 80

Популярные статьи по теме
Статический анализ как часть процесса разработки Unreal Engine

Дата: 27 Июн 2017

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

Проект Unreal Engine развивается - добавляется новый код и изменятся уже написанный. Неизбежное следствие развития проекта - появление в коде новых ошибок, которые желательно выявлять как можно раньш…
Любите статический анализ кода!

Дата: 16 Окт 2017

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

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

Дата: 22 Окт 2018

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

PVS-Studio, как и другие статические анализаторы кода, часто выдаёт ложные срабатывания. Но не стоит спешить считать странные срабатывания ложными. Это короткая история о том, как PVS-Studio вновь ок…
Как и почему статические анализаторы борются с ложными срабатываниями

Дата: 20 Мар 2017

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

В своей предыдущей статье я писал, что мне не нравится подход, при котором статические анализаторы кода оцениваются с помощью синтетических тестов. В статье приводился пример, воспринимаемый анализат…
PVS-Studio ROI

Дата: 30 Янв 2019

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

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

Дата: 17 Янв 2019

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

В седьмой версии статического анализатора PVS-Studio мы добавили поддержку языка Java. Пришло время немного рассказать, как мы начинали делать поддержку языка Java, что у нас получилось и какие дальн…
Главный вопрос программирования, рефакторинга и всего такого

Дата: 14 Апр 2016

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

Вы угадали, ответ - "42". Здесь приводится 42 рекомендации по программированию, которые помогут избежать множества ошибок, сэкономить время и нервы. Автором рекомендаций выступает Андрей Карпов - тех…
Зло живёт в функциях сравнения

Дата: 19 Май 2017

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

Возможно, читатели помнят мою статью под названием "Эффект последней строки". В ней идёт речь о замеченной мной закономерности: ошибка чаще всего допускается в последней строке однотипных блоков текс…
Бесплатный PVS-Studio для тех, кто развивает открытые проекты

Дата: 22 Дек 2018

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

В канун празднования нового 2019 года команда PVS-Studio решила сделать приятный подарок всем контрибьюторам open-source проектов, хостящихся на GitHub, GitLab или Bitbucket. Им предоставляется возмо…
Технологии, используемые в анализаторе кода PVS-Studio для поиска ошибок и потенциальных уязвимостей

Дата: 21 Ноя 2018

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

Краткое описание технологий, используемых в инструменте PVS-Studio, которые позволяют эффективно обнаруживать большое количество паттернов ошибок и потенциальных уязвимостей. Статья описывает реализа…

Комментарии (0)

Следующие комментарии

На сайте установлена reCAPTCHA и применяются
Политика конфиденциальности и Условия использования Google.
Этот сайт использует куки и другие технологии, чтобы предоставить вам более персонализированный опыт. Продолжая просмотр страниц нашего веб-сайта, вы принимаете условия использования этих файлов. Если вы не хотите, чтобы ваши данные обрабатывались, пожалуйста, покиньте данный сайт. Подробнее →
Принять