Moved Permanently

The document has moved here.

PVS-Studio

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

Объединяя в себе возможности анализа 64-битного кода из программы Viva64 и параллельного кода из программы VivaMP, PVS-Studio позволяет разрабатывать, тестировать, выполнять миграцию и верификацию, и в результате создавать приложения на языках Си и Си++ с высоким уровнем надежности.

Сферы применения PVS-Studio:

• разработка надежных 64-битных приложений;
• перенос существующего исходного 32-битного кода на 64-битные системы;
• оптимизация 64-битных приложений;
• добавление в программу поддержки параллельности на базе технологии OpenMP.

PVS-Studio представляет собой модуль расширения для среды Visual Studio 2005/2008/2010. Системные требования PVS-Studio совпадают с требованиями среды, Visual Studio 2005/2008/2010. Стоит только заметить, что для эффективного использования PVS-Studio рационально использовать многоядерную системы с двумя или более мегабайтами памяти, чтобы анализатор мог запустить для анализа проекта параллельно несколько процессов.

Страничка продукта: http://www.viva64.com/ru/pvs-studio/

Библиографический список

• Евгений Рыжков. Учебное пособие по PVS-Studio. http://www.viva64.com/art-4-1-1796251700.html
• Евгений Рыжков. Знакомство с анализатором кода PVS-Studio. http://www.viva64.com/art-4-1-1298120896.html