Andrey Karpov is technical manager of the OOO "Program Verification Systems" (Co Ltd) company developing the PVS-Studio tool which is a package of static code analyzers integrating into the Visual Studio development environment.
PVS-Studio is a static analyzer that detects errors in source code of C/C++ applications. There are 3 sets of rules included into PVS-Studio:
Andrey Karpov is also the author of many articles on the topic of 64-bit and parallel software development. To learn more about the PVS-Studio tool and sources concerning 64-bit and parallel software development, please visit the www.viva64.com site.
... We've been going on adding additional tools like PVS Studio and PC-Lint. ... Free license for the PVS-Studio static analyzer: http://www.viva64.com/en/b/0092/
... We've been going on adding additional tools like PVS Studio and PC-Lint. ... Free license for the PVS-Studio static analyzer: http://www.viva64.com/en/b/0092/