metrica
Мы используем куки, чтобы пользоваться сайтом было удобно.
Хорошо
to the top
close form

Заполните форму в два простых шага ниже:

Ваши контактные данные:

Шаг 1
Поздравляем! У вас есть промокод!

Тип желаемой лицензии:

Шаг 2
Team license
Enterprise license
** Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности
close form
Запросите информацию о ценах
Новая лицензия
Продление лицензии
--Выберите валюту--
USD
EUR
RUB
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

close form
Бесплатная лицензия PVS‑Studio для специалистов Microsoft MVP
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

close form
Для получения лицензии для вашего открытого
проекта заполните, пожалуйста, эту форму
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

close form
Мне интересно попробовать плагин на:
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

close form
check circle
Ваше сообщение отправлено.

Мы ответим вам на


Если вы так и не получили ответ, пожалуйста, проверьте папку
Spam/Junk и нажмите на письме кнопку "Не спам".
Так Вы не пропустите ответы от нашей команды.

Вебинар: Трудности при интеграции SAST, как с ними справляться - 04.04

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

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

18 Май 2016

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

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

0398_Microsoft_ru/image1.png

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/

Популярные статьи по теме


Комментарии (0)

Следующие комментарии next comments
close comment form