PVS-Studio Static Code Analyzer for 64-bit and parallel C/C++ code
Our Customers
PVS-Studio |
|
PVS-Studio code analyzer is based on VivaCore Library
|
|
For Developers |
|
11.03.2010
Parallel notes N4 - continuing to study OpenMP constructs
In this post we will continue to introduce you into OpenMP technology and tell you about some functions and new directives.»
In this post we will continue to introduce you into OpenMP technology and tell you about some functions and new directives.»
02.03.2010
Parallel notes N3 - base OpenMP constructs
Now we would like to start introducing you into OpenMP technology and show you the ways of using it.»
Now we would like to start introducing you into OpenMP technology and show you the ways of using it.»
28.02.2010
In what way can C++0x standard help you eliminate 64-bit errors
Programmers see in C++0x standard an opportunity to use lambda-functions and other entities I do not quite understand :).»
Programmers see in C++0x standard an opportunity to use lambda-functions and other entities I do not quite understand :).»
10.12.2009
PVS-Studio FAQ
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 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"»
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". »
The article describes and demonstrates by an example the use of PVS-Studio 3.40 new function "Mark as False Alarm". »
Terminology
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.