PARALLEL.RU

Дискуссионный клуб по параллельным вычислениям
Текущее время: 20 окт 20 2:48

Часовой пояс: UTC + 4 часа [ Летнее время ]




Начать новую тему Ответить на тему  [ 1 сообщение ] 
Автор Сообщение
СообщениеДобавлено: 26 мар 10 21:48 
Не в сети

Зарегистрирован: 14 сен 08 20:57
Сообщения: 2
Предлагаю вашему вниманию новую версию статического анализатора кода PVS-Studio 3.50, которая претерпела существенные изменения.

PVS-Studio это инструмент анализа исходного кода современных ресурсоемких приложений на языке Си/Си++, интегрирующийся в среду разработки Visual Studio. Разработчиком является российская компания ООО "Системы программной верификации".

В состав PVS-Studio входит два анализатора:

Изображение

Viva64 - служит для выявления дефектов в коде 64-битных приложений. Уменьшает стоимость миграции 32-битного кода на 64-битные системы, а также помогает создавать новые надежные 64-битные приложения. Подробно с тематикой разработки 64-битных приложений вы можете познакомиться на сайте компании в разделе "64-битные уроки".

VivaMP - выявляет многие типовые ошибки, допускаемые разработчиками при осваивании и использовании технологии OpenMP. Помогает в освоении технологии параллельного программирования и внедрении технологии OpenMP в процесс разработки программного обеспечения.

Ознакомительная версия PVS-Studio доступна для скачивания по адресу: http://www.viva64.com/ru/pvs-studio/download/.

В новой версии имеется семь важных нововведений:

  • PVS-Studio поддерживает работу в Visual Studio 2010 RC. Хотя официальный выпуск Visual Studio еще не состоялся, мы уже добавили поддержку этой среды в анализатор. Сейчас PVS-Studio интегрируется в Visual Studio 2010 и может проверять проекты в этой среде. В Visual Studio 2010 изменена справочная система, поэтому пока справка от PVS-Studio не интегрируется в документацию, как это делается в Visual Studio 2005/2008. Но вы по-прежнему можете пользоваться online-справкой. Поддержка Visual Studio 2010 RC реализована не полностью.
  • Реализована поддержка стандарта C++0x на уровне, на котором она осуществлена в Visual Studio 2010 RC. Реализована поддержка лямбда-выражений, auto, decltype, static_assert, nullptr и так далее. В дальнейшем, с развитием поддержки C++0x в Visual C++, анализатор PVS-Studio также будет поддерживать новые возможности языка Си++.
  • Доступна PDF-версия справочной системы. Теперь в дистрибутиве с PVS-Studio идет 45-страничный PDF-документ. Это копия нашей справочной системы (которая интегрируется в MSDN в Visual Studio 2005/2008 или доступна online).
  • В PVS-Studio появился механизм автоматического определения новых версий инструмента на нашем сайте. Если включена опция CheckForNewVersions , то при запуске проверки кода (команды Check Current File, Check Current Project, Check Solution меню PVS-Studio) выполняется проверка наличия обновленной версии на сайте компании.
  • Стало возможно запускать проверку проектов с помощью PVS-Studio не из Visual Studio, а с помощью командой строки. Обратите внимание, что речь идет все равно о проверке из Visual Studio с использованием файлов проектов (.vcproj) и решений (.sln), но при этом запуск анализа будет осуществляться не из IDE, а из командной строки. Такой вариант запуска удобен для регулярной проверки кода с помощью систем сборки (build system) или систем непрерывной интеграции (continuous integration system).
  • Добавлено новое диагностическое сообщение V1212: Data race risk. When accessing the array 'foo' in a parallel loop, different indexes are used for writing and reading.
  • В этой версии инструмента мы ввели сертификат подписи кода. Это позволит пользователям быть уверенным в подлинности дистрибутива и получать меньше сообщений от операционной системы при установке приложения.

Надеюсь, что новая версия инструмента PVS-Studio понравится как текущим, так и новым пользователям.


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ 1 сообщение ] 

Часовой пояс: UTC + 4 часа [ Летнее время ]


Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 3


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Перейти:  
cron
Создано на основе phpBB® Forum Software © phpBB Group
Русская поддержка phpBB