The main feature of this code analyzer version, PVS-Studio, is the possibility of testing 32-bit projects for estimating the complexity and cost of code migration to 64-bit systems. Due to...
OOO "Program Verification Systems" team has visited the exhibition "Progressive Technologies in Automation" which has taken place in Moscow ExpoCenter on September 22-24...
The article explains what size_t and ptrdiff_t types are, their purpose, and when to use them. The following information is especially valuable for developers starting to create 64-bit...
The article is devoted to the issue of estimating complexity and cost of migration of applications to 64-bit platforms. Such aspects as availability of various components of an application...
Sometimes, when testing the code of applications with the help of PVS-Studio, you may face some problems with stdafx.h file which is a part of the mechanism "precompiled headers". For...
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...
