News

5.05.2009 An article about our static analyzers Viva64 and VivaMP has been published at the site of one of the largest resellers in Russia and CIS “SoftKey”. »

30.04.2009 An article by OOO “Program Verification Systems” developers, “Debugging and optimization of multi-thread OpenMP-programs” has been issued by RSDN Magazine, #4 – 2008. »

20.04.2009 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.»

News RSS

Recent Articles

08.06.2009 Getting acquainted with PVS-Studio code analyzer
In the article, a brief description of PVS-Studio code analyzer is given.»

08.06.2009 Parallel Lint
The article describes a new direction in development of static code analyzers – verification of parallel programs. The article reviews several static analyzers which can claim to be called "Parallel Lint".»

11.05.2009 A 64-bit horse that can count
The article concerns the peculiarities of Visual C++ compiler’s behavior when generating 64-bit code and possible errors relating to it.»

Articles RSS

Download

Main » Viva64 Tool » Download

Current version is Viva64 2.30

We provide a 30-day evaluation period in order to allow you to try out Viva64 before you buy it. However, in this mode there are some restrictions for the program. In each analyzed file the location of only some errors is shown. The rest of the errors are diagnosed but the information about their location is not displayed.

Viva64 is realized as add-in for Visual Studio 2005 and Visual Studio 2008. Other version of Visual Studio are not supported now.

If you want to download Viva64 please complete the form.

Your name: 
E-mail: 
Phone: 
Company: 
Address: