Какие инструменты статического анализа C++ с открытым исходным кодом доступны?

Шина, кажется, оплачивает счет за C.

Если бы вы не указали открытый исходный код, я бы сказал, что Gimpel SoftwarePCLint, вероятно, является одним из лучших инструментов, доступных для проверки статического кода на C++. Но, конечно, это не с открытым исходным кодом.

Mac OS X:

brew install splint

Если под «открытым исходным кодом» вы действительно имели в виду «бесплатный», то анализ предварительный завтрак от Microsoft подойдет вам. Конечно, только для Windows. Он полностью интегрирован в Visual Studio и компилятор. например.:

cl /analyze Sample.cpp

Статический анализ Mozilla, наверное, стоит посмотреть.

Что касается компилятора GNU, в gcc уже есть встроенная опция, которая включает дополнительный предупреждение к параметрам -Wall. Вариант - -WeffC++, и он о нарушениях некоторых правил Скотт Мейерс, опубликованных в его книгах "Эффективный и более эффективный C++".

В частности, опция определяет следующие элементы:

• Определите конструктор копирования и оператор присваивания для классов с динамически выделяемой памятью.
• Предпочитайте инициализацию присваиванию в конструкторах.
• Сделайте деструкторы виртуальными в базовых классах.
• Попросите "operator =" вернуть ссылку на * this.
• Не пытайтесь вернуть ссылку, если нужно вернуть объект.
• Различают префиксную и постфиксную формы операторов увеличения и уменьшения.
• Никогда не перегружайте "&&", "||" или ",".

На данный момент в разработке, но лязгать выполняет анализ C и нацелен на обработку C++ с течением времени. Это часть проекта LLVM.

Обновлять: Хотя на целевой странице написано: «Работа над анализатором постоянно продолжается», тем не менее, теперь это задокументированный как статический анализатор как для C, так и для C++.

Вопрос: Как запустить GCC / Clang для статического анализа? (только предупреждения)

Параметр компилятора: -fsyntax-only

Oink - это инструмент, созданный на основе интерфейса Elsa C++. Mozilla's Pork - это форк Elsa / Oink.

См .: http://danielwilkerson.com/oink/index.html

Doxygen выполняет некоторый анализ потока управления и генерирует графики. Возможно, это не то, что вы ищете, но я нашел их полезными для просмотра.

CppCheck является кроссплатформенным и открытым исходным кодом.

Mac OS X:

brew install cppcheck

Вы должны попробовать oo-browser, у него отличная интеграция с xemacs

Microsoft PREFast также доступен в Windows Driver Kit. Версия 7.0 загружается здесь.

В документации Microsoft указано, что его следует запускать только с кодом драйвера, но в этом (старом) Сообщение блога изложены шаги по его запуску. Возможно, это можно будет интегрировать в обычный процесс сборки?

Можно также закодировать расширения GCC в ТАЯТЬ (специфический для домена язык, разработанный для расширения GCC) или плагины GCC на C (намного сложнее), чтобы провести некоторый собственный анализ.

Джон Кармак также упоминает PVS-Studio в этом интересном сообщение в блоге "Статический анализ кода".

Мы работаем над подключаемым модулем Eclipse CDT под названием metriculator. Он все еще находится в стадии разработки, но некоторые основные показатели (например, LSLOC, McCabe, EfferentCoupling) уже реализованы.

См. http://sinv-56013.edu.hsr.ch/redmine/projects/metricular/wiki/Documentation для получения дополнительных сведений, таких как демонстрация видео и документация.

Последняя ночная сборка доступна для установки через сайт обновлений по адресу: http://sinv-56013.edu.hsr.ch/metriculator/updatesite-nightly/site/

Дальнейшее описание

Metriculator статически анализирует исходный код C++ и генерирует метрики программного обеспечения. Метрики реализованы как Шашки Codan. Результаты анализа можно просмотреть в отдельном окне. Каждый метрика имеет настраиваемые свойства (например, порог для максимального количества строк кода на функция '). Превышение этого порога сообщит о проблеме и создаст маркер. в редакторе исходного кода.

с помощью метрикулятора вы можете:

• анализировать файлы / папки / проекты C++
• определить пороги метрики и включить / отключить метрику с помощью страницы настроек Codans
• иметь маркеры проблем в редакторах исходного кода
• изучить метрические результаты
• экспортировать результаты показателей в виде облака тегов (доступно как дополнительная функция через сайт обновлений)

В настоящее время метрикулятор предоставляет следующие метрики:

• Маккейб (цикломатическая сложность)
• Эфферентная связь по типу
• Логические исходные строки кода
• Количество членов на тип
• Количество параметров на функцию

Кто-то еще упомянул -WeffC++, но на самом деле это одно из немногих предупреждений GCC, которые я не включаю по умолчанию. Однако набор предупреждений, которые я включаю, является наиболее важным инструментом статического анализа в моем наборе. Вы можете увидеть полный список рекомендуемых предупреждений.

В итоге:

-pedantic -Wall -Wextra -Wcast-align -Wcast-qual -Wctor-dtor-privacy -Wdisabled-optimization -Wformat=2 -Winit-self -Wlogical-op -Wmissing-declarations -Wmissing-include-dirs -Wnoexcept -Wold-style-cast -Woverloaded-virtual -Wredundant-decls -Wshadow -Wsign-conversion -Wsign-promo -Wstrict-null-sentinel -Wstrict-overflow=5 -Wswitch-default -Wundef -Werror -Wno-unused

Обратите внимание, что для некоторых из них требуется новая версия gcc, поэтому вам может потребоваться удалить их из своего списка, если вы застряли на 4.5 или что-то в этом роде.