To get a trial key
fill out the form below
Team License (standard version)
Enterprise License (extended version)
* By clicking this button you agree to our Privacy Policy statement

** This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.
Request our prices
New License
License Renewal
--Select currency--
USD
EUR
GBP
RUB
* By clicking this button you agree to our Privacy Policy statement

** This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.
Message submitted.

Your message has been sent. We will email you at


If you haven't received our response, please do the following:
check your Spam/Junk folder and click the "Not Spam" button for our message.
This way, you won't miss messages from our team in the future.

>
>
PVS-Studio 7.11 Release: IAR Arm, Diagn…

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

Dec. 18, 2020
Author:

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

Popular related articles
The Ultimate Question of Programming, Refactoring, and Everything

Date: 04.14.2016

Author: Andrey Karpov

Yes, you've guessed correctly - the answer is "42". In this article you will find 42 recommendations about coding in C++ that can help a programmer avoid a lot of errors, save time and effort. The au…
The Last Line Effect

Date: 05.31.2014

Author: Andrey Karpov

I have studied many errors caused by the use of the Copy-Paste method, and can assure you that programmers most often tend to make mistakes in the last fragment of a homogeneous code block. I have ne…
PVS-Studio for Java

Date: 01.17.2019

Author: Andrey Karpov

In the seventh version of the PVS-Studio static analyzer, we added support of the Java language. It's time for a brief story of how we've started making support of the Java language, how far we've co…
How PVS-Studio Proved to Be More Attentive Than Three and a Half Programmers

Date: 10.22.2018

Author: Andrey Karpov

Just like other static analyzers, PVS-Studio often produces false positives. What you are about to read is a short story where I'll tell you how PVS-Studio proved, just one more time, to be more atte…
The Evil within the Comparison Functions

Date: 05.19.2017

Author: Andrey Karpov

Perhaps, readers remember my article titled "Last line effect". It describes a pattern I've once noticed: in most cases programmers make an error in the last line of similar text blocks. Now I want t…
Free PVS-Studio for those who develops open source projects

Date: 12.22.2018

Author: Andrey Karpov

On the New 2019 year's eve, a PVS-Studio team decided to make a nice gift for all contributors of open-source projects hosted on GitHub, GitLab or Bitbucket. They are given free usage of PVS-Studio s…
Appreciate Static Code Analysis!

Date: 10.16.2017

Author: Andrey Karpov

I am really astonished by the capabilities of static code analysis even though I am one of the developers of PVS-Studio analyzer myself. The tool surprised me the other day as it turned out to be sma…
Characteristics of PVS-Studio Analyzer by the Example of EFL Core Libraries, 10-15% of False Positives

Date: 07.31.2017

Author: Andrey Karpov

After I wrote quite a big article about the analysis of the Tizen OS code, I received a large number of questions concerning the percentage of false positives and the density of errors (how many erro…
Technologies used in the PVS-Studio code analyzer for finding bugs and potential vulnerabilities

Date: 11.21.2018

Author: Andrey Karpov

A brief description of technologies used in the PVS-Studio tool, which let us effectively detect a large number of error patterns and potential vulnerabilities. The article describes the implementati…
The way static analyzers fight against false positives, and why they do it

Date: 03.20.2017

Author: Andrey Karpov

In my previous article I wrote that I don't like the approach of evaluating the efficiency of static analyzers with the help of synthetic tests. In that article, I give the example of a code fragment…

Comments (0)

Next comments

This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.
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