OOO "Program Verification Systems" announces the issue of a new version of the static code analyzer - Viva64 2.30

Andrey Karpov
Articles: 553

OOO "Program Verification Systems" announces the issue of a new version of the static code analyzer - Viva64 2.30. Viva64 tool is designed for searching errors in the code of 64-bit applications and for their performance increase.

Now the code analyzer will help the developers in optimizing the size of RAM used by the program. In the new version, a new diagnostic message V401 has been added, it lets find data structures which use memory uneconomically.

Constants processing has been improved, in a number of cases this reduces the quantity of false diagnostic warnings. The mechanism which hides double errors in header files indicated in relative views has been enhanced. Before that, during a project testing, the error in #include "lib\file.h" and #include "lib\..\lib\file.h" would be considered as if located in different files. Two diagnostic warnings would be given. Now paths are exposed, and the analyzer does not indicate twice the errors contained in the file "file.h".



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: 553


Bugs Found

Checked Projects
414
Collected Errors
14 218
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