Our Articles

  • Installation of PC-Lint and its using in Visual Studio 2005

    23.12.2008
    The article is devoted to the first acquaintance with the PC-Lint 8.0 static analyzer of C++ code. The process of the tool installation and its initial setting is described. Read more

  • How VivaCore library appeared

    10.08.2008
    The article describes the main preconditions and stages of development of open VivaCore library intended for code analysis and creation of metaprogramming systems. VivaCore project is a development of OpenC++ library in which support of C and C++ language peculiarities specific for Visual Studio 2005/2008 is implemented. Read more

  • Detection of vulnerabilities in programs with the help of code analyzers

    10.08.2008
    At present there are a lot of tools intended for automating search of program vulnerabilities. This article describes some of them. Read more

  • Description of VivaVisualCode

    02.07.2008
    This article concerns the program VivaVisualCode, showing how to use VivaCore library. VivaVisualCode represents in a graphic form the parse tree of the input source code in C++. Read more

  • Building of systems of automatic C/C++ code logging

    13.05.2008
    Sometimes logging of an application's events is the only debugging method. The logging method's disadvantage is the large size of the code which you have to write manually to save the whole necessary information. The article touches upon the method allowing you to build a system of automatic logging of C/C++ code. Read more

  • VivaCore - Quick Start

    20.04.2008
    The document familiarizes developers with VivaCore library giving general information about the library, the scope of use, license agreements. It describes also the process of the library's deployment and an example of how to use it. Read more

  • Using Static Analysis in Program Development

    31.01.2008
    Static analysis allows checking program code before the tested program is executed. The static analysis process consists of three steps. First, the analyzed program code is split into tokens, i.e. constants, identifiers, reserved symbols, etc. This operation is performed by lexer. Second, the tokens are passed to parser, which builds an abstract syntax tree (AST) based on the tokens. Finally, the static analysis is performed over the AST. This article describes three static analysis techniques: AST walker analysis, data flow analysis and path-sensitive data flow analysis. Read more

  • The use of the code analysis library OpenC++: modifications, improvements, error corrections

    12.01.2008
    The article may be interesting for developers who use or plan to use OpenC++ library (OpenCxx). The author tells about his experience of improving OpenC++ library and modifying the library for solving special tasks. Read more

  • Brief description of the VivaCore code analysis library

    12.01.2008
    While investigating the sphere of static analysis and working on the creation of the Viva64 tool our team came to a conclusion that the most part of the developed structures and algorithms can be united into a library and used by third-party developers for creating new software products. This library has been named VivaCore. Read more