PVS-Studio - статический анализатор, выявляющий ошибки в исходном коде приложений на языке C/C++/C++0x. Программа предназначена для разработчиков Windows-приложений на языке C/C++/C++0x. Это инструмент для выявления широкого спектра дефектов в коде. Разработчик уделяет наибольшее внимание поддержке современных диагностик, а не тех, что были актуальны в прошлом веке. Анализатор умеет искать ошибки связанные с использованием WinAPI, STL, OpenMP и так далее. PVS-Studio осуществляет самый мощный в мире анализ для выявления 64-битных ошибок и проблем миграции.

Можно выделить 3 набора правил, включенных в состав PVS-Studio:

1. Диагностика 64-битных ошибок (Viva64)
2. Диагностика параллельных ошибок (VivaMP)
3. Диагностика общего назначения

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

Используемая методология статического анализа кода имеет существенные преимущества над другими видами анализа, так как позволяет охватить весь программный код. Процедура проверки кода не может как-либо повредить сам код. Процесс анализа полностью контролируется человеком, и именно он принимает решения о необходимости его модификации.

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

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

PVS-Studio is a static analyzer that detects errors in source code of C/C++/C++0x applications. There are 3 sets of rules included into PVS-Studio: Diagnosis of 64-bit errors (Viva64); Diagnosis of parallel errors (VivaMP); General-purpose diagnosis. The PVS-Studio tool is intended for developers of contemporary applications and it integrates into the Visual Studio 2005/2008/2010 environment providing the programmer with a convenient user interface to analyze files, navigate through code and get reference information. You do not need to study documentation and settings preliminarily to work with the analyzer. The analyzer is ready to work right after it is installed.

PVS-Studio Features

Integration with Visual Studio 2005/2008/2010;
online-help;
pdf-documentation;
saving and loading of analysis results;
capability of command line launch;
support of all cores and processors;
estimate of complexity of 64-bit code migration;
support of Windows (LLP64) and Linux (LP64) data models;
interactive filters;
convenient integration into the team development process;
marking of program text with the purpose of checking new code only.

Активация | Рег. код: Присутствует
Операционная система: Windows 2000/2003/XP/Vista/Win 7.
Язык интерфейса: Multilanguage
Размер: 19.99 MB

Скачать PVS-Studio 4.35