Компания Microsoft постепенно начала открывать исходный код некоторых своих проектов. Наша команда этому очень рада. Мы разделяем мнение, что код, над которым работают в Microsoft, имеет высокое качество. Более того, в компании Microsoft при разработке уже используются анализаторы кода. Поэтому, то, что инструменту 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#.
Надеюсь, вас заинтересуют приведённые мною статьи, и вы захотите попробовать PVS-Studio, чтобы проверить свой проект. Это наилучший способ увидеть пользу, которую может приносить статический анализ кода. Только помните, что разовая проверка проекта не является эффективным способом в борьбе с ошибками. Запускать анализатор следует регулярно, чтобы сразу выявлять ошибки в новом коде.
Хватит слов. Попробуйте анализатор в деле: http://www.viva64.com/ru/pvs-studio/download/