Home
>
Posts
>
PVS-Studio 7.11 release: IAR Arm, diagn…

Andrey Karpov
Articles: 642

PVS-Studio 7.11 release: IAR Arm, diagnostics, FREE-FREE-FREE-FREE

This is the press release of the New Year's version of the PVS-Studio 7.11 analyzer. Since the new version includes only a few enhancements, let's take this opportunity to recall the options for free PVS-Studio use.

FREE-FREE-FREE-FREE and the changes

The following professionals can use PVS-Studio for free:

To learn more about these options and choose the appropriate one for your project, please check out the review article: "Ways to get a free PVS-Studio license".

Students and professors can also use our analyzer for free. For this purpose, either adding comments in the code or running the analyzer on the Compiler Explorer site are suitable. More details are available here: Free PVS-Studio for students and teachers.

Why did we decide to review all these options? First, not everyone knows about them yet. Second, this release offers a small update for Linux users who use comments in code.

Here are the changes!

As we know, the free version of PVS-Studio requires adding comments to the beginning of each source file. Users must follow different steps to activate the pvs-studio-analyzer utility for the PVS-Studio Linux free version. Now before starting the analysis for the first time, you must enter a special license key using the following command:

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

Yes, this additional action slightly complicates the process. We are sorry. However, we did this to simplify the license check and some other scenarios. For example, if you entered an incorrect name or key as the license information, you will see it immediately, and not at the end of the analysis. We'll tell you more about why we introduced this change in a separate article.

Enhancements

  • We changed the calculation of the message hash. This will ensure more reliable operation of the warnings mass suppression mechanism. Non-Latin characters can be well met, for example, when there is a comment in a line of code. If such warnings were previously suppressed in the suppress files, these warnings may appear again in the analyzer report - such messages will need to be suppressed again.
  • Support of the IAR Arm compilers is now available in the pvs-studio-analyzer utility. This family of compilers was previously supported only in the CLMonitor.exe utility on Windows. Now users of PVS-Studio for Linux can check the code written for these compilers as well.
  • We added interception of compiler calls via ld-linux to the pvs-studio-analyzer utility.

New diagnostics

  • 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.

Additional links