Our Customers
PVS-Studio |
|
PVS-Studio code analyzer is based on VivaCore Library
|
|
For Developers |
|
In this post we will continue to introduce you into OpenMP technology and tell you about some functions and new directives.»
Now we would like to start introducing you into OpenMP technology and show you the ways of using it.»
Programmers see in C++0x standard an opportunity to use lambda-functions and other entities I do not quite understand :).»
This paper contains some questions and answers about PVS-Studio code analyzer by OOO "Program Verification Systems".»
This paper contains some questions and answers about VivaCore C/C++ code analysis library by OOO "Program Verification Systems"»
The article describes and demonstrates by an example the use of PVS-Studio 3.40 new function "Mark as False Alarm". »
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
