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
** By clicking this button you agree to our Privacy Policy statement
close form
Request our prices
New License
License Renewal
--Select currency--
USD
EUR
* By clicking this button you agree to our Privacy Policy statement

close form
Free PVS‑Studio license for Microsoft MVP specialists
* 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
* By clicking this button you agree to our Privacy Policy statement

close form
I am interested to try it on the platforms:
* 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

>
Posts

Posts: articles

Oct 07 2009
An unsuccessful attempt to compare PVS-Studio (VivaMP) and Intel C/C++ ("Parallel Lint")
Andrey Karpov
Initially, the article must have been titled "Comparison of diagnostic abilities of PVS-Studio (VivaMP) and Intel C/C++ Compiler ("Parallel Lint")". Absence of sufficient information about...
...
Oct 07 2009
64-bit world is getting closer
Evgenii Ryzhkov
Being involved in creation of tools for 64-bit application developers, I follow the situation in the world. Processors being released, operating systems and technologies. I need it to 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
Oct 05 2009
We Visited ISDEF 2009 Conference
Andrey Karpov
OOO "Program Verification Systems" has visited ISDEF 2009 conference, i.e. Independent Software Developers Forum. The conference was held during four days, on October 1 - 4, in Izmailovo ...
...
Sep 30 2009
Translation of our blog in the Russian part of software.intel.com!
Andrey Karpov
The corporative blog of our company devoted to 64-bit and parallel programming and also static code analysis is now translated on software.intel.com, in its Russian...
...
Sep 29 2009
We visited INFOSECURITY 2009 Exhibition
Andrey Karpov
On September 29, we visited INFOSECURITY 2009 exhibition, which took place in Moscow Krasnaya Presnya...
...
Sep 25 2009
64-bit Loki
Andrei Alexandrescu, Andrey Karpov, Evgenii Ryzhkov, Peter Kummel, Rich Sposato
The article is a report about testing of portability of Loki library with 64-bit systems with the help of Viva64 code analyzer performed by OOO "Program Verification Systems" Company. It...
...
Sep 25 2009
PVS-Studio 3.30 release took place on September 25, 2009
Andrey Karpov
The main feature of this code analyzer version, PVS-Studio, is the possibility of testing 32-bit projects for estimating the complexity and cost of code migration to 64-bit systems. Due to...
...
Sep 24 2009
Our Russian blog is now translated on blogs.gotdotnet.ru!
Andrey Karpov
The corporative blog of our company devoted to 64-bit and parallel programming and also static code analysis is now translated on...
...
Sep 23 2009
OOO "Program Verification Systems" team has visited the exhibition "Progressive Technologies in Automation"
Andrey Karpov
OOO "Program Verification Systems" team has visited the exhibition "Progressive Technologies in Automation" which has taken place in Moscow ExpoCenter on September 22-24...
...
Sep 21 2009
About size_t and ptrdiff_t
Andrey Karpov
The article explains what size_t and ptrdiff_t types are, their purpose, and when to use them. The following information is especially valuable for developers starting to create 64-bit...
...
View more Pagination arrow previous
Showing: - of 1420