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
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
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 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.

Try for free
Support
personal account arrow down
Authorization Registration
En language selector arrow down
English
Français
Home
>
Posts

Posts

All Articles Video Entertainment
Errors
Search
#Marketing
Apr 07 2009
OOO "Program Verification Systems" Blog Launch
Andrey Karpov
We pay much attention to writing and publishing articles here in OOO "Program Verification Systems". On the "Articles" page of out site more than 40 various articles concerning static code analysis, 64-bit and parallel applications development are laid out. Many of...
...
#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 creating RRD, its basic abilities and also about some other similar tools and the...
...
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 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 report on the following topic: "VivaMP, a system of errors diagnostics in...
...
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 of porting program code on 64-bit systems. Here we focus not on the...
...
Mar 26 2009
Allsoft.ru, our new reseller for Viva64 and VivaMP in Russia and CIS countries
Andrey Karpov
OOO "Program Verification Systems" Company has concluded a license contract with allsoft.ru reseller, a Softline Company project, for more easy and fast way of selling its software in Russia and CIS countries.
...
Mar 23 2009
Seminar in MSU RCC
Andrey Karpov
On March 23, in the Moscow State University Research Computing Centre a seminar took place with "Program Verification Systems" General Director Evgeniy Ryzhkov taking part in it. The topic of the seminar was "Static Code Analysis for Automatic errors detection in...
...
Mar 16 2009
OpenMP and exceptions
Andrey Karpov
We continue developing our static analyzer VivaMP and now we would like to speak about diagnosing errors relating to using C++ exceptions in parallel regions. By a parallel region we understand a program fragment which is divided into two threads executed parallel...
...
Mar 10 2009
The final version of the code analyzer VivaMP 1.00 intended for OpenMP-program developers is released
Andrey Karpov
OOO "Program Verification Systems" Company announces release of the static code C/C++ code analyzer VivaMP 1.00. VivaMP analyzer is intended for diagnosing parallel errors in the software implemented on the basis of OpenMP technology. It is no secret that the modern...
...
#Cpp #64bit
Mar 09 2009
Search of explicit type conversion errors in 64-bit programs
Andrey Karpov
On forums I'm constantly asked questions concerning search of incorrect explicit type conversion when porting code on a 64-bit platform. I decided to write this small note so that I could refer people to it and avoid writing the answer every time.
...
Mar 02 2009
Online checking of errors relating to using OpenMP technology and x64 architecture
Andrey Karpov
I like various code analyzers which can be tried in online mode to see if they are worth more detailed investigation. A good example is an online version of PC-lint analyzer by Gimpel Software: http://www.gimpel-online.com/OnlineTesting.html.
...
View more Pagination arrow previous
1
...
125 126 127 128 129
...
134
Showing: - of 1334

Want to try PVS-Studio for free?