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


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.

Picture 786428

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;



Bugs Found

Checked Projects
336
Collected Errors
12 743