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

18 Дек 2020

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

FREE-FREE-FREE-FREE и изменение
Улучшения
Новые диагностики
Дополнительные ссылки

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

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

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

Разработчики открытых проектов: запросить лицензию;
Разработчики закрытых проектов: потребуется вставить комментарии в код;
Эксперты безопасности: см. соответствующий раздел в статье;
Microsoft MVP: напишите нам.

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