Захват всех вызовов компилятора и параметров командной строки во время сборки

Я хочу запустить инструменты для статического анализа кода C / C ++ (и, возможно, Python, Java и т. Д.) Для большого программного проекта, созданного с помощью make, Как известно, make (или любой другой инструмент сборки) вызывает компилятор и подобные инструменты для указанных файлов исходного кода. Также возможно управлять компиляцией, определяя переменные окружения, которые впоследствии будут передаваться компилятору через его аргументы.

Ключом к точному статическому анализу является предоставление определений и включение путей в точности так, как они были переданы компилятору (в основном все его -D а также -I аргументы). Таким образом, инструмент сможет следовать тем же путям кода, что и компилятор.

Проблема в том, что высокая сложность проекта означает, что нет возможности статически определить такую ​​среду, так как разные файлы создаются с разными наборами путей определения / включения и другими флагами компиляции.

Идея заключается в том, что должна быть возможность каким-то образом захватывать отдельные вызовы компилятора, передавая ему все аргументы для каждого входного файла. Наличие такой информации и ее прямая фильтрация (например, нет необходимости знать -O уровни оптимизации или -W настройки предупреждений) должна быть возможность вызывать статический анализатор для каждого входного файла с идентичным набором определений / включений, используемых только для этого входного файла.

Вопрос в том: Существуют ли инструменты / рабочие процессы, которые реализуют идею, которую я описал? Меня больше всего интересует решение для систем POSIX, но идеи для Windows также приветствуются.

Несколько идей, к которым я пришел самостоятельно.

• Наиболее тривиальным решением было бы собрать make вывести и обработать его потом. Тем не менее, некоторые проекты имеют правила make-файлов, которые дают очень краткий вывод, а не подробный, поэтому может потребоваться некоторая работа с Make-файлами, что не всегда желательно. Параллельные сборки могут также иметь смешанный вывод на консоли и их невозможно проанализировать. Адаптация к другим системам сборки (Cmake) также не будет тривиальной, так что это далеко не самый удобный способ.

• Бег make под ptrace и запись всех вызовов exec* системные вызовы, которые соответствуют запуску новых приложений, включая вызовы компилятора. Тогда нужно будет разобрать ptraceвыходной. Этот подход не зависит от системы сборки и языка (отлавливает все вызовы любого компилятора для любого языка) и должен работать для параллельных сборок. Однако это кажется более технически сложным. Снижение производительности в процессе сборки из-за ptrace сидя на makeнепонятно также. Также будет сложнее перенести его на Windows, так как API трассировки программ там несколько другой.

• Фирменный статический анализатор для C ++ в Windows (и недавно в Linux AFAIK) PVS-Studio, похоже, реализует второй подход, однако подробности о том, как они это делают, приветствуются. Если есть другие IDE / инструменты, которые уже имеют что-то похожее на то, что мне нужно, пожалуйста, поделитесь информацией о них.