PVS-Studio, решение для разработки современных ресурсоемких приложений ООО «Си ПроВер» («Системы программной верификации»)

Что такое PVS-Studio? PVS-Studio - статический анализатор, выявляющий ошибки в исходном коде приложений на языках C, C++, C++11, C++/CX. Можно выделить 4 набора правил, включенных в состав PVS-Studio: 1. Диагностика общего назначения 2. Диагностика возможных оптимизаций 3. Диагностика 64-битных ошибок (Viva64) 4. Диагностика параллельных ошибок (VivaMP)

Примеры обнаруживаемых ошибок

Приоритет операций & и ! Return to Castle Wolfenstein - компьютерная игра, шутер от первого лица, разработанный компанией id Software. Движок игры распространяется по GPL лицензии. #define SVF_CASTAI 0x if ( !ent->r.svFlags & SVF_CASTAI ) if ( ! (ent->r.svFlags & SVF_CASTAI) )

Использование && вместо & #define REO_INPLACEACTIVE (0x L) #define REO_OPEN (0x L) if (reObj.dwFlags && REO_INPLACEACTIVE) m_pRichEditOle->InPlaceDeactivate(); if(reObj.dwFlags && REO_OPEN) hr = reObj.poleobj->Close(OLECLOSE_NOSAVE); Stickies - желтые клеящиеся бумажки, только на мониторе.

