To get a trial key
fill out the form below
Team License (a basic version)
Enterprise License (an extended version)
* By clicking this button you agree to our Privacy Policy statement

Request our prices
New License
License Renewal
--Select currency--
* By clicking this button you agree to our Privacy Policy statement

Free PVS-Studio license for Microsoft MVP specialists
* By clicking this button you agree to our Privacy Policy statement

To get the licence for your open-source project, please fill out this form
* By clicking this button you agree to our Privacy Policy statement

I am interested to try it on the platforms:
* By clicking this button you agree to our Privacy Policy statement

Message submitted.

Your message has been sent. We will email you at

If you haven't received our response, please do the following:
check your Spam/Junk folder and click the "Not Spam" button for our message.
This way, you won't miss messages from our team in the future.

Andrey Karpov has made a report at the …

Andrey Karpov has made a report at the Application Developer Days 2011 conference

Apr 30 2011

Andrey Karpov, worker of our company, has participated in the ADD conference and made a report "Static C++ code analysis".


ADD is a conference for programmers who love their work. The Application Developer Days conference is an event carried out by experts in the sphere of software engineering meant to unite individual professionals and IT-communities at one stage. The symbol of the conference is a crossed woodpecker, which means that only interesting reports get to the conference and you should not be afraid of falling asleep while some manager is lingering over SaaS, Agile, ISO9001 or CMMI.

The report's theses:

Languages C, C++ and C++0x are like a set of wood carving knives. They are used to create fine products but if you are not careful enough, you may severely cut yourself. One of the earliest methods of detecting issues in program code is static code analysis. By launching analysis right after writing new code or during night builds, you may detect plenty of errors already before the testing stage. This reduces time and cost of eliminating them. You may also find defects which occur rarely and might plague you for many months of program maintenance.

In the report we will demonstrate a lot of samples of errors in popular open source programs and libraries that you may detect using static analyzers.

About the author:

Andrey Karpov is technical manager in the OOO "Program Verification Systems" where he develops tools of source code static analysis. He has worked for several years in the Scientific Center "GDT Softver Group" where he has acquired unique experience of developing resource-intensive software in the sphere of numerical simulation and visualization. It was there that he noticed lack of tools allowing programmers to detect issues in 64-bit applications handling large memory amounts. It was the starting point of creating the Viva64 static analyzer and then the PVS-Studio package.

You may view the presentation of the "Static C++ code analysis" report on the site:

Comments (0)

Next comments
This website uses cookies and other technology to provide you a more personalized experience. By continuing the view of our web-pages you accept the terms of using these files. If you don't want your personal data to be processed, please, leave this site.
Learn More →