Pour obtenir une clé
d'essai remplissez le formulaire ci-dessous
Demandez des tariffs
Nouvelle licence
Renouvellement de licence
--Sélectionnez la devise--
USD
EUR
RUB
* En cliquant sur ce bouton, vous acceptez notre politique de confidentialité

Free PVS-Studio license for Microsoft MVP specialists
To get the licence for your open-source project, please fill out this form
** En cliquant sur ce bouton, vous acceptez notre politique de confidentialité.

I am interested to try it on the platforms:
** En cliquant sur ce bouton, vous acceptez notre politique de confidentialité.

Votre message a été envoyé.

Nous vous répondrons à


Si vous n'avez toujours pas reçu de réponse, vérifiez votre dossier
Spam/Junk et cliquez sur le bouton "Not Spam".
De cette façon, vous ne manquerez la réponse de notre équipe.

>
>
Seminar in MSU RCC

Seminar in MSU RCC

23 Mar 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.

Comments (0)

Next comments
Unicorn with delicious cookie
Nous utilisons des cookies pour améliorer votre expérience de navigation. En savoir plus
Accepter