PVS-Studio - статический анализатор, выявляющий ошибки в исходном коде

приложений на языке C/C++/C++11.

www.viva64.com

Возможности анализа кода

В составе анализатора можно выделить следующие наборы правил:

1. Диагностика общего назначения – более 200 правил, охватывающие как распространённые, так и очень редкие ошибки;

2. Диагностика возможных оптимизаций - выявление участков кода в программах, которые можно оптимизировать;

3. Диагностика 64-битных ошибок – незаменимый инструмент при миграции программ с 32-битных систем на 64-битные.

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

1. Инкрементальный анализ – автоматизация запуска анализатора сразу же после компиляции на машине разработчика;

2. Online/Offline-справки на русском и английском языке;

3. Сохранение и загрузка результатов анализа;

4. Работа на всех ядрах и процессорах;

5. Оценка сложности 64-битной миграции кода;

6. Интерактивные фильтры;

7. Удобная интеграция в командный процесс разработки;

8. Разметка текста программы для проверки только нового кода.

Возможности интеграции

Плагин для

MS Visual Studio

Запуск из

командной строки

Мониторинг запуска

компиляторов

Интеграция с MS Visual Studio

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

Анализатор готов к работе сразу же после инсталляции.

PVS-Studio StandalonePVS-Studio Standalone –утилита, которая позволяет:

1. Просматривать результаты проверки c навигацией по коду и справке без использования MS Visual Studio;

2. Проверять проекты с помощью мониторинга запуска компиляторов во время сборки и независимо от используемой сборочной системы;

3. Проверять уже сгенерированные препроцессированные файлы, просто указав путь к ним и исходным файлам.

Запуск из командной строки

Добавьте вызов анализатора в свой сборочный скрипт и просматривайте лог проверки с помощью утилиты

PVS-Studio Standalone

...

.cpp.o:

$(CXX) $(CFLAGS) $(DFLAGS) $(INCLUDES) $< -o $@

PVS-Studio --cfg PVS-Studio.cfg --source-file $< --cl-params $(CFLAGS) $(DFLAGS) $(INCLUDES)

...

Проверка открытых проектовНа официальном сайте PVS-Studio вы можете найти множество реальных

ошибок, найденных в сотнях open-source проектов, даже в таких известных, как Google Chromium, Qt, Unreal Engine, Oracle Virtual Box и других.

Обновляемый список: http://www.viva64.com/ru/a/0084/

www.viva64.com

OOO "Program Verification Systems"Что мы делаем?

• Мы разрабатываем статический анализатор кода PVS-Studio, обнаруживающий ошибки в программах на C, C++, C++11.

• Заказная разработка. Обладая знаниями, как делать надёжный C++ и C# код, мы предлагаем свои услуги по удалённой разработке и доработке проектов.

www.viva64.comsupport@viva64.com