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:

#Cpp #64bit
May 30 2008
Comparison of analyzers' diagnostic possibilities at checking 64-bit code
Andrey Karpov
The article compares a specialized static analyzer Viva64 with universal static analyzers Parasoft C++Test and Gimpel Software PC-Lint. The comparison is carried within the framework of the task...
...
#Cpp
May 20 2008
32 OpenMP Traps For C++ Developers
Alexey Kolosov, Andrey Karpov, Evgenii Ryzhkov
Since multi-core systems are spreading fast, the problem of parallel programming becomes more and more urgent. However, even the majority of experienced developers are new to this sphere...
...
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
May 15 2008
In CC RAS a seminar took place in which our specialists participated
Andrey Karpov
In Computing Centre named after A.A.Dorodnitsin of Russian Academy of Sciences, situated 40 Vavilova str., Moscow, a seminar devoted to the questions of static code analysis took...
...
May 13 2008
Building of systems of automatic C/C++ code logging
Andrey Karpov
Sometimes logging of an application's events is the only debugging method. The logging method's disadvantage is the large size of the code which you have to write manually to save the whole...
...
Apr 20 2008
VivaCore - Quick Start
Andrey Karpov, Evgenii Ryzhkov
The document familiarizes developers with VivaCore library giving general information about the library, the scope of use, license agreements. It describes also the process of the...
...
#Cpp #64bit
Apr 15 2008
64 bits, Wp64, Visual Studio 2008, Viva64 and all the rest...
Andrey Karpov
The purpose of this article is to answer some questions related to safe port of C/C++ code on 64-bit systems. The article is written as an answer to the topic often discussed on forums and related...
...
Apr 04 2008
Advantages of Viva64
Andrey Karpov, Evgenii Ryzhkov
The purpose of this commercial article is to show advantages of Viva64 tool throughout the life cycle of software...
...
Apr 01 2008
Announcing VivaCore 1.0
Andrey Karpov
While investigating the sphere of static analysis and working at the creation of the Viva64 tool OOO "Program Verification Systems" company came to a conclusion that the most part of the...
...
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...
...
Feb 16 2008
Adaptation of the technology of the static code analyzer for developing parallel programs
Andrey Karpov, Evgenii Ryzhkov
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...
...
View more Pagination arrow previous
1
...
138 139 140 141 142
Showing: - of 1419