PVS-Studio - это инструмент для выявления ошибок в исходном коде программ, написанных на языках С, C++ и C#.
PVS-Studio выполняет статический анализ кода и генерирует отчёт, помогающий программисту находить и устранять ошибки. PVS-Studio выполняет широкий спектр проверок кода, но наиболее силён в поисках опечаток и последствий неудачного Copy-Paste. Показательные примеры таких ошибок: V501, V517, V522, V523, V3001.
Анализатор ориентирован на разработчиков, использующих среду Visual Studio, и может в фоновом режиме выполнять анализ измененных файлов после их компиляции. В идеале ошибки будут обнаружены и исправлены ещё до попадания в репозиторий. Однако ничто не мешает использовать анализатор для проверки всего решения целиком или для встраивания в системы непрерывной интеграции. Эти и иные способы использования анализатора описаны в документации.
PVS-Studio выполняет статический анализ кода и генерирует отчёт, помогающий программисту находить и устранять ошибки. PVS-Studio выполняет широкий спектр проверок кода, но наиболее силён в поисках опечаток и последствий неудачного Copy-Paste. Показательные примеры таких ошибок: V501, V517, V522, V523, V3001.
Анализатор ориентирован на разработчиков, использующих среду Visual Studio, и может в фоновом режиме выполнять анализ измененных файлов после их компиляции. В идеале ошибки будут обнаружены и исправлены ещё до попадания в репозиторий. Однако ничто не мешает использовать анализатор для проверки всего решения целиком или для встраивания в системы непрерывной интеграции. Эти и иные способы использования анализатора описаны в документации.
Демонстрация возможностей анализатора PVS-Studio на примере открытых проектов компании Microsoft
Запись от el_programmer размещена 18.05.2016 в 17:24
Показов 2481
Комментарии 0
Метки c#, c++, cpp, csharp, microsoft, open source, programming
|
Автор: Андрей Карпов Компания Microsoft постепенно начала отрывать исходный код некоторых своих проектов. Наша команда этому очень рада. Мы разделяем мнение, что код, над которым работают в Microsoft, имеет высокое качество. Более того, в компании Microsoft при разработке уже используются анализаторы кода. Поэтому, то, что инструменту PVS-Studio удаётся найти ошибки, является отличной демонстрацией его возможностей. 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, чтобы проверить свой проект. Это наилучший способ увидеть пользу, которую может приносить статический анализ кода. Только помните, что разовая проверка проекта не является эффективным способом в борьбе с ошибками. Запускать анализатор следует регулярно, чтобы сразу выявлять ошибки в новом коде. |
Метки c#, c++, cpp, csharp, microsoft, open source, programming
Размещено в Без категории
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
Всего комментариев 0
Комментарии
