Our Articles

Evgeniy Ryzhkov

  • 32 OpenMP Traps For C++ Developers

    20.11.2009
    Since multi-core systems are spreading fast, the problem of parallel programming becomes more and more urgent. However, even the majority of experienced developers are new to this sphere. The existing compilers and code analyzers allow finding some bugs, which appear during parallel code development. However, many errors are not diagnosed. The article contains description of a number of errors, which lead to incorrect behavior of parallel programs created with OpenMP. Read more

  • The essence of the VivaCore code analysis library

    09.01.2008
    The article tells developers about VivaCore library, preconditions of its creation, its possibilities, structure and scope of use. This article was written simultaneously with the development of VivaCore library and that's why some of the details of the final realization may differ from the features described here. But this won't prevent the developers from getting acquainted with the general work principles of the library, mechanisms of analysis and processing of C and C++ source code. Read more

  • AMD64 (EM64T) architecture

    02.10.2008
    The article briefly describes AMD64 architecture by AMD Company and its implementation EM64T by Intel Company. The architecture's peculiarities, advantages and disadvantages are described. Read more

  • 100 bugs in Open Source C/C++ projects

    16.03.2012
    This article demonstrates capabilities of the static code analysis methodology. The readers are offered to study the samples of one hundred errors found in open-source projects in C/C++. All the errors have been found with the PVS-Studio static code analyzer. Read more

  • PVS-Studio advertisement - static analysis of C/C++ code

    25.10.2011
    This document advertises the PVS-Studio static analyzer. It describes how using PVS-Studio reduces the number of errors in code of C/C++/C++11 projects and costs on code testing, debugging and maintenance. A lot of examples of errors are cited found by the analyzer in various Open-Source projects. The document describes PVS-Studio at the time of version 4.38 on October 12-th, 2011, and therefore does not describe the capabilities of the tool in the next versions. To learn about new capabilities, visit the product's site http://www.viva64.com or search for an updated version of this article. Read more

  • How we test the code analyzer

    05.07.2011
    The article describes the testing technologies used when developing PVS-Studio static code analyzer. The developers of the tool for programmers talk about the principles of testing their own program product which can be interesting for the developers of similar packages for processing text data or source code. Read more

  • Comparing the general static analysis in Visual Studio 2010 and PVS-Studio by examples of errors detected in five open source projects

    20.04.2011
    The article demonstrates errors detected with the static code analyzer integrated into Visual Studio 2010. The research was performed on five open source projects. The same projects were also checked with PVS-Studio. Results of comparing these two tools are presented at the end of the article. Read more

  • Difficulties of comparing code analyzers, or don't forget about usability

    31.03.2011
    Users' desire to compare different code analyzers is natural and understandable. However, it's not so easy to fulfill this desire as it may seem at first sight. The point is that you don't know what particular factors must be compared. Read more

  • Regular use of static code analysis in team development

    09.08.2010
    Static code analysis technologies are used in companies with mature software development processes. However, there might be different levels of using and introducing code analysis tools into a development process: from manual launch of an analyzer "from time to time" or when searching for hard-to-find errors to everyday automatic launch or launch of a tool when adding new source code into the version control system. Read more

  • VivaCore FAQ

    09.12.2009
    This paper contains some questions and answers about VivaCore C/C++ code analysis library by OOO "Program Verification Systems". Read more

  • VivaMP, system of detecting errors in the code of parallel C++ programs using OpenMP

    20.11.2009
    At present, Viva64 and VivaMP software products are included in PVS-Studio as parts of it and are no longer distributed as separate applications. Please use PVS-Studio program to obtain the necessary possibilities of code verification.. Read more

  • VivaMP - a tool for OpenMP

    20.11.2009
    At present, Viva64 and VivaMP software products are included in PVS-Studio as parts of it and are no longer distributed as separate applications. Please use PVS-Studio program to obtain the necessary possibilities of code verification.. Read more

  • OpenMP and static code analysis

    20.11.2009
    The article describes principles on which implementation of the static code analyzer VivaMP is based. The described set of testing logical conditions allows you to diagnose some errors in parallel programs created on the basis of OpenMP technology. Read more