Релиз PVS-Studio 7.11: IAR Arm, диагностики, FREE-FREE-FREE-FREE

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

Перед вами пресс-релиз предновогодней версии анализатора PVS-Studio 7.11. Изменений в этом релизе не так много, поэтому, пользуясь случаем, давайте вспомним про варианты бесплатного использования PVS-Studio.

0785_Release_7_11_ru/image1.png

FREE-FREE-FREE-FREE и изменение

Мы предлагаем несколько совершенно разных вариантов бесплатного использования PVS-Studio. Если кратко, то этими вариантами могут воспользоваться:

Подробнее узнать про перечисленные способы и выбрать подходящий для вашего проекта, вы можете, обратившись к обзорной статье "Бесплатные варианты лицензирования PVS-Studio".

Так же наш анализатор легко и бесплатно могут использовать студенты и преподаватели. Для этого подойдёт как способ с комментариями в коде, так и запуск анализатора на сайте Compiler Explorer. Подробнее: Бесплатное использование PVS-Studio студентами и преподавателями.

Почему мы решили вспомнить про все эти способы? Во-первых, до сих пор не все про них знают. Во-вторых, в этом релизе есть небольшое изменение для Linux-пользователей, которые используют комментарии в коде.

Изменения!

Изменился порядок активации Linux-утилиты pvs-studio-analyzer для бесплатной версии PVS-Studio, требующей добавления комментариев в начало каждого исходного файла. Теперь перед первым запуском анализа необходимо ввести специальный лицензионный ключ с помощью команды

pvs-studio-analyzer credentials PVS-Studio Free FREE-FREE-FREE-FREE.

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

Улучшения

  • Для более надёжной работы механизма массового подавления предупреждений был изменён расчёт хэша сообщения для случаев, когда строка кода, на которое было выдано сообщение, содержит нелатинские символы. Это возможно, например, когда строка кода содержит комментарий. Если подобные сообщения были ранее подавлены в suppress файлах, эти сообщения могут снова появиться в отчёте анализатора - такие сообщения потребуется подавить заново.
  • В утилите pvs-studio-analyzer добавлена поддержка компиляторов IAR Arm. Данное семейство компиляторов раньше поддерживалось только в утилите CLMonitor.exe, на Windows. Теперь и Linux пользователи PVS-Studio могут проверять код, написанный для этих компиляторов.
  • В утилите pvs-studio-analyzer добавлен перехват вызовов компиляторов через ld-linux.

Новые диагностики

  • C++. V2574. MISRA. Functions shall not be declared at block scope.
  • C#. V3165. The expression of the 'char' type is passed as an argument of the 'A' type whereas similar overload with the string parameter exists.
  • C#. V3166. Calling the 'SingleOrDefault' method may lead to 'InvalidOperationException'.
  • Java. V6100. An object is used as an argument to its own method. Consider checking the first actual argument of the 'Foo' method.
  • Java. V6101. compareTo()-like methods can return not only the values -1, 0 and 1, but any values.

Дополнительные ссылки



Найдите ошибки в своем C, C++, C# и Java коде

Предлагаем попробовать проверить код вашего проекта с помощью анализатора кода PVS-Studio. Одна найденная в нём ошибка скажет вам о пользе методологии статического анализа кода больше, чем десяток статей.

goto PVS-Studio;

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


Найденные ошибки

Проверено проектов
419
Собрано ошибок
14 312

А ты совершаешь ошибки в коде?

Проверь с помощью
PVS-Studio

Статический анализ
кода для C, C++, C#
и Java

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