Customers

Blog

05.02.2010 /Wp64 switch and template processing error
While maintaining the analyzer Viva64 (included into PVS-Studio) we often comment upon the switch /Wp64 of Microsoft Visual C++.»

03.02.2010 Parallel notes N1 - OpenMP technology
In the next few posts we will tell you about using multi-core processors in practice.»

29.01.2010 64-bit technologies - one more trend in the modern software
In the blogs and forums, there is much discussion of multi-core processors as an evident step of computer system development.»

News

2.02.2010 "Lessons of 64-bit C/C++ software development" are now available on our site.»

1.02.2010 PVS-Studio 3.45 New Version Released!»

21.01.2010 PVS-Studio 3.44 New Version Released!»

Articles

10.12.2009 PVS-Studio FAQ
This paper contains some questions and answers about PVS-Studio code analyzer by OOO "Program Verification Systems".»

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

23.11.2009 PVS-Studio: using the function "Mark as False Alarm"
The article describes and demonstrates by an example the use of PVS-Studio 3.40 new function "Mark as False Alarm". »

Print version

VivaCore

VivaCore. The library of code parsing, analysis and transformation developed by OOO "Program Verification Systems". VivaCore is an open library and supports C and C++. The library is written in C++ and implemented as a project for Visual Studio 2005. VivaCore is built on the basis of OpenC++ (OpenCxx) which is currently not developed. VivaCore can do everything what OpenCxx can and has some more features:

Classical C is supported.
Support of specific C++ syntax used while developing in Visual Studio 2005/2008 environment is provided.
Some new key words and other constructions present in the new language standards are supported.
Calculating values of literal constants is implemented.
The library is adapted and optimized for 64-bit systems.
A lot of errors and defects are corrected.
A mechanism of initial preprocessing of the source text, allowing you to implement some specific code modifications, is created.
Coding of complex types taking more than 127 symbols in coded form is supported.
A simple project (for Visual Studio 2005) demonstrating the main principles of VivaCore library's usage is created.
#pragma directives are supported

It is on the basis of VivaCore Library that PVS-Studio analyzer is implemented.. Besides, OOO "Program Verification Systems" suggests creating specialized solutions in the sphere of source code analysis and processing on the basis of VivaCore library for third-party clients.

The product's page: http://www.viva64.com/vivamp-tool/.

References

Andrey Karpov, Evgeniy Ryzhkov. The essence of the code analysis library VivaCore.
VivaCore. VivaCore FAQ.
Andrey Karpov. How VivaCore library appeared.