OOO "Program Verification Systems"
Use PVS-Studio to check 64-bit and parallel applications
05.02.2010
/Wp64 switch and template processing error
While maintaining the analyzer Viva64 (included into PVS-Studio) we often comment upon the switch /Wp64 of Microsoft Visual C++.»
03.02.2010
Parallel notes N1 - OpenMP technology
In the next few posts we will tell you about using multi-core processors in practice.»
29.01.2010
64-bit technologies - one more trend in the modern software
In the blogs and forums, there is much discussion of multi-core processors as an evident step of computer system development.»
2.02.2010 "Lessons of 64-bit C/C++ software development" are now available on our site.»
1.02.2010 PVS-Studio 3.45 New Version Released!»
21.01.2010 PVS-Studio 3.44 New Version Released!»
10.12.2009
PVS-Studio FAQ
This paper contains some questions and answers about PVS-Studio code analyzer by OOO "Program Verification Systems".»
09.12.2009
VivaCore FAQ
This paper contains some questions and answers about VivaCore C/C++ code analysis library by OOO "Program Verification Systems"»
23.11.2009
PVS-Studio: using the function "Mark as False Alarm"
The article describes and demonstrates by an example the use of PVS-Studio 3.40 new function "Mark as False Alarm". »
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
© 2008 - 2010, OOO "Program Verification Systems". 300027, Russia, Tula, P.O. Box 1800. Office: Russia, Tula, Kutuzova 100-73.
