Viva64.com: News

Beta-version of VivaMP code analyzer designed for error educing in parallel OpenMP programs has been released.

Thu, 27 Nov 2008 10:00:00

OOO �Program Verification Systems� Company informs you that the first beta-version of static C/C++ code analyzer VivaMP has been released. VivaMP is meant for diagnostics of parallel errors in software products based on OpenMP technology. The fact that modern compilers where parallel programming technology OpenMP support is implemented provide rather weak error diagnostics in OpenMP code makes no secret. Moreover, it's easy to make an error working with OpenMP. VivaMP is ready to repair this gap and to offer high-quality diagnostics for OpenMP usage.

VivaMP software product is an add-in module (AddIn) for Microsoft Visual Studio 2005/2008 development environment. Being added in the environment, this analyzer is able to verify code of applications written in C and C++ languages, in which OpenMP paralleling is used. The analyzer is able to find the errors which were made because the developers master OpenMP syntax insufficiently or if the principles of work with OpenMP are misunderstood. Errors of incorrect work with shared memory, errors of synchronization and errors of performance can also be discovered.

Unlike dynamic tools, static code analyzer VivaMP doesn't require starting of a program, that's why its diagnostics is always stable, precise and doesn't depend upon �the environment� in which the program being developed starts.

Though the present beta-version is called �beta�, still it is a full-fledged software product. Its only difference from the future release is the absence of help system. The help system is sure to be fully present in the release.

VivaMP code analyzer is now available for purchase. Every user who buys a license for VivaMP during beta-testing will receive a free license for VivaMP 1.00 version after its official release. Thus, if you are already developing OpenMP programs, there's no sense waiting for VivaMP 1.0 release � start using VivaMP right now!

Two our articles are published in the magazine �Izvestiya TulGU. Tehnicheskie Nauki�, issue �3 � 2008.

Fri, 31 Oct 2008 10:00:00

The articles �Using Static Analysis in Program Development� and �Adaptation of the technology of the static code analyzer for developing parallel programs" were published in issue �3 of �Izvestiya TulGU. Tehnicheskie Nauki� magazine, 2008.

You can see the electronic versions of these articles on our site.

The magazine considers scientific and technical problems in the sphere of engineering industry and science, technologies and equipment for working metals with pressure and cutting, modeling welding processes, questions of transport, management, computers, IT and life safety. The materials are intended for scientists, higher-school teachers, students and graduate students specializing in the sphere of technical sciences.

Announcing Viva64 2.20.

Wed, 15 Oct 2008 10:00:00

OOO �Program Verification Systems� company is glad to announce a new release of source code analyzer Viva64 2.20. This release contain many changes:

Diagnosis of potentially unsafe constructions is improved. As the result the number of the code analyzer's �false alarms� is reduced approximately by 20%. Now the developer will spend less time to analyze the code diagnosed as potentially unsafe.
Help system is amended. It has been extended and new examples have been added. As diagnosis of potentially unsafe constructions is improved in this version Help system has been also supplemented with explanations concerning the constructions which are now considered safe.
The speed of a project's structure analysis is raised. Now the same work is performed 10 times quicker. As the result the total time of the whole project's analysis is reduced.
C++ template analysis is improved. It's not a secret that far not all the code analyzers understand templates. We're constantly working to improve diagnosis of potentially unsafe constructions in templates. Such an improvement is made in this version.
Format of some code analyzer's messages is amended to make it possible to set filters more accurately. Thus now, for example, the analyzer doesn't only inform about an incorrect index type while accessing an array but also shows the name of the array itself. If the developer is sure that such an array cannot cause problems in 64-bit mode at all he can filter all the messages concerning this array's name.

To learn more about Viva64 see http://www.viva64.com/viva64-tool/.

Our new reseller is Avangate.

Mon, 08 Sep 2008 10:00:00

OOO "Program Verification Systems" has concluded a deal with Avangate company (www.avangate.com) which provides services for Internet sales of programs. The headquarters of Avangate company is located in Amsterdam (Holland).

Heretofore the key software product of OOO "Program Verification Systems", Viva64 has been sold directly to the customers. In this case the customer had to pay the invoice by means of bank transfer. We have implemented pay systems of Avangate company on our site and the following forms of payment have become available for our customers:

Credit/debit card (Visa, MasterCard, DinersClub, American Express and JCB)
Paypal
Bank transfer (Wire/ACH transfer)
Fax
Vendor 2 Vendor
Direct debit
Purchase order

