metrica
to the top
close form

Заполните форму в два простых шага ниже:

Ваши контактные данные:

Шаг 1
Поздравляем! У вас есть промокод!

Тип желаемой лицензии:

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

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

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

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

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

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


Если вы так и не получили ответ, пожалуйста, проверьте папку
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. К сожалению, идеальный проект, на котором наш анализатор не выдает ошибок, вряд ли существует. Во всяком случае мы продолжаем его искать.

Популярные статьи по теме
5 причин, почему статический анализ кода важен для бизнеса

Дата: 20 Апр 2023

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

В статье разбираются 5 основных причин, почему статический анализ кода будет полезен бизнесу, связанному с разработкой программного обеспечения. Статья поможет принять решение, стоит ли познакомиться…
Можно автоматизировать обзор кода?

Дата: 18 Апр 2023

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

Автоматизация обзоров кода возможна с помощью инструментов статического анализа. Следует учитывать, что разовые проверки непродуктивны, поэтому очень важно, чтобы статический анализ кода стал неотъем…
Личный кабинет PVS-Studio

Дата: 31 Мар 2023

Автор: Тимур Макаев

В этой заметке предлагаем познакомиться с новым веб-сервисом от PVS-Studio. Речь идёт о личном кабинете пользователя. Он будет полезен всем активным читателям нашего блога, а также тем, кто решит поп…
Reddit для программистов

Дата: 27 Мар 2023

Автор: Ульяна Гришина

Эта статья посвящена одной популярной и активной площадке на просторах Интернета — Reddit. Кто не в курсе, Reddit — это платформа, где сосуществуют тысячи сообществ по интересам. Мы любим Reddit за ч…
Хорошо ли ChatGPT ищет ошибки в коде?

Дата: 02 Мар 2023

Автор: Артём Ровенский

Нейросети всё больше вливаются в привычный мир, пытаясь упростить нам жизнь. Тот же ChatGPT вызвал бурю обсуждений в интернете. Чат бот способен писать тексты, код, рефераты и песни. Он даже умеет ис…


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

Следующие комментарии next comments
close comment form
Unicorn with delicious cookie
Мы используем куки, чтобы пользоваться сайтом было удобно.
Хорошо