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
363
Collected Errors
13 495