Статический анализатор clang ++ и Makefiles

Question

Я недавно обнаружил функцию статического анализатора clang ++, и это фантастика, когда я просматриваю свой код с помощью тонкой зубчатой ​​гребенки, чтобы найти скрытые ошибки. Я просто раскомментировать эту строку в моем Makefile:

CXXFLAGS += --analyze -Xanalyzer -analyzer-output=text 

и вуаля, я нахожусь в режиме глубокой ошибки проверки.

Однако одна из незначительных проблем заключается в том, что всякий раз, когда анализатор не обнаруживает каких-либо проблем в конкретном файле .cpp, не создается какой-либо файл .o.

Обычно это не будет большой проблемой (я могу всегда перекомпоновать приведенную выше строку для создания фактического исполняемого файла), но обычно, когда я вижу предупреждение анализатора, первое, что я хочу сделать, это попытаться исправить основную проблему, а затем повторно запустить make.

... который работает, но поскольку файлы .o не генерируются, make начнет повторный анализ всех файлов .cpp с самого начала, а не только файлы .cpp, которые я фактически изменил с момента предыдущего запуска , Это означает, что я трачу довольно много времени на повторную проверку файлов .cpp, которые не изменились.

Мой вопрос в том, есть ли способ заставить статический анализатор выводить файл .o (он не должен быть допустимым объектным файлом, просто любым файлом с обновленной меткой времени), чтобы Make знал, что «чистый» .cpp-файл не нужно перерабатывать? (т. е. make Make работать так же, как при обычном компиляции)

Answer 1

Проверьте clang static analyzer page и получите пакет для загрузки. Вы можете использовать прилагаемый инструмент scan-build, чтобы сделать то, что вы пытаетесь.

Обычный способ использовать это, чтобы избавиться от флагов у вас есть выше, и просто запустите:

$ scan-build make whatever 

И это должно «просто работать». Возможно, вам потребуется передать еще несколько флагов или установить некоторые переменные среды, если вы не используете стандартные имена переменных make.