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

Andrey Karpov
Articles: 565

In Computing Centre named after A.A.Dorodnitsin of Russian Academy of Sciences, situated 40 Vavilova str., Moscow, a seminar devoted to the questions of static code analysis took place.


OOO "Program Verification Systems" experts made a report "Use of static code analysis technologies for automatic detection of errors in programs". After the report a discussion with the Computing Centre staff took place.

RAS Computing Centre, founded in 1955 by academician A.A.Dorodnitsin, is a leading research institute of RAS in the sphere of computing methods, mathematical modeling, computer software and also application of computer technologies in different spheres of science and technology.

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 →