Viva64 2.0 Release

OOO "Program Verification Systems" company is glad to announce a new major release of source code analyzer Viva64 2.0. Viva64 is a static analyzer of C/C++ code. Viva64 allows to detect incorrect constructions in the code of applications without launching the applications themselves.

Viva64 scopes of use:

  • migration of applications on 64-bit systems;
  • work with large data arrays;
  • creation of a safe code.

Viva64's peculiarities:

  • C and C++ support;
  • integration into Microsoft Visual Studio 2005/2008;
  • help system embedded into MSDN Library;
  • usability.


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;



Bugs Found

Checked Projects
409
Collected Errors
14 072
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