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.

Scientific Work of OOO "Program Ve…

Scientific Work of OOO "Program Verification Systems" Company

Aug 22 2013

We used to have the "Scientific Work" web page on our site where we kept record of publications by the company workers in various printed issues, their report at a conferences, etc. These activities are of no commercial value, so we cut their number and stopped keeping record of them. Now we have decided to delete the page itself too as being of no relevance at all. But before doing that I decided to write this blog-post to summarize our scientific work. This post is intended for students who plan to take practical training in our company and is meant to demonstrate that our area is knowledge intensive, so they can choose its subjects for their theses.

Students are welcome! Practical training in our company is interesting and useful!

This post is meant to help us attract students to undergo practical training in our company. We'll be giving the corresponding URL link in letters.

It is extremely important for students that their practical training be useful from the viewpoint of their study. They seek to use it as a basis for preparing a good report at the end of the practical training course and choosing a subject for their future graduation paper, degree thesis, etc.

That's why students are interested to know if our work in this area is relevant nowadays, if they can publish an article or hold a report at a conference on the subject "static code analysis".

The answer is yes, you can. Below are examples of such activities and events we ourselves took part in.

OOO "Program Verification Systems" workers' participation in conferences

  • Application Developer Days 2011 (ADD 2011), 29-30 April 2011, St. Petersburg.
  • Application Developer Days 2010 (ADD 2010), 23-24 September 2010, Yaroslavl.
  • Central and Eastern European Software Engineering Conference '2009 (CEE-SECR 2009), 28-29 October 2009, Moscow.
  • Parallel Computational Technologies (PCT'2009), 30 March - 3 April 2009, Nizhny Novgorod.
  • Mathematical Methods in Technics and Technologies (MMTT-21), 27-31 May 2008, Saratov.
  • All-Russian Student Contest "Computer Program Contest", 22-23 May 2008, Vologda.
  • "Lomonosov-2008": International Student, Postgraduate and Young Scientist Conference, 7-11 April 2008, Moscow.
  • International Youth Scientific Conference "Gagarin Lectures XXXIV", 1-5 April 2008, Moscow.
  • Microsoft Technologies in Theory and Practice of Programming, 1-2 April 2008, Moscow.

OOO "Program Verification Systems" workers' participation in seminars

  • Seminar in Tula Developers Community TULADEV. Tula, 24 November 2012
  • Seminar in Tula Developers Community TULADEV. Tula, 25 February 2012
  • Seminar in MSU (Moscow State University) Research Computing Center, Moscow, 23 March 2009
  • Seminar in RAS (Russian Academy of Sciences) Institute for System Programming, Moscow, 7 June 2008
  • Seminar in RAS Computing Centre, Moscow, 15 May 2008
  • Seminar in Tula State University, Tula, 29 March 2007

Publications by OOO "Program Verification Systems" workers

  • A.N. Karpov, A.P. Kolosov, E.A. Ryzhkov. VivaMP, system of detecting errors in the code of parallel C++ programs using OpenMP. Parallel Computational Technologies (PCT'2009): International Scientific Conference Lectures (Nizhny Novgorod, 30 March - 3 April 2009). Published in Chelyabinsk by SUSU (South Ural State University) in 2009, 839 pages.
  • Andrey Karpov, Evgeny Romanovsky. Debugging and optimization of multi-thread OpenMP-programs. RSDN Magazine No. 4-2008, pp. 32 - 40.
  • A.P. Kolosov, E.A. Ryzhkov. Using static code analysis in software development. TSU Izvestiya. Technical Sciences. Issue No. 3. Published in Tula by TSU (Tula State University) in 2008, 267 pages, pp. 185 - 190.
  • E.A. Ryzhkov, O.S. Seredin. Adaptation of the technology of the static code analyzer for developing parallel programs. TSU Izvestiya. Technical Sciences. Issue No. 3. Published in Tula by TSU (Tula State University) in 2008, 267 pages, pp. 191 - 196.
  • E.A. Ryzhkov, A.N. Karpov. Approaches to verification and testing of 64-applications. "Informatsionnie Tehnologii" No. 7, 2008, pp. 41 - 45.
  • Andrey Karpov, Evgeny Ryzhkov. 20 issues of porting C++ code on the 64-bit platform. RSDN Magazine No. 1-2007, pp. 65 - 75.
  • Evgeny Ryzhkov, Andrey Karpov. The essence of the VivaCore code analysis library. RSDN Magazine No. 1-2008. pp. 56 - 63.
  • Alexey Kolosov, Evgeny Ryzhkov, Andrey Karpov. 32 OpenMP Traps For C++ Developers. RSDN Magazine No. 2-2008, pp. 3 - 17.
  • E.A. Ryzhkov, A.P. Kolosov. Automated System for Error Detection in Program Source Code during 64-bit Software Development (Viva64). Microsoft Technologies in Theory and Practice of Programming. Lectures of All-Russian International Student, Postgraduate and Young Scientist Conference V. Central Region. Moscow, 2008. Published in Moscow by "Vuzovskaya Kniga" in 2008, 272 pages. ISBN 978-5-9502-0354-1, pp. 57-58.
  • A.P. Kolosov, E.A. Ryzhkov. VIVA64, a System for Error Detection in Program Source Code during Migration to 64-bit Platforms. Lomonosov-2008: Lectures of the All-Russian International Student, Postgraduate and Young Scientist Conference XV: section "Computational Mathematics and Cybernetics"; 7-11 April; Moscow, Lomonosov Moscow State University, CMC (Computational Mathematics and Cybernetics) Factulty: Theses Collection. Published in Moscow by the Publishing Department of MSU CMC Faculty in 2008, 96 pages, pp. 43 - 44.
  • A.P. Kolosov, E.A. Ryzhkov. Viva64, a System for Error Detection in Program Source Code during Migration to 64-bit Platforms. Gagarin Lectures XXXIV. International Youth Scientific Conference Works in 8 Volumes. Moscow, 1-5 April 2008 / Editor-in-chief N.I. Serdyuk. Published in Moscow by MATI (Moscow Aviation Technology Institute) in 2008; Vol. 4, 184 pages, pp. 37-38.
  • A.P. Kolosov, E.A. Ryzhkov. Automated System for Error Detection in Program Source Code during 64-bit Software Development (Viva64). All-Russian Student Contest "Computer Program Contest" X: Theses Collection (in the press).
  • E.A. Ryzhkov, A.N. Karpov. Using the Static Code Analysis Technology in the Contemporary Software Development Process. // Lecture Collection of the conference "Software Engineering Conference (Russia) 2007 - SEC(R)-2007", 2007, Moscow; pp. 240-245.


Can I defend my thesis on a subject of this area?

Yes, you can. Evgeniy Ryzhkov's thesis is a good example.

In 2009 he defended his thesis for a degree of candidate of technical sciences on the subject "Automated Error Detection with Static Code Analysis during Software Migration to 64-bit Platforms" in SEIHPE (State Educational Institution of Higher Professional Education) "Tula State University".

You can find it in the library of SEIHPE "Tula State University" (92 Prospect Lenina, Tula, 300600) or in the OOO "Program Verification Systems" company's office (office 308, 39 Revolutsii st., Tula, 300034).

Popular related articles
Technologies used in the PVS-Studio code analyzer for finding bugs and potential vulnerabilities

Date: Nov 21 2018

Author: Andrey Karpov

A brief description of technologies used in the PVS-Studio tool, which let us effectively detect a large number of error patterns and potential vulnerabilities. The article describes the implementati…
Appreciate Static Code Analysis!

Date: Oct 16 2017

Author: Andrey Karpov

I am really astonished by the capabilities of static code analysis even though I am one of the developers of PVS-Studio analyzer myself. The tool surprised me the other day as it turned out to be sma…
Free PVS-Studio for those who develops open source projects

Date: Dec 22 2018

Author: Andrey Karpov

On the New 2019 year's eve, a PVS-Studio team decided to make a nice gift for all contributors of open-source projects hosted on GitHub, GitLab or Bitbucket. They are given free usage of PVS-Studio s…
The Last Line Effect

Date: May 31 2014

Author: Andrey Karpov

I have studied many errors caused by the use of the Copy-Paste method, and can assure you that programmers most often tend to make mistakes in the last fragment of a homogeneous code block. I have ne…
Characteristics of PVS-Studio Analyzer by the Example of EFL Core Libraries, 10-15% of False Positives

Date: Jul 31 2017

Author: Andrey Karpov

After I wrote quite a big article about the analysis of the Tizen OS code, I received a large number of questions concerning the percentage of false positives and the density of errors (how many erro…
How PVS-Studio Proved to Be More Attentive Than Three and a Half Programmers

Date: Oct 22 2018

Author: Andrey Karpov

Just like other static analyzers, PVS-Studio often produces false positives. What you are about to read is a short story where I'll tell you how PVS-Studio proved, just one more time, to be more atte…
PVS-Studio ROI

Date: Jan 30 2019

Author: Andrey Karpov

Occasionally, we're asked a question, what monetary value the company will receive from using PVS-Studio. We decided to draw up a response in the form of an article and provide tables, which will sho…
PVS-Studio for Java

Date: Jan 17 2019

Author: Andrey Karpov

In the seventh version of the PVS-Studio static analyzer, we added support of the Java language. It's time for a brief story of how we've started making support of the Java language, how far we've co…
The Ultimate Question of Programming, Refactoring, and Everything

Date: Apr 14 2016

Author: Andrey Karpov

Yes, you've guessed correctly - the answer is "42". In this article you will find 42 recommendations about coding in C++ that can help a programmer avoid a lot of errors, save time and effort. The au…
The way static analyzers fight against false positives, and why they do it

Date: Mar 20 2017

Author: Andrey Karpov

In my previous article I wrote that I don't like the approach of evaluating the efficiency of static analyzers with the help of synthetic tests. In that article, I give the example of a code fragment…

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 →