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

Request our prices
New License
License Renewal
--Select currency--
USD
EUR
RUB
* By clicking this button you agree to our Privacy Policy statement

Free PVS-Studio license for Microsoft MVP specialists
* By clicking this button you agree to our Privacy Policy statement

To get the licence for your open-source project, please fill out this form
* By clicking this button you agree to our Privacy Policy statement

I am interested to try it on the platforms:
* By clicking this button you agree to our Privacy Policy statement

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.

>
>
Viva64 2.20 Release

Viva64 2.20 Release

Oct 15 2008
Author:

OOO "Program Verification Systems" company is glad to announce a new release of source code analyzer Viva64 2.20.

This release contain many changes:

  • Diagnosis of potentially unsafe constructions is improved. As a result, the number of the code analyzer's "false alarms" is reduced approximately by 20%. Now the developer will spend less time to analyze the code diagnosed as potentially unsafe.
  • Help system is amended. It has been extended and new examples have been added. As diagnosis of potentially unsafe constructions is improved in this version Help system has been also supplemented with explanations concerning the constructions which are now considered safe.
  • The speed of a project structure analysis is raised. Now the same work is performed 10 times quicker. As a result, the total time of the whole project analysis is reduced.
  • C++ template analysis is improved. It's not a secret that far not all the code analyzers understand templates. We are constantly working at improving the diagnosis of potentially unsafe constructions in templates. Such an improvement is made in this version.
  • The format of some code analyzer's messages is amended to make it possible to set filters more accurately. Thus now, for example, the analyzer doesn't only inform about an incorrect index type while accessing an array but also shows the name of the array itself. If the developer is sure that such an array cannot cause problems in 64-bit mode at all he can filter all the messages concerning this array's name.

To learn more about Viva64, see here.

Popular related articles
PVS-Studio 7.18: updates and enhancements

Date: Apr 13 2022

Author: Sergey Vasiliev

Meet the latest PVS-Studio release — 7.18. This article will tell you about how we improved the analysis of modern C++, the search of security defects from the OWASP Top 10 list, and a new feature fo…
PVS-Studio 7.17: Unreal Engine, ASP.NET Core, Texas Instruments

Date: Feb 14 2022

Author: Sergey Vasiliev

We are pleased to announce the first release of PVS-Studio in 2022. In this article, we discuss various enhancements in managing Unreal Engine and ASP.NET Core projects. Keep reading to learn about n…
PVS-Studio 7.16, expanding the horizons: MISRA C, Visual Studio 2022, .NET 6

Date: Dec 10 2021

Author: Andrey Karpov

This is the latest release of PVS-Studio in 2021. With it, the PVS-Studio team accomplishes several important goals. Now, PVS-Studio supports Visual Studio 2022, the .NET 6 platform and C# 10.0. We i…
PVS-Studio 7.15: MISRA, CWE, OWASP, Unreal Engine

Date: Oct 11 2021

Author: Andrey Karpov

We are actively developing the PVS-Studio static analysis tool towards detecting Safety and Security-related errors. To be more precise, we've expanded the coverage of the MISRA C:2012 and OWASP ASVS…
PVS-Studio 7.14: intermodular analysis in C++ and plugin for JetBrains CLion

Date: Aug 16 2021

Author: Andrey Karpov

The PVS-Studio team is increasing the number of diagnostics with each new release. Besides, we are improving the analyzer's infrastructure. This time we added the plugin for JetBrains CLion. Moreover…

Comments (0)

Next comments
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