To get a trial key
fill out the form below
Team License (a basic version)
Enterprise License (an extended version)
* By clicking this button you agree to our Privacy Policy statement

Request our prices
New License
License Renewal
--Select currency--
USD
EUR
RUB
* By clicking this button you agree to our Privacy Policy statement

Free PVS-Studio license for Microsoft MVP specialists
* By clicking this button you agree to our Privacy Policy statement

To get the licence for your open-source project, please fill out this form
* By clicking this button you agree to our Privacy Policy statement

I am interested to try it on the platforms:
* By clicking this button you agree to our Privacy Policy statement

Message submitted.

Your message has been sent. We will email you at


If you haven't received our response, please do the following:
check your Spam/Junk folder and click the "Not Spam" button for our message.
This way, you won't miss messages from our team in the future.

>
Posts
Posts
Mar 31 2008
Research and development of OOO "Program Verification Systems" company is supported by FASIE
Andrey Karpov
Research and development of OOO "Program Verification Systems" company is supported by The Foundation for Assistance to Small Innovative Enterprises (FASIE) within the bounds of program.
...
Mar 21 2008
Viva64.com Team has become OOO "Program Verification Systems"
Andrey Karpov
We inform that Viva64.com Team - the creator of the code analyzer Viva64 and the library of source code analysis VivaCore - was transformed into OOO "Program Verification Systems".
...
Feb 16 2008
Adaptation of the technology of the static code analyzer for developing parallel programs
Evgeniy Ryzhkov, Andrey Karpov
In the article the question of use of the static code analyzers in modern parallel program development processes is considered. Having appeared in 70-80s as an addition to compilers, the static analyzers stopped to be popular with the developers in 90s. The reason was...
...
Feb 10 2008
Development of resource-intensive applications in Visual C++
Evgeniy Ryzhkov, Andrey Karpov
The article will familiarize application developers with tasks given them by the mass introduction of 64-bit multi-core processors symbolizing revolutionary increase of computing power available for an average user. It will also touch upon the problems of effective use...
...
Jan 31 2008
Using Static Analysis in Program Development
Alexey Kolosov
Static analysis allows checking program code before the tested program is executed. The static analysis process consists of three steps. First, the analyzed program code is split into tokens, i.e. constants, identifiers, reserved symbols, etc. This operation is...
...
Jan 21 2008
Introduction into the problems of developing parallel programs
Andrey Karpov
As developing parallel software is rather a difficult task at present, the questions of theoretical training of specialists and investigation of methodology of projecting such systems become very urgent. Within the framework of this article we provide historical and...
...
Jan 12 2008
The use of the code analysis library OpenC++: modifications, improvements, error corrections
Andrey Karpov
The article may be interesting for developers who use or plan to use OpenC++ library (OpenCxx). The author tells about his experience of improving OpenC++ library and modifying the library for solving special tasks.
...
Jan 12 2008
Brief description of the VivaCore code analysis library
Evgeniy Ryzhkov, Andrey Karpov
While investigating the sphere of static analysis and working on the creation of the Viva64 tool our team came to a conclusion that the most part of the developed structures and algorithms can be united into a library and used by third-party developers for creating new...
...
Jan 09 2008
The essence of the VivaCore code analysis library
Evgeniy Ryzhkov, Andrey Karpov
The article tells developers about VivaCore library, preconditions of its creation, its possibilities, structure and scope of use. This article was written simultaneously with the development of VivaCore library and that's why some of the details of the final...
...
Nov 10 2007
Traps detection during migration of C and C++ code to 64-bit Windows
Evgeniy Ryzhkov, Andrey Karpov
Appearance of 64-bit processors on PC market made developers face the task of converting old 32-bit applications for new platforms. After the migration of the application code it is highly probable that the code will work incorrectly. This article reviews questions...
...
View more Стрелка вниз
Showing: - of 1232
This website uses cookies and other technology to provide you a more personalized experience. By continuing the view of our web-pages you accept the terms of using these files. If you don't want your personal data to be processed, please, leave this site.
Learn More →
Accept