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:

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...
...
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...
...
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
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...
...
#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...
...
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...
...
Feb 27 2009
OOO "Program Verification Systems" company invites the article writers
Andrey Karpov
OOO "Program Verification Systems" company invites the article writers to visit www.viva64.com site, where they can place their articles related to testing, parallel programming, 64-bit...
...
Feb 23 2009
Peaceful coexistence of PC-Lint and VivaMP
Andrey Karpov
We are asked different questions relating to using PC-Lint, VivaMP and other static analyzers for testing parallel programs, we are asked if these tools are competitors, and there are many...
...
#Cpp #64bit
Feb 16 2009
Viva64 for optimizing data structures
Andrey Karpov
Finally I've come to implementation of diagnosis in Viva64 analyzer detecting structures with non-optimal arrangement of fields. Absence in VivaCore of support of type calculations for small...
...
Feb 09 2009
Ineffectiveness of last() in the real world
Andrey Karpov
While studying at the institute and learning different data processing algorithms, I already knew that the necessity of using such a function as last() for one-way list can indicate an...
...
Feb 04 2009
Parallel programs to multi-processor computers!
Igor Oreschenkov
The article is an introduction into parallel programs for...
...
View more Pagination arrow previous
1
...
134 135 136 137 138
...
142
Showing: - of 1419