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.