PVS-Studio, статический анализатор кода для 64-битного и параллельного программирования на Си/Си++
Наши клиенты
PVS-Studio |
|
PVS-Studio code analyzer is based on VivaCore Library
|
|
Разработчикам |
|
11.03.2010
Параллельные заметки N4 - продолжаем знакомиться с конструкциями OpenMP
Продолжим знакомство с технологией OpenMP и рассмотрим некоторые функции и новые директивы.»
Продолжим знакомство с технологией OpenMP и рассмотрим некоторые функции и новые директивы.»
02.03.2010
Параллельные заметки №3 - базовые конструкции OpenMP
Мы начинаем знакомить вас непосредственно с использованием технологии OpenMP и рассмотрим в этой заметке некоторые базовые конструкции.»
Мы начинаем знакомить вас непосредственно с использованием технологии OpenMP и рассмотрим в этой заметке некоторые базовые конструкции.»
28.02.2010
Как стандарт C++0x поможет в борьбе с 64-битными ошибками
Программисты видят в стандарте C++0x возможность использовать лямбда-функции и прочие мало понятные для меня сущности :).»
Программисты видят в стандарте C++0x возможность использовать лямбда-функции и прочие мало понятные для меня сущности :).»
10.12.2009
Вопросы и ответы по PVS-Studio (PVS-Studio FAQ)
В документе собраны некоторые вопросы и ответы по анализатору кода PVS-Studio компании ООО "СиПроВер".»
В документе собраны некоторые вопросы и ответы по анализатору кода PVS-Studio компании ООО "СиПроВер".»
09.12.2009
Вопросы и ответы по библиотеке VivaCore (VivaCore FAQ)
В документе собраны некоторые вопросы и ответы по библиотеке анализа Си/Си++ кода VivaCore компании ООО "СиПроВер".»
В документе собраны некоторые вопросы и ответы по библиотеке анализа Си/Си++ кода VivaCore компании ООО "СиПроВер".»
23.11.2009
PVS-Studio: использование функции "Mark as False Alarm"
В статье приведены описание и пример использования новой функции PVS-Studio 3.40 "Mark as False Alarm" ("Пометить как ложное срабатывание").»
В статье приведены описание и пример использования новой функции PVS-Studio 3.40 "Mark as False Alarm" ("Пометить как ложное срабатывание").»
Новости
20/04/2009
ООО «СиПроВер» объявляет о выходе новой версии статического анализатора Viva64 2.30
ООО «СиПроВер» объявляет о выходе новой версии статического анализатора Viva64 2.30. Инструмент Viva64 предназначен для поиска ошибок в коде 64-битных приложений и для увеличения их эффективности.
Теперь анализатор сможет помочь разработчикам в оптимизации объема используемой программой оперативной памяти. В новой версии добавлено новое диагностическое сообщение V401, позволяющее находить структуры данных, неэкономно использующие память на 64-битных системах.
Улучшена обработка констант, что в ряде случаев сокращает количество ложных диагностических предупреждений. Улучшен механизм, скрывающий дублирующиеся ошибки, которые находятся в заголовочных файлах, указанных в относительном виде. Раньше при проверке проекта, ошибка в #include "lib\file.h" и #include "lib\..\lib\file.h" посчиталась бы как находящаяся в разных файлах. И было бы выдано два диагностических предупреждения. Теперь пути раскрываются, и анализатор дважды не указывает на ошибки находящиеся в файле "file.h".© 2008 - 2010, ООО "СиПроВер"
300027, Россия, Тула, а/я 1800, тел. +7 (4872) 38-59-95,. офис: Россия, Тула, Кутузова 100, оф. 73.
300027, Россия, Тула, а/я 1800, тел. +7 (4872) 38-59-95,. офис: Россия, Тула, Кутузова 100, оф. 73.
