Всё о PVS-Studio

15 Май 2012

Автор: Андрей Карпов

О статическом анализе кода
Примеры использования PVS-Studio
Ресурсы, создаваемые коллективом разработчиков PVS-Studio
Разное
Контактная информация

PVS-Studio – статический анализатор, выявляющий ошибки в исходном коде приложений на языке C/C++/C++11. Инструмент PVS-Studio интегрируется в среду Visual Studio 2005/2008/2010.

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

О статическом анализе кода

Статья в разделе терминология: Статический анализ кода.
Статья Джона Кармака: Static Code Analysis.
Статический анализ кода: обзоры различных статей.
Мифы о статическом анализе кода: N1, N2, N3, N4, N5.
Список статических анализаторов сайте Wikipedia: List of tools for static code analysis.

Примеры использования PVS-Studio

Статья "100 багов в Open Source проектах на языке Си/Си++".
Три проверки проекта IPP Samples. Статьи хорошо демонстрируют активное развитие возможностей анализатора PVS-Studio: N1, N2, N3.
Статья "Проверка проекта Blender с помощью PVS-Studio".
Статья "Проверка проекта Quake III Arena GPL"
Проверка некоторых других проектов: Qt, Firefox, Clang, WinMerge, Miranda IM, Fennec Media Project, Chromium, Apache HTTP Server, TortoiseSVN, ReactOS.

Мы постоянно проверяем различные open-source проекты и благодарны нашим читателям, присылающие ссылки на интересные проекты. Если у вас есть предложение, то просим прочитать вот это и написать нам.

Ресурсы, создаваемые коллективом разработчиков PVS-Studio

В первую очередь, мы хотим пригласить вас в наш твиттер @Code_Analysis, посвящённый программированию на Си/Си++ и статическому анализу кода. Там вы сможете узнать о новостях мира C/C++ и узнать о наших новых статьях.

Предлагаем вниманию некоторые наиболее интересные статьи:

Уроки разработки 64-битных приложений на языке Си/Си++.
Как уменьшить вероятность ошибки на этапе написания кода. Часть N1, N2, N3, N4.
Не зная брода, не лезь в воду. Часть первая. Явный вызов конструкторов.
Не зная брода, не лезь в воду. Часть вторая. Как атакуют printf.
Не зная брода, не лезь в воду. Часть третья. Поговорим об операциях сдвига <<, >>.
Коллекция примеров 64-битных ошибок в реальных программах
Есть ли практический смысл использовать для итераторов префиксный оператор инкремента ++it, вместо постфиксного it++?
32 подводных камня OpenMP при программировании на Си++.