В составе анализатора можно выделить следующие наборы правил: Диагностика общего назначения – более 200 правил, охватывающие как распространённые, так и очень редкие ошибки; Диагностика возможных оптимизаций - выявление участков кода в программах, которые можно оптимизировать; Диагностика 64-битных ошибок – незаменимый инструмент при миграции программ с 32-битных систем на 64-битные.

1. PVS-Studio - статический анализатор,
выявляющий ошибки в исходном коде
приложений на языке C/C++/C++11.
www.viva64.com

2. Возможности анализа кода
В составе анализатора можно выделить следующие наборы правил:
1. Диагностика общего назначения – более 200 правил, охватывающие как
распространённые, так и очень редкие ошибки;
2. Диагностика возможных оптимизаций - выявление участков кода в
программах, которые можно оптимизировать;
3. Диагностика 64-битных ошибок – незаменимый инструмент при
миграции программ с 32-битных систем на 64-битные.

3. Особенности PVS-Studio
1. Инкрементальный анализ – автоматизация запуска анализатора сразу же
после компиляции на машине разработчика;
2. Online/Offline-справки на русском и английском языке;
3. Сохранение и загрузка результатов анализа;
4. Работа на всех ядрах и процессорах;
5. Оценка сложности 64-битной миграции кода;
6. Интерактивные фильтры;
7. Удобная интеграция в командный процесс разработки;
8. Разметка текста программы для проверки только нового кода.

4. Возможности интеграции
Плагин для
MS Visual Studio
Запуск из
командной строки
Мониторинг
запуска
компиляторов

5. Интеграция с MS Visual Studio
Инструмент PVS-Studio интегрируется в среду Visual Studio 2013, 2012, 2010,
2008, 2005. При этом предоставляется удобный пользовательский интерфейс
для анализа файлов, навигации по коду, получения справочной информации.
Анализатор готов к работе сразу же после инсталляции.

6. PVS-Studio Standalone
PVS-Studio Standalone –утилита, которая
позволяет:
1. Просматривать результаты проверки c
навигацией по коду и справке без
использования MS Visual Studio;
2. Проверять проекты с помощью
мониторинга запуска компиляторов во
время сборки и независимо от
используемой сборочной системы;
3. Проверять уже сгенерированные
препроцессированные файлы, просто
указав путь к ним и исходным файлам.

7. Запуск из командной строки
Добавьте вызов анализатора в свой сборочный скрипт
и просматривайте лог проверки с помощью утилиты
PVS-Studio Standalone
...
.cpp.o:
$(CXX) $(CFLAGS) $(DFLAGS) $(INCLUDES) $< -o $@
PVS-Studio --cfg PVS-Studio.cfg --source-file $< --cl-params $(CFLAGS) $(DFLAGS) $(INCLUDES)
...

8. Проверка открытых проектов
На официальном сайте PVS-Studio вы можете найти множество реальных
ошибок, найденных в сотнях open-source проектов, даже в таких известных, как
Google Chromium, Qt, Unreal Engine, Oracle Virtual Box и других.
Обновляемый список: http://www.viva64.com/ru/a/0084/
www.viva64.com

9. OOO "Program Verification Systems"
Что мы делаем?
• Мы разрабатываем статический анализатор кода PVS-Studio, обнаруживающий
ошибки в программах на C, C++, C++11.
• Заказная разработка. Обладая знаниями, как делать надёжный C++ и C# код, мы
предлагаем свои услуги по удалённой разработке и доработке проектов.
www.viva64.com
support@viva64.com