Демонстрация возможностей анализатора PVS-Studio на примере открытых проектов компании Microsoft

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



Данная статья устарела. Обновляемый список статей о проверенных проектах находится здесь.

Компания Microsoft постепенно начала открывать исходный код некоторых своих проектов. Наша команда этому очень рада. Мы разделяем мнение, что код, над которым работают в Microsoft, имеет высокое качество. Более того, в компании Microsoft при разработке уже используются анализаторы кода. Поэтому, то, что инструменту PVS-Studio удаётся найти ошибки, является отличной демонстрацией его возможностей.

Picture 1

PVS-Studio

Те, кто уже знают, что такое анализатор PVS-Studio могут пропустить этот вступление.

PVS-Studio - это инструмент для выявления ошибок в исходном коде программ, написанных на языках С, C++ и C#. PVS-Studio выполняет статический анализ кода и генерирует отчёт, помогающий программисту находить и устранять ошибки. PVS-Studio выполняет широкий спектр проверок кода, но наиболее силён в поисках опечаток и последствий неудачного Copy-Paste.

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

Демонстрация возможностей

Я давно уже убедился, что нет смысла писать красивые рекламные слова о PVS-Studio. Они не интересны программистам. Я их отлично понимаю, ведь я и сам программист. Как сказал Linus Torvalds: "Болтовня ничего не стоит. Покажите мне код". В нашем случае, правда, следует немного перефразировать: "Болтовня ничего не стоит. Покажите мне ошибки в коде".

У нас есть масса примеров, которые говорят сами за себя. На данный момент нашей командой проверено множество открытых проектов и найдено 9574 ошибок. Мы находим ошибки в таких проектах как Clang, Wine, Qt, Chromium, Unreal Engine и так далее. Вы можете самостоятельно познакомиться с базой ошибок и прочувствовать могучую силу PVS-Studio.

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

Также, наши статьи о проверке проектов является косвенным сравнением с анализатором FxCop и встроенными в Visual Studio диагностиками. Раз PVS-Studio может находить ошибки после них, значит его стоит включить в ваш процесс разработки.

Итак, предлагаю познакомиться со статьями, демонстрирующими возможности PVS-Studio на проектах, написанных на языках C++ и C#.

C++

С#

Заключение

Надеюсь, вас заинтересуют приведённые мною статьи, и вы захотите попробовать PVS-Studio, чтобы проверить свой проект. Это наилучший способ увидеть пользу, которую может приносить статический анализ кода. Только помните, что разовая проверка проекта не является эффективным способом в борьбе с ошибками. Запускать анализатор следует регулярно, чтобы сразу выявлять ошибки в новом коде.

Хватит слов. Попробуйте анализатор в деле: http://www.viva64.com/ru/pvs-studio-download/



Найдите ошибки в своем C, C++, C# и Java коде

Предлагаем попробовать проверить код вашего проекта с помощью анализатора кода PVS-Studio. Одна найденная в нём ошибка скажет вам о пользе методологии статического анализа кода больше, чем десяток статей.

goto PVS-Studio;

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


Найденные ошибки

Проверено проектов
361
Собрано ошибок
13 417

А ты совершаешь ошибки в коде?

Проверь с помощью
PVS-Studio

Статический анализ
кода для C, C++, C#
и Java

goto PVS-Studio;