# Зависит ли результат статического анализа кода от используемого компилятора?

В очередном обсуждении статических анализаторов кода мы как обычно :\) упомянули наш инструмент PVS\-Studio\. Один из участников дискуссии задал вопрос: "А зависит ли вообще результат работы анализатора кода от используемого компилятора?"\. Ответ на этот вопрос значительно более сложен, чем кажется на первый взгляд\. Поэтому и появилась эта запись\.


> Среды разработки Visual Studio 2005 и 2008 более не поддерживаются\\\. Вы можете ознакомиться со списком поддерживаемых сред разработки в разделе документации "\[Системные требования анализатора PVS\\\-Studio\]\(https://pvs\-studio\.ru/ru/docs/manual/0018/\)"\\\.

Короткий вариант ответа такой\. Статический анализатор кода \- это инструмент, который полностью не зависит от компилятора, использует свои технологии для разбора кода и поиска проблем в нем\. Но это ведь в теории, а что на практике?

Во\-первых, разработчики статических анализаторов кода очень часто "любят" одни средства разработки и оставляют в стороне \(конечно же не заслуженно\) другие\. Например, если инструмент ориентируется на Windows\-платформу, то очевидно работать с GCC он, скорее всего, не будет\. Да даже и в рамках Windows\-платформы инструмент, ориентированный на продукцию Microsoft, вряд ли сходу заработает с продукцией Embarcadero \(это продолжатели дела Borland\)\. Ведь если говорить, к примеру, о языке Си\+\+, то производители разных компиляторов всегда имеют некоторые несовместимые нюансы\. Возможно дело в размере стандарта Си\+\+, возможно \- в нюансах маркетинговых войн\. Тем не менее, это так\.

Во\-вторых, статический анализатор кода вполне может использовать часть компилятора в своей работе\. Например, наш анализатор PVS\-Studio использует внешний препроцессор\. И, конечно же, это сказывается на его работе\.

В\-третьих, даже использование статического анализатора с одним и тем же средством разработки \(компилятором\), но разных версий также имеет свои нюансы\. Например, у нас есть тесты для PVS\-Studio, это порядка 30 приложений \(90 проектов\) в исходных кодах\. Полная проверка этого набора с помощью нашего инструмента занимает в Visual Studio 2005 полтора часа, а проверка в Visual Studio 2008 \- два часа\. Разница в 1\.4 раза\! Откуда берется эта разница? Ответ получить очень просто, если выполнить препроцессирование всех проверяемых файлов и посмотреть получившийся размер\. Сейчас это 1278 файлов\. Размер препроцессированных в Visual Studio 2005 файлов составляет 4850 Мбайт, а в Visual Studio 2008 \- 6850 Мбайт\. Разница как раз в те самые 1\.4 раза\. То есть при абсолютно идентичном пользовательском коде за счет разницы в заголовочных файлах отличие конечного кода, который обрабатывает анализатор, составляет 1\.4 раза\.

Так что получается, что от используемого компилятора очень зависит, что же проверяет анализатор кода\.