Описание PVS-Studio

PVS-Studio - набор статических анализаторов исходного кода, предназначенный для выявления в программах 64-битных и параллельных ошибок. Инструмент предназначен для разработчиков современных ресурсоемких приложений. PVS-Studio интегрируется в среду Visual Studio 2005/2008/2010 и поддерживает работу с языками Си/Си++. В состав PVS-Studio входит анализатор Viva64 для выявления ошибок в 64-битных программах и анализатор VivaMP для поиска ошибок в параллельных программах, построенных с использованием технологии OpenMP. Важной возможностью является оценка времени и сложности процесса миграции кода на 64-битные системы.

Инструмент PVS-Studio является собственной разработкой российской компании ООО "Системы программной верификации".

Особенности PVS-Studio

• интеграция с Visual Studio 2005/2008/2010;
• online-справка на русском и английском языке;
• документация в pdf; 
• сохранение и загрузка результатов анализа;
• возможность запуска из командной строки;
• работа на всех ядрах и процессорах;
• предварительная проверка 32-битных проектов;
• оценка сложности 64-битной миграции кода;
• поддержка Windows (LLP64) и Linux (LP64) моделей данных;
• интерактивные фильтры;
• удобная интеграция в командный процесс разработки;
• разметка текста программы для проверки только нового кода.

Типы дефектов, обнаруживаемые PVS-Studio

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

Преимущества PVS-Studio

• Легко скачать! На нашем сайте доступна 30-дневная ознакомительная версия PVS-Studio, которую вы можете легко скачать без регистрации и заполнения анкет.
• Легко попробовать! Программа PVS-Studio реализована в качестве модуля расширения для Visual Studio 2005/2008/2010. Программа проста в установке и для начала работы не требует специальной настройки. В составе дистрибутива идут примеры программ (с исходным кодом), в которых собраны все диагностируемые ошибки. Вы можете установить эти примеры и изучить на них работу инструмента PVS-Studio.
• Легко купить! В отличие от других анализаторов кода, у нас простая ценовая и лицензионная политика. Мы не будем спрашивать, какой объем кода у вашего приложения или навязывать по телефону обучающие курсы. Вы определяетесь на странице заказа с тем, что вам необходимо, оплачиваете покупку и получаете по e-mail регистрационный ключ.

Применение PVS-Studio - истории успеха

Дополнительные материалы по PVS-Studio