To get a trial key
fill out the form below
Team license
Enterprise license
** 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.

OOO "Program Verification Systems&…

OOO "Program Verification Systems" workers took part in the ADD-2010 conference

Sep 28 2010

The Application Developer Days conference was held in Yaroslavl September 23-24, 2010. The conference's symbol was a "stop" sign for woodpeckers - it meant that only those reports which were really interesting for software developers were selected for the conference instead of abstract debates on another development methodology or advertising of development tools.


The Application Developer Days conference is a unique event implemented by experts in the sphere of software engineering intended to unite individual professionals and IT communities on one site. The conference includes discussion of a wide range of question related to software development, selection of programming languages, studying effective architectural solutions and recommendations on creating them, discussion of most needed technologies, products by popular vendors and open-source solutions.

The conference was organized by companies SQALab [RU] (Moscow, Russia) relying on the IT-CONF.RU resource and BYTE-FORCE (Yaroslavl, Russia).

Andrey Karpov presented a report "Static code analysis today" at this conference. Here are its theses.


Static analysis is a methodology of detecting errors in source code of programs based on the technique when programmer reviews code fragments marked by a static analyzer as potentially containing errors. Many take static analysis as something obsolete and irrelevant. Really, there are some things making people think that static analysis was useful earlier when development tools were much less functional. But if we put aside some obsolete stuff, it turns out that the static analysis methodology still can let you significantly reduce the price of eliminating many defects through detecting them at the early stage of developing (coding). Moreover, progress of programming languages, appearance of new programming technologies like OpenMP and increase of an average size of projects make usage of static analyzers more attractive for product quality control.

You may watch videos of this report and other ones that will be available on the conference's site soon.

Latest articles:


Comments (0)

Next comments
Unicorn with delicious cookie
Our website uses cookies to enhance your browsing experience.