Our Article in RSDN Magazine

An article by OOO "Program Verification Systems" developers, "Debugging and optimization of multi-thread OpenMP-programs" has been issued by RSDN Magazine, #4 - 2008.

Picture 781620

Issues on the availability of tools with the help of which it is possible to correct errors which occur in use of such new libraries and standards as, e.g., OpenMP, are brought out. One of such tools which meets the requirements of time and such technology is VivaMP static code analyzer. This article, as well as other articles included in the RSDN Magazine, is an in-depth one and not just a review. It is focused at the developers who create software in the field of multithreading programming and face the difficulties in creating multithreaded solutions. Its aim is to give answers to some topical issues which arise in the process of such work.

You can read the e-version of the article at our site.

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

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
Collected Errors
12 668