To get a trial key
fill out the form below
Team license
Enterprise license
** By clicking this button you agree to our Privacy Policy statement

Request our prices
New License
License Renewal
--Select currency--
USD
EUR
RUB
* By clicking this button you agree to our Privacy Policy statement

Free PVS-Studio license for Microsoft MVP specialists
** By clicking this button you agree to our Privacy Policy statement

To get the licence for your open-source project, please fill out this form
** By clicking this button you agree to our Privacy Policy statement

I am interested to try it on the platforms:
** By clicking this button you agree to our Privacy Policy statement

Message submitted.

Your message has been sent. We will email you at


If you haven't received our response, please do the following:
check your Spam/Junk folder and click the "Not Spam" button for our message.
This way, you won't miss messages from our team in the future.

>
>
Seminar in MSU RCC

Seminar in MSU RCC

Mar 23 2009
Author:

On March 23, in the Moscow State University Research Computing Centre a seminar took place with "Program Verification Systems" General Director Evgeniy Ryzhkov taking part in it. The topic of the seminar was "Static Code Analysis for Automatic errors detection in programs porting to 64 bit platforms".

Problems in C/C++ programming connected with errors detection during code porting to a 64-bit platform, as well as during source code writing considering 64-bit digit capacity, have been outlined. In particular, examples of mismatch between data variables types and their values setting on different digit capacity systems have been considered.

The audience could consider the examples of source code errors detection with the help of Viva64 code analyzer developed by "Program Verification Systems" Company. The examples demonstration evoked a vivid reaction of the audience, the listeners asked many questions.

The speaker himself noted that his speech was accepted with great scientific interest.

Evgeniy Ryzhkov, "Program Verification Systems" General Director: "It is really nice when the audience understands the essence of static analysis and there is no need in explaining the methodology of such means of verification. The discussion is then built up around practical questions of the analyzer work, and the audience and the speaker opinions number is the greatest then".

The main scientific activities of the Moscow State University Research Computing Centre are:

  • fundamental problems automation systems build up; methodology, technology and security of large information systems;
  • parallel computing and new generation information and computing suites software;
  • mathematic simulation, calculus and applied mathematics methods and their application to fundamental investigation in various spheres of knowledge;
  • modern computer technologies in education.

Latest articles:

Poll:

Comments (0)

Next comments
Unicorn with delicious cookie
Our website uses cookies to enhance your browsing experience.
Accept