User profile: AndreyKarpov

User info
User name:AndreyKarpov
Name:Andrey Karpov
Bio:Andrey Karpov is technical director of the OOO "Program Verification Systems" company where his task is to develop source code static analyzers. He has worked for several years in the "CFD Software Group" Scientific Center where he has acquired an exceptional experience of resource-intensive software development in the sphere of computational modeling and visualization. It was there that he noticed an insufficient set of tools for detecting defects in 64-bit software handling large memory amounts. It became the starting point in creation of the Viva64 static analyzer and later the PVS-Studio package.
Number of posts:7
Latest posts:

C++ Hints
C++ Hints: Within the scope of this project, we publish 1 recommendation/tip...

Let's Play a Game
The authors of the PVS-Studio analyzer invite you to test your attentiveness. Code analyzers neve...

why ++i is better than i++ (when applicable)
Is it reasonable to use the prefix increment operator ++it instead of postfix operator it++ for iter...

Static analysis of C++Builder and WinRT projects
I'm addressing developers with a specific request. Our plans for the PVS-Studio 5.00 static code ana...

A sample collection to aid in studying typical misprints and mistakes in C/C++ programming
There is no comparison with Coverity. They do not give us a version for experimentation. There are o...