PVS-Studio 7.11 Release: IAR Arm, Diagnostics, FREE-FREE-FREE-FREE

Andrey Karpov
Articles: 555

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.

0785_Release_7_11/image1.png

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



Use PVS-Studio to search for bugs in C, C++, C# and Java

We offer you to check your project code with PVS-Studio. Just one bug found in the project will show you the benefits of the static code analysis methodology better than a dozen of the articles.

goto PVS-Studio;

Andrey Karpov
Articles: 555


Bugs Found

Checked Projects
419
Collected Errors
14 312
This website uses cookies and other technology to provide you a more personalized experience. By continuing the view of our web-pages you accept the terms of using these files. If you don't want your personal data to be processed, please, leave this site. Learn More →
Accept