Undefined behavior while (*(n = ++s + strspn(s, EZXML_WS)) && *n != '>') { Miranda IM (Miranda Instant Messenger) - программа мгновенного обмена сообщениями для Microsoft Windows.

Использование delete для массива auto_ptr child_array(new VARIANT[child_count]); ~auto_ptr() { delete _Myptr; } Chromium - веб-браузер с открытым исходным кодом, разработанный компанией Google. На основе Chromium создаётся браузер Google Chrome. Использовать auto_ptr для массивов нельзя. В деструкторе auto_ptr уничтожается только один элемент: В качестве альтернативы, например, можно использовать boost::scoped_array.

Всегда истинное условие WinDjView - быстрая и компактная программа для просмотра файлов формата DjVu. inline bool IsValidChar(int c) { return c == 0x9 || 0xA || c == 0xD || c >= 0x20 && c = 0xE000 && c = 0x10000 && c

Оформление кода отличается от его логики if(pushval != 0) if(pushval) v->GetUp(-1) = t; else v->Pop(1); Squirrel - интерпретируемый язык программирования, разработанный специально для использования в качестве скриптового языка в приложениях реального времени, таких как компьютерные игры. v->Pop(1); - никогда не вызывается

Случайное объявление локальной переменной FCE Ultra – открытый эмулятор приставки Nintendo Entertainment System int iNesSaveAs(char* name) {... fp = fopen(name,"wb"); int x = 0; if (!fp) int x = 1;... }

Работа с char как с unsigned char // check each line for illegal utf8 sequences. // If one is found, we treat the file as ASCII, // otherwise we assume an UTF8 file. char * utf8CheckBuf = lineptr; while ((bUTF8)&&(*utf8CheckBuf)) { if ((*utf8CheckBuf == 0xC0)|| (*utf8CheckBuf == 0xC1)|| (*utf8CheckBuf >= 0xF5)) { bUTF8 = false; break; } TortoiseSVN клиент для системы контроля версий Subversion, выполненный как расширение оболочки Windows.

Случайные восьмеричные числа oCell._luminance = uint16(0.2220f*iPixel._red f*iPixel._blue f*iPixel._green);.... oCell._luminance = 2220*iPixel._red *iPixel._blue *iPixel._green; eLynx Image Processing SDK and Lab

Одна переменная для двух циклов static int i,j,k,l,m;... for(j=0; j

Выход за границы массива #define SBMAX_l 22 int l[1+SBMAX_l]; for (r0 = 0; r0 < 16; r0++) {... for (r1 = 0; r1 < 8; r1++) { int a2 = gfc->scalefac_band.l[r0 + r1 + 2]; LAME - свободное приложение для кодирования аудио в формат MP3.

Приоритет операций * и ++ STDMETHODIMP CCustomAutoComplete::Next(..., ULONG *pceltFetched) {... if (pceltFetched != NULL) *pceltFetched++;... } (*pceltFetched)++; eMule - это клиент для сети обмена файлами ED2K.

Ошибка в сравнении BUFFERTYPE m_nBufferType[2];... // Handle unnamed buffers if ((m_nBufferType[nBuffer] == BUFFER_UNNAMED) || (m_nBufferType[nBuffer] == BUFFER_UNNAMED)) nSaveErrorCode = SAVE_NO_FILENAME; WinMerge свободное ПО с открытым исходным кодом для сравнения и синхронизации файлов и директорий. Если посмотреть код рядом, то по аналогии здесь должно быть: (m_nBufferType[0] == BUFFER_UNNAMED) || (m_nBufferType[1] == BUFFER_UNNAMED)

Забытый индекс массива IPP Samples - примеры, демонстрирующие работу с библиотекой Intel Performance Primitives Library 7.0. void lNormalizeVector_32f_P3IM(..., Ipp32s* mask,...) { Ipp32s i; Ipp32f norm; for(i=0; i

Одинаковые ветви кода Notepad++ - свободный текстовый редактор для Windows с подсветкой синтаксиса большого количества языков программирования и разметки. if (!_isVertical) Flags |= DT_VCENTER; else Flags |= DT_BOTTOM; if (!_isVertical) Flags |= DT_BOTTOM; else Flags |= DT_BOTTOM;

Вызов неверной функции со схожим именем /** Deletes all previous field specifiers. * This should be used when dealing * with clients that send multiple NEP_PACKET_SPEC * messages, so only the last PacketSpec is taken * into account. */ int NEPContext::resetClientFieldSpecs(){ this->fspecs.empty(); return OP_SUCCESS; } /* End of resetClientFieldSpecs() */ Какой замечательный комментарий. Жаль только не то делаем, что хотим. Nmap Security Scanner - свободная утилита, предназначенная для разнообразного настраиваемого сканирования IP-сетей с любым количеством объектов, определения состояния объектов сканируемой сети.

Опасный оператор ?: Newton Game Dynamics - популярный физический движок, который предоставляет надежное и быстрое решение для симуляции физического поведения объектов окружающей среды. den = dgFloat32 (1.0e-24f) * (den > dgFloat32(0.0f)) ? dgFloat32(1.0f) : dgFloat32(-1.0f); Приоритет оператора ?: ниже, чем у оператора умножения *.

И так далее, и так далее… FCE Ultra if((t=(char *)realloc( next->name, strlen(name+1)))) if((t=(char *)realloc( next->name, strlen(name)+1))) minX=max(0,minX+mcLeftStart-2); minY=max(0,minY+mcTopStart-2); maxX=min((int)width,maxX+mcRightEnd-1); maxY=min((int)height,maxX+mcBottomEnd-1); minX=max(0,minX+mcLeftStart-2); minY=max(0,minY+mcTopStart-2); maxX=min((int)width,maxX+mcRightEnd-1); maxY=min((int)height,maxY+mcBottomEnd-1);

Низкоуровневые операции работы с памятью ID_INLINE mat3_t::mat3_t( float src[3][3] ) { memcpy( mat, src, sizeof( src ) ); } Return to Castle Wolfenstein itemInfo_t *itemInfo; memset( itemInfo, 0, sizeof( &itemInfo ) ); memset( itemInfo, 0, sizeof( *itemInfo ) ); ID_INLINE mat3_t::mat3_t( float (&src)[3][3] ) { memcpy( mat, src, sizeof( src ) ); }

Низкоуровневые операции работы с памятью CxImage - открытая библиотека обработки изображений. memset(tcmpt->stepsizes, 0, sizeof(tcmpt->numstepsizes * sizeof(uint_fast16_t))); memset(tcmpt->stepsizes, 0, tcmpt->numstepsizes * sizeof(uint_fast16_t));

Низкоуровневые операции работы с памятью dgInt32 faceOffsetHitogram[256]; dgSubMesh* mainSegmenst[256]; memset (faceOffsetHitogram, 0, sizeof (faceOffsetHitogram)); memset (mainSegmenst, 0, sizeof (faceOffsetHitogram)); Скопировали код и не полностью поправили. В результате в Win64 размер указателя станет не равен размеру типа dgInt32 и мы очистим только часть массива mainSegmenst. Красивый пример 64-битной ошибки:

Низкоуровневые операции работы с памятью #define CONT_MAP_MAX 50 int _iContMap[CONT_MAP_MAX];... memset(_iContMap, -1, CONT_MAP_MAX); memset(_iContMap, -1, CONT_MAP_MAX * sizeof(int));

Низкоуровневые операции работы с памятью Да, сейчас это не ошибка. Но это мина! Real w, x, y, z;... inline Quaternion(Real* valptr) { memcpy(&w, valptr, sizeof(Real)*4); } OGRE (Object-Oriented Graphics Rendering Engine) - объектно-ориентированный графический движок с открытым исходным кодом, написанный на C++.

И много-много других ошибок в известных проектах WinMerge Chromium, Return to Castle Wolfenstein, etc Miranda IM Intel IPP Samples Fennec Media Project Ultimate Toolbox Loki eMule Plus, Pixie, VirtualDub, WinMerge, XUIFramework Chromium Qt Apache HTTP Server TortoiseSVN Здесь ссылки на статьи с описанием ошибок:

Типы обнаруживаемых дефектов ошибки из-за copy-paste; неверные строки формата (printf); переполнение буфера (buffer overflow); некорректное использования STL, WinAPI;... ошибки миграции 32-битных приложений на 64-битные системы (Viva64); ошибки использования OpenMP;

Интеграция Visual Studio 2005 и выше; Embarcadero RAD Studio 2009 и выше; MinGW: C, C++.

Особенности PVS-Studio Incremental Analysis – проверка только что скомпилированных файлов; проверка файлов, модифицированных за последние несколько дней; проверка файлов по списку имен из текстового файла; интеграция с системами continuous integration; интеграция с version control systems; возможность запуска из командной строки; отметка «ложных срабатываний»; сохранение и загрузка результатов анализа; работа на всех ядрах и процессорах; интерактивные фильтры; online-справка на русском и английском языке; документация в pdf;

Интеграция с Visual Studio

Интеграция с Embarcadero RAD Studio

Incremental Analysis – проверка только что скомпилированных файлов просто работаете в Visual Studio; компилируетесь по F7; в фоновом режиме автоматически запускается проверка скомпилированных файлов; в конце проверки будет уведомление, можно посмотреть на обнаруженные ошибки

Поддержка VCS и CI (контроль версий, непрерывная интеграции) запуск из командной строки: отправка найденных проблем по почте: готовые команды запуска для CruiseControl.Net, Hudson, Microsoft TFS "C:\Program Files (x86)\PVS-Studio\x64\PVS-Studio.exe" --sln-file "C:\Users\evg\Documents\ OmniSample\OmniSample (vs2008).sln" --plog-file "C:\Users\evg\Documents\result.plog" --vcinstalldir "C:\Program Files (x86)\Microsoft Visual Studio 9.0\VC" --platform "x64" --configuration "Release cmd.exe /c type result-log.plog.only_new_messages.txt

Интерактивные фильтры фильтрация сообщений без перезапуска анализа; фильтрация по коду ошибок, по именам файлов (включая маски), по тексту сообщений, по уровню важности (warning level); показ/скрытие ложных срабатываний (false alarms).

Встроенная справка (описание ошибок)

Преимущества PVS-Studio Легко скачать! Вы можете скачать дистрибутив PVS- Studio, не регистрируясь и не заполняя анкет.скачать Легко попробовать! Программа PVS-Studio реализована в качестве модуля расширения для Visual Studio и Embarcadero RAD Studio. Легко купить! В отличие от других анализаторов кода, у нас простая ценовая и лицензионная политика. политика Легко получить ответ! С нашими клиентами общаются непосредственно разработчики анализатора, что позволяет быстро отвечать даже на сложные вопросы.

Ценовая политика лицензия на команду до 5 разработчиков стоит 5250; продление на год – 80% от базовой цены; есть site license для команд в 10+ человек;

Информация о компании ООО «Си ПроВер» , Россия, Тула, Революции 39, офис com com Рабочее время: 09:00 – 18:00 (GMT +3:00)