Pour obtenir une clé
d'essai remplissez le formulaire ci-dessous
Demandez des tariffs
Nouvelle licence
Renouvellement de licence
--Sélectionnez la devise--
* En cliquant sur ce bouton, vous acceptez notre politique de confidentialité

Free PVS-Studio license for Microsoft MVP specialists
To get the licence for your open-source project, please fill out this form
** En cliquant sur ce bouton, vous acceptez notre politique de confidentialité.

I am interested to try it on the platforms:
** En cliquant sur ce bouton, vous acceptez notre politique de confidentialité.

Votre message a été envoyé.

Nous vous répondrons à

Si vous n'avez toujours pas reçu de réponse, vérifiez votre dossier
Spam/Junk et cliquez sur le bouton "Not Spam".
De cette façon, vous ne manquerez la réponse de notre équipe.

Andrey Karpov has made a report at the …

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

30 Avr 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 slideshare.net site: http://www.slideshare.net/Andrey_Karpov/add2011-en

Comments (0)

Next comments
Unicorn with delicious cookie
Nous utilisons des cookies pour améliorer votre expérience de navigation. En savoir plus