OOO "Program Verification Systems"
Development tools and static analysis solutions
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.»
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.»
The purpose of this commercial article is to show advantages of Viva64 tool throughout the life cycle of software development.
Switching to 64-bit systems is one of the modern technologies development courses. Porting of program solutions on 64-bit systems as well as exploration of any other new technology provides new abilities on the one hand and on the other it requires a lot of time and money.
We offer you a static code analyzer Viva64 which is created with the purpose to simplify porting on 64-bit systems and thus reduce the necessary costs. Viva64 tool works with C/C++ code of programs meant for the 64-bit Windows. To learn more about Viva64 see the product’s site: http://www.viva64.com/viva64.php.
Using static analyzer Viva64 you’ll be able to release a 64-bit application on the market 3-4 times quicker. This is thanks to significant speed-up of code analysis and testing processes which require taking into consideration the peculiarities of 64-bit architecture. The time for testing a 64-bit program product is also reduced due to its higher quality. Viva64 tool doesn’t require special knowledge what makes it possible for less qualified developers to develop program systems since most work is carried automatically.
A company using Viva64 tool to develop its program products has an opportunity to get ahead of its rivals on the market of 64-bit solutions by offering them to users much earlier.
The program tool that we offer for automatic detection of errors in programs combines some good characteristics:
The tool is convenient not only in respect of technical characteristics but also from the viewpoint of purchasing and maintenance. You may get acquainted with the tool before buying it by using a trial-version. You may also purchase a license on the product on-line at once. Users can always consult developers of the tool on the questions of development of 64-bit solutions. Creation of custom-solutions on the basis of Viva64 is also possible.
Methodology of static code analysis used in Viva64 tool has significant advantages over other types of analysis sinse it allows you to cover the whole program code. The checking procedure cannot damage the code itself. The process of analysis is fully controlled by the user and it is the user who makes decision to modify it.
Viva64 tool has a large knowledge base concerning development of 64-bit code (Help-system, articles, examples) which will help you to increase the level of your programmers a lot. Following recommendations given in these documents will help you not only to increase the quality of the code but its efficiency as well.
Quick release of a quality 64-bit product makes the company more attractive for users. One shouldn’t forget that release of a 64-bit product is a new and good informational occasion.
The company will be also more appreciated by its staff since introducing the procedure of code analysis into the process of development increases the general level of the program development.
Don’t waste your time and resources on trying to investigate by yourself all the peculiarities of creating 64-bit program solutions. Use Viva64 tool! It will help you to save your time and resources!
Home | About Us | Contact Us | Privacy Policy | Terms of Use
© 2006 - 2009, OOO "Program Verification Systems". 300027, Russia, Tula, P.O. Box 1800, Phone +7(4872)38-59-95. Office: Russia, Tula, Kutuzova 100-73.
