Seminar in MSU RCC

Andrey Karpov
Articles: 565

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.

Use PVS-Studio to search for bugs in C, C++, C# and Java

We offer you to check your project code with PVS-Studio. Just one bug found in the project will show you the benefits of the static code analysis methodology better than a dozen of the articles.

goto PVS-Studio;

Andrey Karpov
Articles: 565

Bugs Found

Checked Projects
Collected Errors
14 526
This website uses cookies and other technology to provide you a more personalized experience. By continuing the view of our web-pages you accept the terms of using these files. If you don't want your personal data to be processed, please, leave this site. Learn More →