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
|
|
For Developers |
|
11.03.2010
Parallel notes N4 - continuing to study OpenMP constructs
In this post we will continue to introduce you into OpenMP technology and tell you about some functions and new directives.»
In this post we will continue to introduce you into OpenMP technology and tell you about some functions and new directives.»
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 :).»
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". »
Terminology
Data model
27.08.2009
Data model. Under a data model we understand correlations between types' dimensions accepted within the framework of the development environment. For one operations system there can exist several development means adhering to different data models. But usually only one model prevails - the one corresponding to the hardware and software environment most. An example is the 64-bit Windows operations system in which LLP64 is the original data model. But for compatibility purposes the 64-bit Windows operations system supports execution of 32-bit programs which work in the mode of ILP32LL data model.
References
- Andrey Karpov. Comparison of analyzers' diagnostic possibilities at checking 64-bit code. 1.1. Data model.
- The Open Group. "64-Bit Programming Models: Why LP64?"
- MSDN Blogs. The Old New Thing. "Why did the Win64 team choose the LLP64 model?"