Сайт для C/C++ разработчиков
64-битных и параллельных приложений

ООО "Системы программной верификации"

English | Русский

PVS-Studio, статический анализатор кода для 64-битного и параллельного программирования на Си/Си++

Наши клиенты

Блог

28.06.2010 Почему в PVS-Studio в окне Error List иногда не показывается номер строки, в которой обнаружена проблема?
Иногда анализатор кода PVS-Studio якобы обнаруживает проблему в коде, выдает сообщение, указывает имя файла, но не показывает номер проблемной строки как показано на рисунке.»

11.06.2010 Новые диагностические возможности, реализованные в PVS-Studio 3.60
1.»

07.06.2010 Общение разработчиков с пользователями программ
При разработке программных продуктов разработчикам очень важно иметь обратную связь с пользователями их программ.»

Статьи

22.07.2010 Использование PVS-Studio вместе с системами continuous integration
В статье показаны приемы организации работы анализатора кода PVS-Studio вместе с системами непрерывной интеграции (continuous integration).»

06.07.2010 Сравнение возможностей PVS-Studio и Visual Studio 2010 по выявлению дефектов в 64-битных программах
В статье сравниваются три механизма анализа кода с точки зрения выявления 64-битных ошибок: компилятор Visual C++2010, компонент Code Analysis for C/C++ входящий в состав Visual Studio 2010 Premium/Ultimate и анализатор Viva64 входящий в состав PVS-Studio 3.60. »

29.06.2010 Коллекция примеров 64-битных ошибок в реальных программах
Статья представляет собой наиболее полную коллекцию примеров 64-битных ошибок на языках Си и Си++. »

Новости

22.07.2010 Выпущена новая версия анализатора кода PVS-Studio 3.61»

10.06.2010 Выпущена новая версия анализатора кода PVS-Studio 3.60. »

19.05.2010 Наши сотрудники посетили конференцию КРИ 2010, проходившую 14-16 мая 2010 года в Москве и пообщались со многими разработчиками.»

Новости

Главная » Новости

28/12/2009 Выпущена новая версия PVS-Studio 3.43

Мы выпустили версию PVS-Studio 3.43. Эта версия во многом облегчает жизнь разработчикам, так как в ней мы улучшили как механизм работы, так и пользовательские характеристики.

Мы не только добавили два новых правила диагностики ошибок но и упростили процедуру установки и удаления программы: последнее происходит заметно быстрее после повторной установки "поверх". Также анализатор теперь способен лучше находить ошибки при использовании команды operator[], а при наличии нескольких ошибок в одной строке кода он более наглядно показывает все эти ошибки, без необходимости последовательного их исправления для просмотра каждой следующей ошибки, как это было раньше до появления опции ShowAllErrorsInString. Полный перечень нововведений, реализованных в версии 3.43, приведен ниже:

Удалена опция ShowAllErrorsInString (теперь она всегда имеет значение true).
Новое правило V120: Member operator[] of object 'foo' declared with 32-bit type argument, but called with memsize type argument.
Новое правило V302: Member operator[] of 'foo' class has a 32-bit type argument. Use memsize-type here.
Улучшен анализ operator[].
Исправлена ошибка с долгим удалением программы при многократной установке "поверх".
Исправлена ошибка анализа файлов с символом "^" в имени.

«к списку

© 2008 - 2010, ООО "СиПроВер"
300027, Россия, Тула, а/я 1800, тел. +7 (4872) 38-59-95,. офис: Россия, Тула, Кутузова 100, оф. 73.