In ISP RAS a seminar took place in which our specialists participated

Andrey Karpov
Articles: 565

In Institute for System Programming of Russian Academy of Science situated 25 B. Kommunisticheskaya str., Moscow, a seminar devoted to the questions of developing 64-bit applications and static analysis took place.


OOO "Program Verification Systems" experts made a report "Static analysis of source code of 64-bit C/C++ applications". After the report a discussion with the Institute's staff took place.

ISP RAS was founded January 25th, 1994 on the basis of former Cybernetics Issues Institute of RAS. ISP RAS is included into Mathematical Sciences Department of RAS.

The Institute works in the following spheres: fundamental research; applied research in the interests of industry; 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 →