Customers




Developers Resources

Blog

05.02.2010 /Wp64 switch and template processing error
While maintaining the analyzer Viva64 (included into PVS-Studio) we often comment upon the switch /Wp64 of Microsoft Visual C++.»

03.02.2010 Parallel notes N1 - OpenMP technology
In the next few posts we will tell you about using multi-core processors in practice.»

29.01.2010 64-bit technologies - one more trend in the modern software
In the blogs and forums, there is much discussion of multi-core processors as an evident step of computer system development.»

Blog RSS

News

2.02.2010 "Lessons of 64-bit C/C++ software development" are now available on our site.»

1.02.2010 PVS-Studio 3.45 New Version Released!»

21.01.2010 PVS-Studio 3.44 New Version Released!»

News RSS

Articles

10.12.2009 PVS-Studio FAQ
This paper contains some questions and answers about PVS-Studio code analyzer by OOO "Program Verification Systems".»

09.12.2009 VivaCore FAQ
This paper contains some questions and answers about VivaCore C/C++ code analysis library by OOO "Program Verification Systems"»

23.11.2009 PVS-Studio: using the function "Mark as False Alarm"
The article describes and demonstrates by an example the use of PVS-Studio 3.40 new function "Mark as False Alarm". »

Articles RSS

About Company

OOO "Program Verification Systems" Company develops software in the sphere of analysis of source code. Our key activities are: program verification, static code analysis, development of open source library of C/C++ code parsing and analysis, creation of tools for testing programs.

PVS-Studio Code Analyzer

PVS-Studio software product is a static code analyzer designed for developers of modern resource-intensive applications. PVS-Studio combines the possibilities of 64-bit code analysis from Viva64 program and parallel code analysis from VivaMP program, and lets develop, test, perform migration and verification and as result to create high reliability applications in C and C++ languages.

BuyDownload
 PVS-Studio

Developers Resources

Our site contains a section "Developers Resources", which will be useful for all software developers and not only for users of our product.

This section contains information about resource intensive applications development (64-bit and parallel software on C/C++ language). Provided information relates to development and use of static code analysis tools, PVS-Studio tool is described.		 Developers Resources

Services

Our Company specializes in 64-bit and parallel solutions verification, and renders services in creation of verification means, quality management and providing security of the programs source code.

We use the methodology of static code analysis, and apply it to programs created in C/C++ language.

Services