Для получения триального ключа
заполните форму ниже
Team License (базовая версия)
Enterprise License (расширенная версия)
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

Запросите информацию о ценах
Новая лицензия
Продление лицензии
--Выберите валюту--
USD
EUR
RUB
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

Бесплатная лицензия PVS-Studio для специалистов Microsoft MVP
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

Для получения лицензии для вашего открытого
проекта заполните, пожалуйста, эту форму
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

Мне интересно попробовать плагин на:
* Нажимая на кнопку, вы даете согласие на обработку
своих персональных данных. См. Политику конфиденциальности

Ваше сообщение отправлено.

Мы ответим вам на


Если вы так и не получили ответ, пожалуйста, проверьте папку
Spam/Junk и нажмите на письме кнопку "Не спам".
Так Вы не пропустите ответы от нашей команды.

>
>
Сенсация от PVS-Studio: "Найден ид…

Сенсация от PVS-Studio: "Найден идеальный проект без единой ошибки!"

30 Апр 2014

К нам обратился пользователь, который сказал, что в его довольно большом проекте (2000 файлов) не находится ни единой ошибки! Ни ошибки общего назначения, ни 64-битной ошибки, ни какой-либо другой. Поскольку так не бывает, то через несколько уточняющих писем мы уже сидели на его удаленной машине и сами смотрели что происходит. Настройки были в порядке, никаких явно глупых сбоев в работе не было, то есть все было корректно. После нескольких проб картина стала ясна: "В проекте действительно нашим анализатором не выдается ни одной ошибки!" Хотите узнать почему такое случилось?

0254_An_Ideal_Project_ru/image1.png

Вообще в анализаторе PVS-Studio есть много способов скрыть лишние сообщение. Их можно отключить по коду, можно спрятать сообщения, относящиеся к каким-то файлам по имени или тексту сообщения, можно спрятать сообщения от файлов в некоторой папке. Конечно кто-то может предположить, например, что пользователь добавил в исключения всю папку проекта? Такое действительно можно сделать, но мы это сразу проверили. Нет, такое объяснение не годилось.

Но поведение было такое, как будто весь проект добавлен в исключения. Мы стали смотреть промежуточные конфигурационные файлы (file.PVS-Studio.cfg), которые создаются перед запуском анализатора для каждого файла. Среди прочей информации туда добавляются папки, на сообщения из которых не стоит выдавать диагностические сообщения. Обычно эта часть файла выглядит так:

exclude-path = *\boost\*
exclude-path = *\zlib\*
...
exclude-path = c:\program files (x86)\microsoft visual studio 11.0
exclude-path = c:\program files (x86)\microsoft sdks
...

Часть папок – это системные папки, часть папки типовых библиотек, и иногда там бывают пользовательские папки.

Но в этот раз там оказалась папка проекта, хотя ее туда (казалось бы) никто не добавлял. Из-за этого и получалось, что ни одно сообщение анализатора не выдается на код.

Итак, что же произошло?

Для исключения из результатов анализа системных библиотек, мы автоматически добавляем в исключённые директории пути из Additional Includes, которые начинаются на "C:\Program Files", "C:\Program Files (x86)".

Пути в Additional Includes могут быть прописаны относительно директории, из которой запускается компилятор (обычно это директория проектного файла). Например, никто не мешает добавить в Additional Includes путь вида "../Common".

Перед проверкой путей на вложенность их в "Program Files", мы нормализовали их с помощью класса DirectoryInfo:

String NormIncludePath = 
  new DirectoryInfo(list[i].Trim('"')).FullName.ToLower();

Однако, если путь был относительным, то он одновременно восстанавливался классом DirectoryInfo относительно текущей директории процесса, что, безусловно, некорректно. Теперь представим ситуацию. Процесс IDE devenv.exe запускается из своей обычной рабочей папки. Например, мы просто открыли среду через ярлык на рабочем столе. Если при этом еще проект содержит в Additional Includes относительные пути, то такие пути не проходили фильтрацию, как системные. Ведь стандартная директория у devenv.exe - c:\Program Files (x86)\Microsoft Visual Studio 12.0\Common7\IDE\. И соответственно, попадали в исключения.

Исправить ошибку в коде очень просто, надо грамотно раскрыть относительный путь:

String NormIncludePath = list[i].Trim('"');
ExpandRelativePath(
  ref NormIncludePath, CompilerWorkingDirectory);
NormIncludePath = NormIncludePath.ToLower();

Итак, еще раз к чему могла привести эта ошибка в наших анализаторах. Если в вашем проекте используются относительные пути в Additional Includes, и вы запускаете среду определенным образом (через ярлык Visual Studio), то вы могли не получать части сообщений от анализатора. Эта ошибка была в PVS-Studio, но в новой версии нашего продукта ошибка исправлена.

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

Популярные статьи по теме
Обрабатывать ли в PVS-Studio вывод других инструментов?

Дата: 26 Май 2022

Автор: Андрей Карпов

Анализатор PVS-Studio умеет "схлопывать" повторяющиеся предупреждения. Предоставляет возможность задать baseline, что позволяет легко внедрять статический анализ в legacy-проекты. Стоит ли предостави…
15000 ошибок в открытых проектах

Дата: 24 Май 2022

Автор: Андрей Карпов

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

Дата: 04 Май 2022

Автор: Сергей Хренов

Приветствую всех программистов, а также сочувствующих. Кто из нас хотя бы раз в жизни не оставлял комментарии в коде? Был ли это ваш код, а может, чужой? Что за комментарии вы написали: полезные или …
Visual Studio 2022 стильно и свежо. История о её поддержке в PVS-Studio

Дата: 15 Фев 2022

Автор: Николай Миронов

Кажется, анонс Visual Studio 2022 был только недавно, и вот она уже вышла. Это означало ровно одно – поддержать данную IDE нужно в ближайшем релизе PVS-Studio. О том, с какими сложностями пришлось ст…
Лучшие срабатывания статического анализатора

Дата: 29 Окт 2021

Автор: Максим Звягинцев

У всех, кто запускал статический анализатор в первый раз на большом проекте, был небольшой шок по поводу сотен, тысяч или даже десятков тысяч предупреждений. Как-то грустно становится после такого. Т…

Комментарии (0)

Следующие комментарии
Этот сайт использует куки и другие технологии, чтобы предоставить вам более персонализированный опыт. Продолжая просмотр страниц нашего веб-сайта, вы принимаете условия использования этих файлов. Если вы не хотите, чтобы ваши данные обрабатывались, пожалуйста, покиньте данный сайт. Подробнее →
Принять