Our website uses cookies to enhance your browsing experience.
Accept
to the top
close form

Fill out the form in 2 simple steps below:

Your contact information:

Step 1
Congratulations! This is your promo code!

Desired license type:

Step 2
Team license
Enterprise license
* Difference between Team and Enterprise
Didn't get our email?
** By clicking this button you agree to our Privacy Policy statement
close form
Request our prices
Why do we ask to use Business Email?
New License
License Renewal
--Select currency--
USD
EUR
Didn't get our email?
* By clicking this button you agree to our Privacy Policy statement

close form
Free PVS‑Studio license for Microsoft MVP specialists
Why do we ask to use Business Email?
Didn't get our email?
* By clicking this button you agree to our Privacy Policy statement

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

close form
I am interested to try it on the platforms:
Why do we ask to use Business Email?
Didn't get our email?
* By clicking this button you agree to our Privacy Policy statement

close form
check circle
Message submitted.

Your message has been sent. We will email you at


If you do not see the email in your inbox, please check if it is filtered to one of the following folders:

  • Promotion
  • Updates
  • Spam

Webinar: Evaluation - 05.12

Registration
Home
>
Posts

Posts: articles

All Articles Video Books Entertainment
Errors
C++ C# Java

All tags:

Apr 30 2009
Our Article in RSDN Magazine
Andrey Karpov
An article by OOO "Program Verification Systems" developers, "Debugging and optimization of multi-thread OpenMP-programs" has been issued by RSDN Magazine, #4 ...
...
#Cpp #Knowledge #64bit
Apr 29 2009
Change of type alignment and the consequences
Andrey Karpov
When porting software one of the task a developer faces is to change types' sizes and rules of their alignments. Not so long ago we provided support of the diagnosing rule allowing you to detect...
...
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
Apr 20 2009
OOO "Program Verification Systems" announces the issue of a new version of the static code analyzer - VivaMP 1.10
Andrey Karpov
OOO "Program Verification Systems" announces the issue of a new version of the static code analyzer - VivaMP 1.10. VivaMP tool is designed for searching parallel errors in the code of...
...
#Release
Apr 20 2009
OOO "Program Verification Systems" announces the issue of a new version of the static code analyzer - Viva64 2.30
Andrey Karpov
OOO "Program Verification Systems" announces the issue of a new version of the static code analyzer - Viva64 2.30. Viva64 tool is designed for searching errors in the code of 64-bit applications...
...
#Cpp #64bit
Apr 19 2009
Seven Steps of Migrating a Program to a 64-bit System
Andrey Karpov
The article describes the main steps which should be performed to correctly port 32-bit Windows applications onto 64-bit Windows systems. Although the article is meant for developers using C/C++...
...
Apr 19 2009
VivaMP, system of detecting errors in the code of parallel C++ programs using OpenMP
Alexey Kolosov, Andrey Karpov, Evgenii Ryzhkov
The article lists the results of investigation of mistakes made by programmers using C++ and OpenMP. Static analysis is offered for automatic detection of these errors. The description of...
...
Apr 13 2009
Softkey.ru, our Viva64 & VivaMP reseller in Russia, Ukraine, Belarus and Kazakhstan
Andrey Karpov
A license contract has been concluded with "Softkey" company for our products selling via this well-known...
...
#Cpp
Apr 06 2009
Interview with Dmitriy Vyukov - the author of Relacy Race Detector (RRD)
Andrey Karpov
This is an interview with Dmitriy Vyukov - the author of Relacy Race Detector (RRD) tool intended for verifying parallel applications. In this article you will learn about the history of...
...
Apr 06 2009
OOO "Program Verification Systems" at "Parallel Computing technologies 2009" Conference
Andrey Karpov
On April, 1, in Nizhegorodsky State University in the context of the conference "Parallel Computing technologies '2009" a Program verification Systems employee Alexey Kolosov spoke out with a...
...
Mar 26 2009
Development of a static code analyzer for detecting errors of porting programs on 64-bit systems
Evgenii Ryzhkov
The article concerns the task of developing a program tool called static analyzer. The tool being developed is used for diagnosing potentially unsafe syntactic structures of C++ from the viewpoint...
...
View more Pagination arrow previous
1
...
133 134 135 136 137
...
142
Showing: - of 1420