Now our users also have an opportunity to get a CD/DVD with a backup copy of our software products. If you wish to get such a CD/DVD when you buy Viva64 you only have to tick the respective point on your order page.

Having implemented the online-payment system of Avangate company we hope to increase the sales of Viva64 to users all over the world.

Announcing Viva64 2.10.

Fri, 05 Sep 2008 10:00:00

OOO �Program Verification Systems� company is glad to announce a new release of source code analyzer Viva64 2.10. Main feature of this version it's a support of Visual Studio 2008 Service Pack 1.

To learn more about Viva64 see http://www.viva64.com/viva64-tool/.

OOO "Program Verification Systems" and E.G.S. s.r.l. announced completion of development of 64-bit version of LEIOS solutions.

Mon, 01 Sep 2008 10:00:00

OOO "Program Verification Systems"finished testing the code of software products of LEIOS family by an Italian company E.G.S. s.r.l.. The aim of the work was to check the compatibility of the code with 64-bit systems. The testing was performed with the help of Viva64 code analyzer.

The work has been carried out within the framework of an agreement of development and verification of 64-bit versions of software products andsolutions of E.G.S. s.r.l. company. Viva64 allowed us to significantly reduce necessary efforts and provide high quality of the new 64-bit solutions.

Leios are quick and convenient solutions for 3D-scanning, processing of triangulated surfaces and reverse engineering. A lot of editing and processing functions allow you to design surfaces of nearly any complexity.

Preparation of 64-bit versions of software products Leios Mesh and Leios Studio as well as component library Leios Components Studio has been done. Leios Components is a set of C++-libraries to work with point clouds and triangulated surfaces by E.G.S. s.r.l. company.

E.G.S.s.r.l. director Gabriele Canella noted the high level of the work done.

Information about E.G.S. s.r.l..
E.G.S. s.r.l. is a private company whose task is to develop programs and solutions for high-level processing of 3D-scanning results. The company's offices were founded in Italy and Moscow in 2002. Site: http://www.egsolutions.com.

A print version of the article "32 OpenMP traps for C++ developers" was published in "RSDN Magazine #2' 2008".

Tue, 26 Aug 2008 10:00:00

The article byOOO"Program Verification Systems"workers devoted to the peculiarities of developing parallel applications using OpenMP technology was published in RSDN Magazine #2' 2008.

You can read the electronic version of the article on our site.

�RSDN Magazine� has been published since April, 2002. All its content is created by professional programmers and is meant for professional programmers. The editors of the magazine consider that the materials should be profound and not just review-like and be of real use for a programmer in his everyday work. It is the practical use of the materials that the editors consider to be the most important criterion for forming the content of an issue.

A new version of www.viva64.com site is launched.

Mon, 28 Jul 2008 10:00:00

OOO "Program Verification Systems" announces the end of development and testing of a new version of www.viva64.com site. The main change is support of several languages. Now the whole content of the site (pages' content, technical documentation, our authors' articles, Internet-resources links) is represented in English and Russian.

Big changes were introduced into the site's structure too. Now navigation on the site is more convenient because the content is arranged in sections ("Articles", "Links" etc).

Besides, now you can order program products in online mode avoiding support service.

A print version of the article �VivaCore code analysis library� was published in �RSDN Magazine� #1' 2008.

Thu, 17 Jul 2008 10:00:00

The article by OOO "Program Verification Systems"workers devoted to our code analysis library VivaCore was published in RSDN Magazine #1' 2008.

You can read the electronic version of the article on our site.

A print version of the article �Approaches to verification and testing of 64-applications� was published in magazine �Informatsionnie tehnologii� ("Information Technologies") #7' 2008.

Wed, 16 Jul 2008 10:00:00

The article by OOO "Program Verification Systems" workers devoted to the peculiarities of developing 64-bit applications was published in magazine �Informatsionnie tehnologii� ("Information Technologies") #7' 2008.

�Novie tehnologii� ("New Technologie")publishing house has been publishing since 1995 a monthly scientific-technical and scientific-production magazine �Informatsioniie tehnologii� ("Information Technologies") with an appendix.

The editorial board consists of well-known scientists and specialists of Russian leading academic organizations, higher education institutes, firms, trade institutes and enterprises.

The magazine reviews the modern state and mainstream development tendencies in the spheres of development, production and use of information technologies. Original and review articles concerning the problems of developing and using information technologies are published as well as reference materials and information about scientific-technical and training activities carried out within the framework of this problem range.