Our Customers
|
PVS-Studio code analyzer is based on VivaCore Library
|
|
So I've gotten to try the C++ compiler included into Intel Parallel Studio XE 2011 beta at last.»
In this blog, you may often read posts about how this or that software tool or software development technology helps make fewer errors, find them faster and correct them easier.»
Friends, it is high time we stopped considering links only in the context of their number and buying/ selling and counting PR of the site they are laid out on.»
This article illustrates techniques required to employ the use of PVS-Studio static code analyzer together with continuous integration systems.»
In the article, we will compare three mechanisms of code analysis from the viewpoint of detecting 64-bit errors: the Visual C++ 2010 compiler, the Code Analysis for C/C++ component included into Visual Studio 2010 and Viva64 analyzer included into PVS-Studio 3.60.»
This article is the most complete collection of examples of 64-bit errors in the C and C++ languages.»
Terminology
Memsize-type
The term "memsize" is often used in our articles. We introduce this term to simplify description of the material. The term "memsize" has appeared as a try to name briefly all the types which are capable of storing pointers' sizes and indexes of the largest arrays. Memsize-type can store the size of a maximum array which can be theoretically allocated within the framework of the given architecture. By memsize-type we understand all simple data types of C/C++ languages which are 32-bit on a 32-bit architecture and 64-bit on a 64-bit one.
Keep in mind that in different data models the term memsize-type includes different types. For example, in Windows systems long type is not memsize-type and in Unix systems with data model LP64 it is. Examples of memsize-types: pointers, size_t, ptrdiff_t, intptr_t, SIZE_T, DWORD_PTR.
References
- Andrey Karpov. About size_t and ptrdiff_t. http://www.viva64.com/art-1-2-710804781.html
- MSDN. Standard Types. http://www.viva64.com/go.php?url=338
- MSDN. Windows Data Types. http://www.viva64.com/go.php?url=337