Наши клиенты
|
PVS-Studio code analyzer is based on VivaCore Library
|
|
Вот, наконец, добрался попробовать Си++ компилятор, входящий в состав Intel Parallel Studio XE 2011 beta.»
В этом блоге нередко можно почитать о том, как тот или иной программный инструмент, или технология разработки программ помогает делать меньше ошибок, быстрее их находить, легче исправлять.»
Господа, хватит уже рассматривать ссылки исключительно в контексте их количества, купли/продажи и считать PR сайта, где они расположены.»
В статье показаны приемы организации работы анализатора кода PVS-Studio вместе с системами непрерывной интеграции (continuous integration).»
В статье сравниваются три механизма анализа кода с точки зрения выявления 64-битных ошибок: компилятор Visual C++2010, компонент Code Analysis for C/C++ входящий в состав Visual Studio 2010 Premium/Ultimate и анализатор Viva64 входящий в состав PVS-Studio 3.60. »
Статья представляет собой наиболее полную коллекцию примеров 64-битных ошибок на языках Си и Си++. »
Терминология
VivaMP
VivaMP. Коммерческий продукт компании ООО "Системы программной верификации", представляющий собой статический анализатор исходного кода. Анализатор предназначен для выявления ошибок в параллельных программах, в которых используется технология OpenMP. Анализатор диагностирует следующие классы ошибок: ошибки вызванные невнимательностью или недостаточным знанием синтаксиса директив OpenMP, ошибки синхронизации, ошибки состояние гонки, а также неэффективные конструкции. VivaMP поддерживает языки Си и Си++ и ориентирован на диагностику Windows-приложений. Анализатор можно разделить на две части: консольный модуль и подключаемый модуль для Visual Studio 2005/2008/2010. Консольная часть непосредственно осуществляет анализ кода и может использоваться как независимо, так в составе сторонних систем. Подключаемый модуль, представляющий собой Add-in, интегрируется в среду разработки Visual Studio и обеспечивает интерактивное взаимодействие пользователя с функциями анализатора. VivaMP имеет простой интерфейс и подробную справочную систему.
В настоящее время программный продукт VivaMP включен в состав PVS-Studio и более не распространяется как отдельное приложение. Используйте программу PVS-Studio для получения необходимых возможностей проверки кода.
Библиографический список
- Евгений Рыжков. VivaMP - инструмент для OpenMP
- Андрей Карпов. Тестирование параллельных программ
- Алексей Колосов, Евгений Рыжков, Андрей Карпов. 32 подводных камня OpenMP при программировании на Си++