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".
In the article, the situation with migration to 64-bit systems is described and problems in source code arising from porting programs to such systems are brought out. Viva64, our analyzer, is suggested and described as a solution which helps to avoid a lot of such troubles. The main resources of the analyzer are examined, and the principle of the program functioning is described. Reliability and excellent functionality are singled out.
The main advantage of the program, i.e. the possibility of enormously saving time and efforts of the developers who write software for 64-bit systems or execute programs porting to such systems, is reasonably specified.
Our other product, the analyzer for parallel programs VivaMP, is mentioned in the article separately. It is written that the program, being built on the same principle as Viva64 is, has got differences in the code diagnostics.
It is worth mentioning that in the article, there is information that both analyzers are built on VivaCore library, which was specially developed by our experts for creating these (and similar) analyzers.