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

Andrey Karpov
Articles: 565

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 (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.

Use PVS-Studio to search for bugs in C, C++, C# and Java

We offer you to check your project code with PVS-Studio. Just one bug found in the project will show you the benefits of the static code analysis methodology better than a dozen of the articles.

goto PVS-Studio;

Andrey Karpov
Articles: 565

Bugs Found

Checked Projects
Collected Errors
14 526
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 →