To get a trial key
fill out the form below
Team license
Enterprise license
** 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: articles
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.
...
Subscribe to the newsletter
Want to receive a monthly digest of the most interesting articles and news? Subscribe!
* By clicking this button you agree to our Privacy Policy statement
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...
...
Nov 08 2007
Application port to 64-bit platforms or never cackle till your egg is laid
Vladimir Elesin
64-bit systems appeared more than 10 years ago, but we became closely acquainted with them comparatively recently when they came to the mass computer market. More and more software developers talk about the necessity of the support of such systems. Formerly 64-bit...
...
Aug 11 2007
The forgotten problems of 64-bit programs development
Andrey Karpov
Though the history of 64-bit systems development makes more than a decade, the appearance of 64-bit version of OS Windows raised new problems in the sphere of development and testing applications. In the article there are considered some mistakes connected with 64-bit...
...
Jul 30 2007
Viva64: What Is It, and Who Is It for?
Evgeniy Ryzhkov
Viva64 is a tool designed for software developers. With this tool, you can easily convert 32-bit applications to 64-bit ones.
...
Jul 23 2007
Some examples of the 64-bit code errors
Evgeniy Ryzhkov
While porting 32-bit software to 64-bit systems there may appear some errors in the code of applications which were written in C++ language. The cause for these hides in the alteration of the base data types (to be more exact, in the relations between them) with the...
...
Static code analysis for verification of the 64-bit applications
Evgeniy Ryzhkov, Andrey Karpov
The coming of 64-bit processors to the PC market causes a problem which the developers have to solve: the old 32-bit applications should be ported to the new platform. After such code migration an application may behave incorrectly. The article is elucidating question...
...
View more
Showing: - of 1227
Unicorn with delicious cookie
Our website uses cookies to enhance your browsing experience. Would you like to learn more?
Accept