ßçûê ñàéòà / Site language:
PVS-Studio Static Code Analyzer for 64-bit and parallel C/C++ code
Our Customers
PVS-Studio |
|
PVS-Studio code analyzer is based on VivaCore Library
|
|
02.03.2010
Parallel notes N3 - base OpenMP constructs
Now we would like to start introducing you into OpenMP technology and show you the ways of using it.»
Now we would like to start introducing you into OpenMP technology and show you the ways of using it.»
28.02.2010
In what way can C++0x standard help you eliminate 64-bit errors
Programmers see in C++0x standard an opportunity to use lambda-functions and other entities I do not quite understand :).»
Programmers see in C++0x standard an opportunity to use lambda-functions and other entities I do not quite understand :).»
26.02.2010
CruiseControl.NET - build automation platform
Continuous integration While developing software products with a complicated structure, you come at some moment to the necessity of automating the processes of building and integrating the projects and distribution kits being developed.»
Continuous integration While developing software products with a complicated structure, you come at some moment to the necessity of automating the processes of building and integrating the projects and distribution kits being developed.»
10.12.2009
PVS-Studio FAQ
This paper contains some questions and answers about PVS-Studio code analyzer by OOO "Program Verification Systems".»
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"»
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". »
The article describes and demonstrates by an example the use of PVS-Studio 3.40 new function "Mark as False Alarm". »
PVS-Studio
In the article, a brief description of PVS-Studio code analyzer is given.
The article is a tutorial on operating PVS-Studio code analyzer. You will learn about the basic abilities of PVS-Studio, the principles of working with the tool and also about the peculiarities of analyzing the code of applications of some types.
Viva64 is a tool designed for software developers. With this tool, you can easily convert 32-bit applications to 64-bit ones.
Viva64 - is a tool for searching of errors and possible problems at C/C ++ code at the applications port on the 64-bit platform. Nowadays when the necessity of the 64-bit versions software output is realized by the most of the developers, it is too important to be sure of the working up product quality. Even if the traditional 32-bit version of your product has been tested carefully, its portability on the 64-bit platform may reveal some unexpected problems. Some separate items are devoted to the applications portability problems, and this one tells how to provide the necessary level of the code quality with the help the static analyzer Viva64.
The tool for programmers VivaMP is intended for helping OpenMP-based parallel software developers. The article gives a brief description of the program product.
The article lists the results of investigation of mistakes made by programmers using C++ and OpenMP. Static analysis is offered for automatic detection of these errors. The description of VivaMP analyzer integrating into Visual Studio environment and implementing the set task is described.
The article discusses comparison of PVS-Studio code analyzer with other solutions in this sphere. As PVS-Studio contains modules for diagnosing 64-bit and parallel errors, it is compared to various types of tools.
PVS-Studio code analyzer used to develop modern 64-bit and parallel applications perfectly integrates into Microsoft Visual Studio environment. But sometimes, there are situations when using the tool in the environment is impossible or inconvenient. The article provides guidelines and examples from practice on using the analyzer in the command line-launch mode. The article describes the 3.30 version of PVS-Studio analyzer.
The article describes and demonstrates by an example the use of PVS-Studio 3.40's new function "Mark as False Alarm". This function allows you to mark the PVS-Studio analyzer's diagnostic warnings that are "false alarms" in order to omit their appearance at the next launch of the analyzer.
This paper contains some questions and answers about PVS-Studio code analyzer by OOO "Program Verification Systems".
© 2008 - 2010, OOO "Program Verification Systems"
300027, Russia, Tula, P.O. Box 1800. Office: Russia, Tula, Kutuzova 100-73
300027, Russia, Tula, P.O. Box 1800. Office: Russia, Tula, Kutuzova 100-73
