Our Customers
|
PVS-Studio code analyzer is based on VivaCore Library
|
|
Sometimes the PVS-Studio code analyzer seems to find an issue in the code on which it generates a message, specifies the file name but does not show the number of the line with the issue as shown in the figure.»
Abstract When developing software products, developers need very much to get feedback from users of their programs.»
This article illustrates techniques required to employ the use of PVS-Studio static code analyzer together with continuous integration systems.»
In the article, we will compare three mechanisms of code analysis from the viewpoint of detecting 64-bit errors: the Visual C++ 2010 compiler, the Code Analysis for C/C++ component included into Visual Studio 2010 and Viva64 analyzer included into PVS-Studio 3.60.»
This article is the most complete collection of examples of 64-bit errors in the C and C++ languages.»
VivaCore Library
|
VivaCore - is not a code analyzer. This is a library on the basis of which PVS-Studio code analyzer is built and on the basis of which other software products can be created. |
PVS-Studio is developed on the basis of our VivaCore library. VivaCore is meant for the development of systems in the sphere of static analysis, testing and verification of program code in C/C++ language. If you investigate the possibility of creating tools for working with the program code this text is for you.
While investigating the sphere of static analysis we understood that we can offer our issues to other companies. They may interest those companies which create or are planning to create tools for working with the code. As C++ is one of the most difficult languages for analysis, creation of a toolkit to work with it often takes a lot of time for the procedure of working with the code. VivaCore library allows to simplify this part of the project and offers the developers the possibility to concentrating on the creation of the TOOL itself for working with the code, and not on the arranging of the code walkthrough algorithms.
Let's enumerate briefly the possible spheres for creation of new software tools on the basis of VivaCore library:
- Software reengineering tools: refactoring, source code transformation, code optimization;
- Quality assurance tools: software metrics, code standard checking, coverage analysis, code analyzers;
- Source code documentation;
- Software migration tools: platform and operation systems migration.
If your company is planning to develop tools in these or similar spheres, we are ready to provide you with our VivaCore library, arrange consultations on its integration and use and also to complete and bring about new possibilities of analysis.
For VivaCore building, you should have an installed version of Boost library in the system. The current version of VivaCore works with Boost 1.41.
In order to install Boost, you should carry out some actions on the project setup. First of all, it is necessary to indicate the paths to the Boost library header files (Configuration Properties -> C/C++ -> General -> Additional Include Directories) in the project settings. Further on, you should indicate the path to the compiled lib-files (Configuration Properties -> Linker -> General -> Additional Library Directories).
VivaVisualCode, example of usage VivaCore Library
VivaVisualCode is a program demonstrating in a visual form the abilities of VivaCode library in building parse trees for C++ code. VivaVisualCode implements graphic representation of a parse tree on the screen.
300027, Russia, Tula, P.O. Box 1800. Office: Russia, Tula, Kutuzova 100-73
