Описание PVS-Studio
PVS-Studio - статический анализатор, выявляющий ошибки в исходном коде приложений на языке C/C++/C++11. Можно выделить следующие наборы правил, включенных в состав PVS-Studio:
- Диагностика общего назначения
- Диагностика возможных оптимизаций
- Диагностика 64-битных ошибок (Viva64)
- Диагностика параллельных ошибок (VivaMP)
Подробнее с каждым из типов диагностики можно ознакомиться на соответствующих страницах. Инструмент PVS-Studio предназначен для разработчиков современных приложений и интегрируется в среду Visual Studio 2005/2008/2010. При этом предоставляется удобный пользовательский интерфейс для анализа файлов, навигации по коду, получения справочной информации. Работа с анализатором не требует предварительного изучения документации и настройки. Анализатор готов к работе сразу же после инсталляции.
Используемая методология статического анализа кода имеет существенные преимущества над другими видами анализа, так как позволяет охватить весь программный код. Процедура проверки кода не может как-либо повредить сам код. Процесс анализа полностью контролируется человеком, и именно он принимает решения о необходимости его модификации.
Посмотрите или скачайте презентацию про PVS-Studio.
Особенности PVS-Studio
- интеграция с Visual Studio 2005/2008/2010;
- online-справка на русском и английском языке;
- документация в pdf;
- сохранение и загрузка результатов анализа;
- возможность запуска из командной строки;
- работа на всех ядрах и процессорах;
- оценка сложности 64-битной миграции кода;
- поддержка Windows (LLP64) и Linux (LP64) моделей данных;
- интерактивные фильтры;
- удобная интеграция в командный процесс разработки;
- разметка текста программы для проверки только нового кода.
Преимущества PVS-Studio
- Легко скачать! Вы можете скачать дистрибутив PVS-Studio, не регистрируясь и не заполняя анкет.
- Легко попробовать! Программа PVS-Studio реализована в качестве модуля расширения для Visual Studio 2005/2008/2010. Программа проста в установке и для начала работы не требует специальной настройки.
- Легко купить! В отличие от других анализаторов кода, у нас простая ценовая и лицензионная политика. Мы не будем спрашивать, какой объем кода у вашего приложения или навязывать по телефону обучающие курсы. Вы определяетесь на странице заказа с тем, что вам необходимо, оплачиваете покупку и получаете по e-mail регистрационный ключ.
- Легко получить ответ! С нашими клиентами общаются непосредственно разработчики анализатора, что позволяет быстро отвечать даже на сложные вопросы, связанные с программированием.
Читайте про ошибки, найденные в известных проектах с помощью PVS-Studio
- 90 ошибок в open-source проектах
- Firefox
- Doom 3
- Clang
- WinMerge
- Chromium, Return to Castle Wolfenstein, etc
- Miranda IM
- Intel IPP Samples
- Fennec Media Project
- Ultimate Toolbox
- Loki
- eMule Plus, Pixie, VirtualDub, WinMerge, XUIFramework
- Chromium
- Qt
- Apache HTTP Server
- TortoiseSVN
- Intel Energy Checker SDK