27.11.2008 Beta-version of VivaMP code analyzer designed for error educing in parallel OpenMP programs has been released.»
31.10.2008 Two our articles are published in the magazine “Izvestiya TulGU. Tehnicheskie Nauki”, issue ¹3 – 2008.»
15.10.2008 Announcing Viva64 2.20.»
Viva64 product provides detection of errors typical of 64-bit Windows applications. Viva64 is a lint-like static analyzer of C/C++ code. Viva64 integrates into Visual Studio 2005/2008 environment and provides user-friendly interface to test your software projects (more).
Viva64's scopes of use:
Let's consider the tasks solved by Viva64 in detail.
Development of modern programs demands that a programmer should know patterns of errors occurring while writing 64-bit source code (more). Many 64-bit errors are implicit and demand great experience and special attention from a programmer. Viva64 analyzer allows you to detect these error types implementing two functions: it removes errors in a program and teaches a programmer how to write correct code taking into account peculiarities of 64-bit systems.
Porting of 32-bit software on 64-bit systems contains a lot of traps which cause failure to finish development in time and complicate testing and maintenance of software products (more).
Viva64 is a powerful tool allowing you to carry out quick and quality migration of 32-bit program code on a 64-bit system. Viva64 static analyzer allows you to release a 64-bit application on market 3 or 4 times quicker.
Viva64 tool is developed specially for 64-bit Windows systems what makes it a unique tool among other static analyzers (more).
Although at first Viva64 wasn't intended for optimizing programs, most of its error messages can help you to choose more suitable data types what increases code performance (more).
Static analyzer Viva64 allows you to:
Static code analysis methodology used in Viva64 has considerable advantages over other analysis types because it allows you to cover the whole program code. The procedure of code testing cannot damage the code itself in any way. The analysis process is fully controlled by an operator and it is he who decides whether to modify it or not.
Viva64 tool has a large knowledge base concerning 64-bit code development (Help system, articles, examples) which will allow you to considerably raise the programmers' level. Following recommendations given in this documentation will allow you to considerably increase quality and performance of your code.
Viva64 integrates entirely into Microsoft Visual Studio environment and MSDN Help system. User-friendly interface is provided to analyze files, navigate on the code and get Help information. Work with the analyzer doesn't demand preliminary study of documentation, settings, choosing the diagnosis level etc. The analyzer is ready for work immediately after installation.
View a quick demonstration of Viva64 (5 Mb, 5 minutes).
| Download "Viva64 Showcase" presentation (1 Mb). |
Viva64: What Is It, and Who Is It for?
64 bits, Wp64, Visual Studio 2008, Viva64 and all the rest...
"Windows Server 2008 will be the last 32-bit operating system. All future operating systems for server hardware from Microsoft beyond Windows Server 2008 will be 64-bit."
Home | About Us | Contact Us | Privacy Policy | Terms of Use
© 2006 - 2008, OOO "Program Verification Systems". All rights reserved.