VivaCore

VivaCore. The library of code parsing, analysis and transformation developed by OOO "Program Verification Systems". VivaCore is an open library and supports C/C++/C++0x. The library is written in C++ and implemented as a project for Visual Studio 2010. 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.
  • We have implemented the support for the standard C++0x at the level it was done in Visual Studio 2010. Now it supports lambda expressions, auto, decltype, static_assert, nullptr, etc.
  • Support of specific C++ syntax used while developing in Visual Studio 2005/2008/2010 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 2010) 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/en/vivacore-library/.

References