OpenMP support in PVS-Studio had been dropped after version 5.20. If you have any questions, feel free to contact our support.
Some time ago, we wrote several letters to Embarcadero offering them to collaborate with us and use our tools to test 64-bit C/C++ code. Our idea was to integrate PVS-Studio with C++Builder or implement some diagnosis rules right in their compiler. All the letters remained without answer and that is why we decided to post a brief note for those who would be interested in the topic of testing the code created in C++Builder on efficiency on 64-bit systems.
At present, PVS-Studio package consists of two static code analyzers: Viva64 to search for 64-bit errors and VivaMP to test parallel OpenMP programs. PVS-Studio integrates into Microsoft Visual Studio 2005/2008 development environment and MSDN Help system.
At the moment of writing this text, PVS-Studio does not support C++Builder by Embarcadero and perhaps it is too early to think about it. The time of 64-bit programs for Embarcadero C++Builder users will come a bit later. However, creating 64-bit applications is a relevant task. We are ready to discuss the question of integrating PVS-Studio with Embarcadero C++Builder.
If your company has a large amount of source code and is planning to adapt it for 64-bit systems, please write to our support service. We are a small company that can quickly respond to clients' needs and implement all the necessary functionality and support.
I often hear in various interpretations the phrase: "The given examples show not the code incorrect from the viewpoint of porting to x64 systems, but the code incorrect in itself". I would like to discuss and theorize a bit on this point in the blog. Please, take this note with a bit of humor.
One of the problems that 64-bit software developers have to face is overflows of 32-bit variables in very long loops. PVS-Studio code analyzer is very good at catching issues of this type (see the Viva64 diagnostic set). A lot of questions concerning variable overflows are asked at StackOverflow.com. But since my answers may be treated as pure advertisement, rather than ...