Главная
Блог разработчиков phpBB
 
+ 17 предустановленных модов
+ SEO-оптимизация форума
+ авторизация через соц. сети
+ защита от спама

Сопоставление анализаторов кода: CppCat, Cppcheck, PVS-Studio, Visual Studio

Anna | 24.06.2014 | нет комментариев

Авторы: Евгений Рыжков (EvgeniyRyzhkov), Андрей Карпов (Andrey2008), Павел Еремеев (Paull), Святослав Размыслов (svyatoslavmc).

CppCat vs PVS-Studio vs Cppcheck vs Visual Studio

Мы провели подробное сопоставление четырёх анализаторов Си/Си кода: CppCat, Cppcheck, PVS-Studio и статический анализатор, встроенный в Visual Studio 2013. Это солидное изыскание, на которое нами было потрачено около 170 человеко-часов и которое, на наш взор, отлично отражает картину, существующую на данный момент.

О сопоставлении

Для изыскания было проверено больше десяти open-source планов.

Был выставлен рекомендуемый ярус подробности диагностических сообщений:

  • CppCat: все диагностики (нет ярусов);
  • Cppcheck: Errors и Warnings;
  • PVS-Studio: 1 и 2 ярус диагностик всеобщего назначения;
  • Visual Studio: Microsoft Native Recommended Rules.

В итоге, были получены отчёты, которые мы наблюдательно проанализировали. Были выбраны те сообщения, которые, по нашему суждению, указывают на ошибки в коде либо в любом случае заслуживают пристального внимания. Итоги были обобщены и представлены в этой статье.

Детально методика сопоставления описана в статье «Как мы сопоставляли анализаторы кода CppCat, Cppcheck, PVS-Studio, Visual Studio» (на русскомна английском). В ней же дозволено будет обнаружить наименования испытанных планов, какие именно диагностические сообщения были выбраны, примеры обнаруженных ошибок и так дальше. Там же описана повод, отчего не удалось указать информацию о числе неверных срабатываний.

Итоги сопоставления

Итоги сопоставления анализаторов CppCat, Cppcheck, PVS-Studio и Visual Studio представлены в следующих 3 таблицах:

Таблица 1 – Количество обнаруженных реальных проблем, в штуках

Таблица 1 – число найденных реальных задач, в штуках

Таблица 2 – Количество обнаруженных реальных проблем, в процентах

Таблица 2 – число найденных реальных задач, в процентах

Таблица 3 – Время работы анализаторов, в минутах

Таблица 3 – Время работы анализаторов, в минутах

Время

Мы не считаем время обзора значительным параметром сопоставления. Но про скорость работы регулярно задают вопросы, следственно мы включили замеры времени в эту статью.

Источник: programmingmaster.ru

Оставить комментарий
Форум phpBB, русская поддержка форума phpBB
Рейтинг@Mail.ru 2008 - 2017 © BB3x.ru - русская поддержка форума phpBB