We have already written in our articles about one of the problems of code migration to 64-bit systems relating to incorrect overload of virtual functions. For example, our article "20 issues...
The report by OOO "Program Verification Systems" employees dealing with the issue of "Early Error Diagnostics in Parallel Programs" has been scheduled in the program of the 5th Central and...
Sometimes PVS-Studio analyzer cannot analyze a file with a source code completely. There are various reasons. Perhaps, the analyzer did not manage to analyze an especially complex template...
OOO "Program Verification Systems" has released a new version of static analyzer PVS-Studio, 3.20. All the changes in the program refer to the inner structure of the program only, while from...
Some time ago I wrote in the blog about some problems (see note "OpenMP and exceptions") occurring when an exception excesses the boundaries of parallel sections. I have also told you that...
Once again I would like to discuss the issue of using magic constants in code. We can eternally repeat that one should use sizeof() operator for correct calculation of the size of memory...
This week, our site www.viva64.com has changed the hosting provider. This should lead to faster and more stable work of the site. We hope that faster work of the site will render communication...
I would like to tell you about one more 64-bit error we have found in some program. It becomes a good tradition to publish information about interesting and specific programming errors for...
Sometimes PVS-Studio code analyzer can refer to this error: "Some diagnostic messages may contain incorrect line number for file ...". It may occur when using Microsoft Visual Studio 2005...
A new version of code analyzer PVS-Studio 3.10 has been released. PVS-Studio is a static code analyzer designed for simplification of modern applications in C and C++ development. PVS-Studio...