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.
- C and C++ support;
- integration into Microsoft Visual Studio 2005/2008;
- help system embedded into MSDN Library;