Home › Articles

Submit New Article

A Collection of Examples of 64-bit
Errors in Real Programs

Abstract

This article is the most complete collection of examples of 64-bit errors in the C and C++ languages. The article is
intended for Windows-application developers who use Visual C++, however, it will be useful for other programmers
as well.

Introduction

Our company OOO "Program Verification Systems" develops a special static analyzer Viva64 that detects 64-bit
errors in the code of C/C++ applications. During this development process we constantly enlarge our collection of
examples of 64-bit defects, so we decided to gather the most interesting ones in this article. Here you will find
examples both taken directly from the code of real applications and composed synthetically relying on real code
since such errors are too "extended" throughout the native code.

The article only demonstrates various types of 64-bit errors and does not describe methods of detecting and
preventing them. If you want to know how to diagnose and fix defects in 64-bit programs, please see the following
sources:

1. Lessons on development of 64-bit C/C++ applications [1];

2. About size_t and ptrdiff_t [2];
3. 20 issues of porting C++ code on the 64-bit platform [3];
4. PVS-Studio Tutorial [4];
5. A 64-bit horse that can count [5].

You may also try the demo version of the PVS-Studio tool that includes the Viva64 static code analyzer which
detects almost all the errors described in this article. The demo version of the tool can be downloaded here:
http://www.viva64.com/pvs-studio/download/.

Example 1. Buffer overflow

- collapse sourceview plaincopy to clipboardprint?

1. struct STRUCT_1
2. {
3. int *a;
4. };
5.
6. struct STRUCT_2
7. {
8. int x;
9. };
10. ...
11. STRUCT_1 Abcd;
12. STRUCT_2 Qwer;
13. memset(&Abcd, 0, sizeof(Abcd));
14. memset(&Qwer, 0, sizeof(Abcd));

In this program, two objects of the STRUCT_1 and STRUCT_2 types are defined which must be zeroed (all the
fields must be initialized with nulls) before being used. While implementing the initialization, the programmer
decided to copy a similar line and replaced "&Abcd" with "&Qwer" in it. But he forgot to replace "sizeof(Abcd)"
with "sizeof(Qwer)". Due to mere luck, the sizes of the STRUCT_1 and STRUCT_2 structures coincided on a 32-bit
system and the code has been working correctly for a long time.

When porting the code on the 64-bit system, the size of the Abcd structure increased and it resulted in a buffer
overflow error (see Figure 1).
Figure 1 - Schematic explanation of the buffer overflow example

Such an error is difficult to detect if the data which should be used much later get spoiled.

Example 2. Unnecessary type conversions

- collapse sourceview plaincopy to clipboardprint?

1. char *buffer;
2. char *curr_pos;
3. int length;
4. ...
5. while( (*(curr_pos++) != 0x0a) &&
6. ((UINT)curr_pos - (UINT)buffer < (UINT)length) );

This code is bad yet it is real. Its task is to search for the end of the line marked with the 0x0A symbol. The code
will not process lines longer than INT_MAX characters since the length variable has the int type. But we are
interested in another error, so let's assume that the program works with a small buffer and it is correct to use the int
type here.

The problem is that the buffer and curr_pos pointers might lie outside the first 4 Gbytes of the address space in a
64-bit system. In this case, the explicit conversion of the pointers to the UINT type will through away the significant
bits and the algorithm will be violated (see Figure 2).

Figure 2 - Incorrect calculations when searching for the terminal symbol

What is unpleasant about this error is that the code can work for a long time as long as buffer memory is allocated
within the first four Gbytes of the address space. To fix the error, you should remove the type conversions which
*Trademarks

are absolutely unnecessary: ©Intel

Corporation
- collapse sourceview plaincopy to clipboardprint?

1. while(curr_pos - buffer < length && *curr_pos != '\n')

2. curr_pos++;

Example 3. Incorrect #ifdef's

You may often see code fragments wrapped in #ifdef - -#else - #endif constructs in programs with long history.
When porting programs to the new architecture, the incorrectly written conditions might result in compilation of
other code fragments than the developers intended before (see Figure 3). For example:

- collapse sourceview plaincopy to clipboardprint?

1. #ifdef _WIN32 // Win32 code

2. cout << "This is Win32" << endl;
3. #else // Win16 code
4. cout << "This is Win16" << endl;
5. #endif
6.
7. //Alternative incorrect variant:
8. #ifdef _WIN16 // Win16 code
9. cout << "This is Win16" << endl;
10. #else // Win32 code
11. cout << "This is Win32" << endl;
12. #endif

Figure 3 - Two variants - this is too little

It is dangerous to rely on the #else variant in such cases. It is better to explicitly check behavior for each case (see
Figure 4) and add a message about a compilation error into the #else branch:

- collapse sourceview plaincopy to clipboardprint?

1. #if defined _M_X64 // Win64 code (Intel 64)

2. cout << "This is Win64" << endl;
3. #elif defined _WIN32 // Win32 code
4. cout << "This is Win32" << endl;
5. #elif defined _WIN16 // Win16 code
6. cout << "This is Win16" << endl;
7. #else
8. static_assert(false, "Unknown platform ");
9. #endif

Figure 4 - All the possible compilation ways are checked

Example 4. Confusion of int and int*

In obsolete programs, especially those written in C, you may often see code fragments where a pointer is stored in
the int type. However, sometimes it is done through lack of attention rather than on purpose. Let's consider an
example with confusion caused by using the int type and a pointer to the int type:

- collapse sourceview plaincopy to clipboardprint?

1. int GlobalInt = 1;
2.
3. void GetValue(int **x)
4. {
5. *x = &GlobalInt;
6. }
7.
8. void SetValue(int *x)
9. {
10. GlobalInt = *x;
11. }
12.
13. ...
14. int XX;
15. GetValue((int **)&XX);
16. SetValue((int *)XX);
In this sample, the XX variable is used as a buffer to store the pointer. This code will work correctly on those 32-bit
systems where the size of the pointer coincides with the int type's size. In a 64-bit system, this code is incorrect and
the call

- collapse sourceview plaincopy to clipboardprint?

1. GetValue((int **)&XX);

will cause corruption of the 4 bytes of memory next to the XX variable (see Figure 5).

Figure 5 - Memory corruption near the XX variable

This code was being written either by a novice or in a hurry. The explicit type conversions signal that the compiler
was resisting the programmer till the last hinting to him that the pointer and the int type are different entities. But
crude force won.

Correction of this error is elementary and lies in choosing an appropriate type for the XX variable. The explicit type
conversion becomes no longer necessary:

- collapse sourceview plaincopy to clipboardprint?

1. int *XX;
2. GetValue(&XX);
3. SetValue(XX);

Example 5. Using deprecated (obsolete) functions

Some API-functions can be dangerous when developing 64-bit applications although they were composed for
compatibility purpose. The functions SetWindowLong and GetWindowLong are a typical example of these. You
may often see the following code fragment in programs:

- collapse sourceview plaincopy to clipboardprint?

1. SetWindowLong(window, 0, (LONG)this);
2. ...
3. Win32Window* this_window = (Win32Window*)GetWindowLong(window, 0);

You cannot reproach the programmer who once wrote this code for anything. During the development process, he
created this code relying on his experience and MSDN five or ten years ago and it is absolutely correct from the
viewpoint of the 32-bit Windows. The prototype of these functions looks as follows:

- collapse sourceview plaincopy to clipboardprint?

1. LONG WINAPI SetWindowLong(HWND hWnd, int nIndex, LONG dwNewLong);

2. LONG WINAPI GetWindowLong(HWND hWnd, int nIndex);

The explicit conversion of the pointer to the LONG type is also justified since the sizes of the pointer and the LONG
type coincide in Win32 systems. However, I think you understand that these type conversions might cause a crash
or false behavior of the program after its being recompiled in the 64-bit version.

What is unpleasant about this error is that it occurs irregularly or very rarely at all. Whether the error will reveal
itself or not depends upon the area of memory where the object is created referred to by the "this" pointer. If the
object is created in the 4 least significant Gbytes of the address space, the 64-bit program can work correctly. The
error might occur unexpectedly in a long time when the objects will start to be created outside the first four Gbytes
due to memory allocation.

In a 64-bit system, you can use the SetWindowLong/GetWindowLong functions only if the program really saves
some values of the LONG, int, bool types and the like. If you need to work with pointers, you should use the
following extended function versions: SetWindowLongPtr/GetWindowLongPtr. However, I should recommend
you to use new functions anyway in order to avoid new errors in future.

Examples with the SetWindowLong and GetWindowLong functions are classic and cited almost in all the articles on
64-bit software development. But you should understand that it is not only these functions that you must consider.
Among other functions are: SetClassLong, GetClassLong, GetFileSize, EnumProcessModules, GlobalMemoryStatus
(see Figure 6).

Figure 6 - A table with the names of some obsolete and contemporary functions

Example 6. Truncation of values at an implicit type conversion

An implicit conversion of the size_t type to the unsigned type and similar conversions are easily diagnosed by the
compiler's warnings. But in large programs, such warnings might be easily missed. Let's consider an example similar
to real code where the warning was ignored because it seemed to the programmer that nothing bad might happen
when working with short strings.

- collapse sourceview plaincopy to clipboardprint?

1. bool Find(const ArrayOfStrings &arrStr)

2. {
3. ArrayOfStrings::const_iterator it;
4. for (it = arrStr.begin(); it != arrStr.end(); ++it)
5. {
6. unsigned n = it->find("ABC"); // Truncation
7. if (n != string::npos)
8. return true;
9. }
10. return false;
11. };

The function searches for the text "ABC" in the array of strings and returns true if at least one string contains the
sequence "ABC". After recompilation of the 64-bit version of the code, this function will always return true.

The "string::npos" constant has value 0xFFFFFFFFFFFFFFFF of the size_t type in the 64-bit system. When putting
this value into the "n" variable of the unsigned type, it is truncated to 0xFFFFFFFF. As a result, the condition " n !=
string::npos" is always true since 0xFFFFFFFFFFFFFFFF is not equal to 0xFFFFFFFF (see Figure 7).
Figure 7 - Schematic explanation of the value truncation error

The correction of this error is elementary - you just should consider the compiler's warnings:

- collapse sourceview plaincopy to clipboardprint?

1. for (auto it = arrStr.begin(); it != arrStr.end(); ++it)

2. {
3. auto n = it->find("ABC");
4. if (n != string::npos)
5. return true;
6. }
7. return false;

Example 7. Undefined functions in C

Despite the passing years, programs or some of their parts written in C remain as large as life. The code of these
programs is much more subject to 64-bit errors because of less strict rules of type checking in the C language.

In C, you can use functions without preliminary declaration. Let's look at an interesting example of a 64-bit error
related to this feature. Let's first consider the correct version of the code where allocation takes place and three
arrays, one Gbyte each, are used:

- collapse sourceview plaincopy to clipboardprint?

1. #include <stdlib.h>
2.
3. void test()
4. {
5. const size_t Gbyte = 1024 * 1024 * 1024;
6. size_t i;
7. char *Pointers[3];
8.
9. // Allocate
10. for (i = 0; i != 3; ++i)
11. Pointers[i] = (char *)malloc(Gbyte);
12.
13. // Use
14. for (i = 0; i != 3; ++i)
15. Pointers[i][0] = 1;
16.
17. // Free
18. for (i = 0; i != 3; ++i)
19. free(Pointers[i]);
20. }

This code will correctly allocate memory, write one into the first item of each array and free the occupied memory.
The code is absolutely correct on a 64-bit system.

Now let's remove or write a comment on the line "#include <stdlib.h>". The code will be still compiled but the
program will crash right after the launch. If the header file "stdlib.h" is not included in, the C compiler supposes that
the malloc function will return the int type. The first two instances of memory allocation will be most likely
successful. When the memory is being allocated for the third time, the malloc function will return the array address
outside the first 2 Gbytes. Since the compiler supposes that the function's result has the int type, it will interpret the
result incorrectly and save an incorrect value of the pointer in the Pointers array.

Let's consider the assembler code generated by the Visual C++ compiler for the 64-bit Debug version. In the
beginning, there is the correct code that will be generated when the definition of the malloc function is present (i.e.
the "stdlib.h" file is included in):

- collapse sourceview plaincopy to clipboardprint?

1. Pointers[i] = (char *)malloc(Gbyte);

2. mov rcx,qword ptr [Gbyte]
3. call qword ptr [__imp_malloc (14000A518h)]
4. mov rcx,qword ptr [i]
5. mov qword ptr Pointers[rcx*8],rax

Now let's look at the incorrect code when the definition of the malloc function is absent:

- collapse sourceview plaincopy to clipboardprint?

1. Pointers[i] = (char *)malloc(Gbyte);

2. mov rcx,qword ptr [Gbyte]
3. call malloc (1400011A6h)
4. cdqe
5. mov rcx,qword ptr [i]
6. mov qword ptr Pointers[rcx*8],rax

Note that there is the CDQE (Convert doubleword to quadword) instruction. The compiler supposes that the result
is contained in the eax register and extends it to a 64-bit value in order to write it into the Pointers array.
Correspondingly, the most significant bits of the rax register will be lost. Even if the address of the allocated
memory lies within the first four Gbytes, we will still get an incorrect result if the most significant bit of the eax
register equals 1. For instance, address 0x81000000 will turn into 0xFFFFFFFF81000000.

Example 8. Remains of dinosaurs in large and old programs

Large old program systems that have been developing for tens of years are abound in various atavisms and code
fragments written with popular paradigms and styles of different years. In such systems, you can watch the
evolution of programming languages when the oldest fragments are written in C and the freshest ones contain
complex templates of Alexandrescu style.

Figure 8 - Dinosaur excavations

There are atavisms referring to 64 bits as well. To be more exact, these are atavisms that prevent contemporary
64-bit code from correct work. Consider an example:

- collapse sourceview plaincopy to clipboardprint?

1. // beyond this, assume a programming error

2. #define MAX_ALLOCATION 0xc0000000
3.
4. void *malloc_zone_calloc(malloc_zone_t *zone,
5. size_t num_items, size_t size)
6. {
7. void *ptr;
8. ...
9.
10. if (((unsigned)num_items >= MAX_ALLOCATION) ||
11. ((unsigned)size >= MAX_ALLOCATION) ||
12. ((long long)size * num_items >=
13. (long long) MAX_ALLOCATION))
14. {
15. fprintf(stderr,
16. "*** malloc_zone_calloc[%d]: arguments too large: %d,%d\n",
17. getpid(), (unsigned)num_items, (unsigned)size);
18. return NULL;
19. }
20. ptr = zone->calloc(zone, num_items, size);
21. ...
22. return ptr;
23. }

First, the function's code contains the check of accessible sizes of allocated memory which are strange for the 64-bit
system. Second, the generated diagnostic message is incorrect because if we ask to allocate memory for 4 400 000
000 items, we will see a strange message saying that the program cannot allocate memory for (only) 105 032 704
items. This happens because of the explicit type conversion to the unsigned type.

Example 9. Virtual functions

One of the nice examples of 64-bit errors is the use of wrong argument types in definitions of virtual functions.
Usually it is not one's mistake but just an "accident". It is nobody's fault but the error still remains. Consider the
following case.

For a very long time there has been the CWinApp class in the MFC library that has the WinHelp function:

- collapse sourceview plaincopy to clipboardprint?

1. class CWinApp {
2. ...
3. virtual void WinHelp(DWORD dwData, UINT nCmd);
4. };

To show the program's own help in a user application you had to overlap this function:

- collapse sourceview plaincopy to clipboardprint?

1. class CSampleApp : public CWinApp {

2. ...
3. virtual void WinHelp(DWORD dwData, UINT nCmd);
4. };

Everything was alright until 64-bit systems appeared. The MFC developers had to change the interface of the
WinHelp function (and some other functions as well) in the following way:

- collapse sourceview plaincopy to clipboardprint?

1. class CWinApp {
2. ...
3. virtual void WinHelp(DWORD_PTR dwData, UINT nCmd);
4. };

The DWORD_PTR and DWORD types coincided in the 32-bit mode but they do not coincide in the 64-bit mode.
Of course, the user application's developers must also change the type to DWORD_PTR but they have to learn
about it somehow before doing this. As a result, an error occurs in the 64-bit version since the WinHelp function
cannot be called in the user class (see Figure 9).

Figure 9 - The error related to virtual functions

Example 10. Magic constants as parameters

Magic numbers contained in bodies of programs provoke errors and using them is a bad style. Such numbers are, for
instance, numbers 1024 and 768 that strictly define screen resolution. Within the scope of this article, we are
interested in those magic numbers that might cause issues in a 64-bit application. The most widely used magic
numbers dangerous for 64-bit programs are shown in the table in Figure 10.

Figure 10 - Magic numbers dangerous for 64-bit programs

Consider an example of working with the CreateFileMapping function taken from some CAD-system:

- collapse sourceview plaincopy to clipboardprint?

1. HANDLE hFileMapping = CreateFileMapping(

2. (HANDLE) 0xFFFFFFFF,
3. NULL,
4. PAGE_READWRITE,
5. dwMaximumSizeHigh,
6. dwMaximumSizeLow,
7. name);

Number 0xFFFFFFFF is used instead of the correct reserved constant INVALID_HANDLE_VALUE. It is incorrect
from the viewpoint of a Win64-program where the INVALID_HANDLE_VALUE constant takes value
0xFFFFFFFFFFFFFFFF. Here is a correct way of calling the function:

- collapse sourceview plaincopy to clipboardprint?

1. HANDLE hFileMapping = CreateFileMapping(

2. INVALID_HANDLE_VALUE,
3. NULL,
4. PAGE_READWRITE,
5. dwMaximumSizeHigh,
6. dwMaximumSizeLow,
7. name);

Note. Some people think that value 0xFFFFFFFF turns into 0xFFFFFFFFFFFFFFFF while extending to the
pointer. It is not so. According to C/C++ rules, value 0xFFFFFFFF has the "unsigned int" type since it cannot be
represented with the "int" type. Correspondingly, value 0xFFFFFFFFu turns into 0x00000000FFFFFFFFu when
extending to the 64-bit type. But if you write (size_t)(-1), you will get the expected 0xFFFFFFFFFFFFFFFF.
Here "int" extends to "ptrdiff_t" first and then turns into "size_t".

Example 11. Magic constants denoting size

Another frequent error is using magic constants to define an object's size. Consider an example of buffer allocation
and zeroing:

- collapse sourceview plaincopy to clipboardprint?

1. size_t count = 500;

2. size_t *values = new size_t[count];
3. // Only a part of the buffer will be filled
4. memset(values, 0, count * 4);

In this case, in the 64-bit system, the amount of memory being allocated is larger than the amount of memory which
is filled with zero values then (see Figure 11) . The error lies in the assumption that the size of the size_t type is
always four bytes.
Figure 11 - Only a part of the array is filled

This is the correct code:

- collapse sourceview plaincopy to clipboardprint?

1. size_t count = 500;

2. size_t *values = new size_t[count];
3. memset(values, 0, count * sizeof(values[0]));

You may encounter similar errors when calculating sizes of memory being allocated or data serialization.

Example 12. Stack overflow

In many cases, a 64-bit program consumes more memory and stack. Allocation of more physical memory is not
dangerous since a 64-bit program can access much larger amounts of this type of memory than a 32-bit one. But
increase of stack memory consumption might cause a stack overflow.

The mechanism of using the stack differs in various operating systems and compilers. We will consider the specifics
of using the stack in the code of Win64 applications built with the Visual C++ compiler.

When developing calling conventions in Win64 systems, the developers decided to bring an end to different
versions of function calls. In Win32, there were a lot of calling conventions: stdcall, cdecl, fastcall, thiscall and so
on. In Win64, there is only one "native" calling convention. The compiler ignores modifiers like __cdecl.

The calling convention on the x86-64 platform resembles the fastcall convention in x86. In the x64-convention, the
first four integer arguments (left to right) are passed in 64-bit registers used specially for this purpose:

RCX: 1-st integer argument

RDX: 2-nd integer argument

R8: 3-rd integer argument

R9: 4-th integer argument

All the rest integer arguments are passed through the stack. The "this" pointer is considered an integer argument so
it is always put into the RCX register. If floating-point values are passed, the first four of them are passed in the
XMM0-XMM3 registers and all the next are passed through the stack.

Although arguments may be passed in registers, the compiler will still reserve space for them in stack therefore
reducing the value of the RSP register (stack pointer). Each function must reserve at least 32 bytes (four 64-bit
values corresponding to the registers RCX, RDX, R8, R9) in the stack. This space in the stack lets you easily save
the contents of registers passed into the function in the stack. The function being called is not required to drop input
parameters passed through the registers into the stack but stack space reservation allows to do this if necessary. If
more than four integer parameters are passed, the corresponding additional space is reserved in the stack.

The described feature leads to a significant growth of stack consumption speed. Even if the function does not have
parameters, 32 bytes will be "bit off" the stack all the same and they will not be used anyhow then. The use of such
a wasteful mechanism is determined by the purposes of unification and debugging simplification.

Consider one more thing. The stack pointer RSP must be aligned on a 16-byte boundary before the next call of the
function. Thus, the total size of the stack being used when calling a function without parameters in 64-bit code is
48 bytes: 8 (return address) + 8 (alignment) + 32 (reserved space for arguments).

Can everything be so bad? No. Do not forget that a larger number of registers available to the 64-bit compiler allows
it to build a more effective code and avoid reserving stack memory for some local function variables. Thus, the
64-bit version of a function in some cases uses less stack memory than its 32-bit version. To learn more about this
question, see the article "The reasons why 64-bit programs require more stack memory".

It is impossible to predict if a 64-bit program will consume more or less stack memory. Since a Win64-program can
use 2-3 times more stack memory, you should secure yourself and change the project option responsible for the size
of stack being reserved. Choose the Stack Reserve Size (/STACK:reserve switch) parameter in the project settings
and increase the size of stack being reserved three times. This size is 1 Mbyte by default.

Example 13. A function with a variable number of arguments and buffer overflow

Although it is considered a bad style in C++ to use functions with a variable number of arguments such as printf and
scanf, they are still widely used. These functions provoke a lot of problems while porting applications to other
systems including 64-bit ones. Consider an example:

- collapse sourceview plaincopy to clipboardprint?

1. int x;
2. char buf[9];
3. sprintf(buf, "%p", &x);

The author of this code did not take into account that the pointer's size might become larger than 32 bits in future.
As a result, this code will cause a buffer overflow on the 64-bit architecture (see Figure 12). This error might be
referred to the type of errors caused by magic numbers (number '9' in this case) but the buffer overflow can occur
without magic numbers in a real application.

Figure 12 - A buffer overflow when working with the sprintf function

There are several ways to correct this code. The most reasonable one is to factor the code in order to get rid of
dangerous functions. For example, you may replace printf with cout and sprintf with boost::format or
std::stringstream.

Note. Linux-developers often criticize this recommendation arguing that gcc checks if the format string
corresponds to actual parameters which are being passed, for instance, into the printf function. Therefore it is
safe to use the printf function. But they forget that the format string can be passed from some other part of the
program or loaded from resources. In other words, in a real program, the format string is seldom present
explicitly in the code and therefore the compiler cannot check it. But if the developer uses Visual Studio
2005/2008/2010, he will not get a warning on the code like "void *p = 0; printf("%x", p);" even if he uses the /W4
and /Wall switches.

Example 14. A function with a variable number of arguments and wrong format

You may often see incorrect format strings in programs when working with the printf function and other similar
functions. Because of these you will get wrong output values. Although it will not cause a crash, it is certainly an
error:

- collapse sourceview plaincopy to clipboardprint?

1. const char *invalidFormat = "%u";

2. size_t value = SIZE_MAX;
3. // A wrong value will be printed
4. printf(invalidFormat, value);

In other cases, an error in the format string will be crucial. Consider an example based on an implementation of the
UNDO/REDO subsystem in one program:

- collapse sourceview plaincopy to clipboardprint?

1. // The pointers were saved as strings here

2. int *p1, *p2;
3. ....
4. char str[128];
5. sprintf(str, "%X %X", p1, p2);
6.
7. // In another function this string
8. // was processed in the following way:
9. void foo(char *str)
10. {
11. int *p1, *p2;
12. sscanf(str, "%X %X", &p1, &p2);
13. // The result is incorrect values of p1 and p2 pointers.
14. ...
15. }

The "%X" format is not intended to work with pointers and therefore such code is incorrect from the viewpoint of
64-bit systems. In 32-bit systems, it is quite efficient yet looks ugly.

Example 15. Storing integer values in double

We did not encounter this error ourselves. Perhaps it is rare yet quite possible.

The double type has the size 64 bits and it is compatible with the IEEE-754 standard on 32-bit and 64-bit systems.
Some programmers use the double type to store and handle integer types:

- collapse sourceview plaincopy to clipboardprint?

1. size_t a = size_t(-1);
2. double b = a;
3. --a;
4. --b;
5. size_t c = b; // x86: a == c
6. // x64: a != c

The code of this example can be justified in case of a 32-bit system since the double type has 52 significant bits and
can store a 32-bit integer values without loss. But when you try to store a 64-bit integer value into double, you might
lose an exact value (see Figure 13).

Figure 13 - The number of significant bits in the types size_t and double

Example 16. Address arithmetic. A + B != A - (-B)

Address arithmetic is a means of calculating an address of some object with the help of arithmetic operations over
pointers and also using pointers in comparison operations. Address arithmetic is also called pointer arithmetic.

It is address arithmetic that many 64-bit errors refer to. Errors often occur in expressions where pointers and 32-bit
variables are used together.

Consider the first error of this type:

- collapse sourceview plaincopy to clipboardprint?

1. char *A = "123456789";
2. unsigned B = 1;
3. char *X = A + B;
4. char *Y = A - (-B);
5. if (X != Y)
6. cout << "Error" << endl;

The reason why A + B == A - (-B) in a Win32 program is explained in Figure 14.

Figure 14 - Win32: A + B == A - (-B)

The reason why A + B != A - (-B) in a Win64 program is explained in Figure 15.

Figure 15 - Win64: A + B != A - (-B)

You can eliminate the error if you use an appropriate memsize-type. In this case, the ptrdfiff_t type is used:

- collapse sourceview plaincopy to clipboardprint?

1. char *A = "123456789";
2. ptrdiff_t B = 1;
3. char *X = A + B;
4. char *Y = A - (-B);

Example 17. Address arithmetic. Signed and unsigned types.

Consider one more kind of the error related to signed and unsigned types. In this case, the error will immediately
cause a program crash instead of a wrong comparison operation.

- collapse sourceview plaincopy to clipboardprint?

1. LONG p1[100];
2. ULONG x = 5;
3. LONG y = -1;
4. LONG *p2 = p1 + 50;
5. p2 = p2 + x * y;
6. *p2 = 1; // Access violation

The "x * y" expression has value 0xFFFFFFFB and its type is unsigned. This code is efficient in the 32-bit version
since addition of the pointer to 0xFFFFFFFB is equivalent to its decrement by 5. In the 64-bit version, the pointer
will point far outside the p1 array's boundaries after being added to 0xFFFFFFFB (see Figure 16).
Figure 16 - Out of the array's boundaries

To correct this issue, you should use memsize-types and be careful when working with signed and unsigned types:

- collapse sourceview plaincopy to clipboardprint?

1. LONG p1[100];
2. LONG_PTR x = 5;
3. LONG_PTR y = -1;
4. LONG *p2 = p1 + 50;
5. p2 = p2 + x * y;
6. *p2 = 1; // OK

Example 18. Address arithmetic. Overflows.

- collapse sourceview plaincopy to clipboardprint?

1. class Region {
2. float *array;
3. int Width, Height, Depth;
4. float Region::GetCell(int x, int y, int z) const;
5. ...
6. };
7.
8. float Region::GetCell(int x, int y, int z) const {
9. return array[x + y * Width + z * Width * Height];
10. }

This code is taken from a real application of mathematic modeling where the size of physical memory is a very
crucial resource, so the possibility to use more than 4 Gbytes of memory on the 64-bit architecture significantly
increases the computational power. In programs of this class, one-dimensional arrays are often used in order to save
memory, and they are handled like third-dimensional arrays. To do this, there exist functions similar to GetCell that
provide access to necessary items.

This code works correctly with pointers if the result of the " x + y * Width + z * Width * Height" expression does
not exceed INT_MAX (2147483647). Otherwise an overflow will occur leading to an unexpected program
behavior.

This code could always work correctly on the 32-bit platform. Within the scope of the 32-bit architecture, the
program cannot get the necessary memory amount to create an array of such a size. But this limitation is absent on
the 64-bit architecture and the array's size might easily exceed INT_MAX items.

Programmers often make a mistake trying to fix the code this way:

- collapse sourceview plaincopy to clipboardprint?

1. float Region::GetCell(int x, int y, int z) const {

2. return array[static_cast<ptrdiff_t>(x) + y * Width +
3. z * Width * Height];

They know that the expression to calculate the index will have the ptrdiff_t type according to C++ rules and try to
avoid the overflow therefore. But the overflow might occur inside the "y * Width" or "z * Width * Height"
subexpressions since it is still the int type that is used to calculate them.

If you want to fix the code without changing the types of the variables participating in the expression, you may
explicitly convert each subexpression to the ptrdiff_t type:

- collapse sourceview plaincopy to clipboardprint?

1. float Region::GetCell(int x, int y, int z) const {

2. return array[ptrdiff_t(x) +
3. ptrdiff_t(y) * Width +
4. ptrdiff_t(z) * Width * Height];
5. }

Another, better, solution is to change the variables' types:

- collapse sourceview plaincopy to clipboardprint?

1. typedef ptrdiff_t TCoord;

2. class Region {
3. float *array;
4. TCoord Width, Height, Depth;
5. float Region::GetCell(TCoord x, TCoord y, TCoord z) const;
6. ...
7. };
8.
9. float Region::GetCell(TCoord x, TCoord y, TCoord z) const {
10. return array[x + y * Width + z * Width * Height];
11. }

Example 19. Changing an array's type

Sometimes programmers change the type of an array while processing it for the purpose of convenience. The
following code contains dangerous and safe type conversions:

- collapse sourceview plaincopy to clipboardprint?

1. int array[4] = { 1, 2, 3, 4 };
2. enum ENumbers { ZERO, ONE, TWO, THREE, FOUR };
3.
4. //safe cast (for MSVC)
5. ENumbers *enumPtr = (ENumbers *)(array);
6. cout << enumPtr[1] << " ";
7.
8. //unsafe cast
9. size_t *sizetPtr = (size_t *)(array);
10. cout << sizetPtr[1] << endl;
11.
12. //Output on 32-bit system: 2 2
13. //Output on 64-bit system: 2 17179869187

As you may see, the output results differ in the 32-bit and 64-bit versions. On the 32-bit system, the access to the
array's items is correct because the sizes of the size_t and int types coincide and we get the output "2 2".

On the 64-bit system, we got "2 17179869187" in the output since it is this very value 17179869187 which is
located in the first item of the sizePtr array (see Figure 17). Sometimes this behavior is intended but most often it is
an error.
Figure 17 - Representation of array items in memory

Note. The size of the enum type by default coincides with the size of the int type in the Visual C++ compiler, i.e.
the enum type is a 32-bit type. You can use enum of a different size only with the help of an extension which is
considered non-standard in Visual C++. That is why the given example is correct in Visual C++ but from the
viewpoint of other compilers conversion of an int-item pointer to an enum-item pointer is also incorrect.

Example 20. Wrapping a pointer in a 32-bit type

Sometimes pointers are stored in integer types. Usually the int type is used for this purpose. This is perhaps one of
the most frequent 64-bit errors.

- collapse sourceview plaincopy to clipboardprint?

1. char *ptr = ...;

2. int n = (int) ptr;
3. ...
4. ptr = (char *) n;

In a 64-bit program, this is incorrect since the int type remains 32-bit and cannot store a 64-bit pointer. The
programmer often cannot notice it at once. Due to mere luck, the pointer might always refer to objects located
within the first 4 Gbytes of the address space during the testing. In this case, the 64-bit program will work efficiently
and crash only in a large period of time (see Figure 18).
Figure 18 - Putting a pointer into a variable of int type

If you still need to store a pointer in a variable of an integer type, you should use such types as intptr_t, uintptr_t,
ptrdiff_t and size_t.

Example 21. Memsize-types in unions

When you need to work with a pointer as an integer, it is sometimes convenient to use a union as shown in the
example and work with the numeric representation of the type without explicit conversions:

- collapse sourceview plaincopy to clipboardprint?

1. union PtrNumUnion {
2. char *m_p;
3. unsigned m_n;
4. } u;
5.
6. u.m_p = str;
7. u.m_n += delta;

This code is correct on 32-bit systems and incorrect on 64-bit ones. Changing the m_n member on a 64-bit system,
we work only with a part of the m_p pointer (see Figure 19).

Figure 19 - Representation of a union in memory on a 32-bit system and 64-bit systems.

You should use a type that would correspond to the pointer's size:

- collapse sourceview plaincopy to clipboardprint?

1. union PtrNumUnion {
2. char *m_p;
3. uintptr_t m_n; //type fixed
4. } u;

Example 22. An infinity loop

Mixed use of 32-bit and 64-bit types can unexpectedly cause infinity loops. Consider a synthetic sample illustrating
a whole class of such defects:

- collapse sourceview plaincopy to clipboardprint?

1. size_t Count = BigValue;

2. for (unsigned Index = 0; Index != Count; Index++)
3. { ... }

This loop will never stop if the Count value > UINT_MAX. Assume that this code worked with the number of
iterations less than UINT_MAX on 32-bit systems. But the 64-bit version of this program can process more data and
it may require more iterations. Since the values of the Index variable lie within the range [0..UINT_MAX], the
condition "Index != Count" will never be fulfilled and it will cause an infinity loop (see Figure 20).

Figure 20 - The mechanism of an infinity loop

Example 23. Bit operations and NOT operation

Bit operations require special care from the programmer when developing crossplatform applications where data
types may have different sizes. Since migration of a program to the 64-bit platform also makes capacity of some
types change, it is highly probable that errors will occur in those code fragments that work with separate bits. Most
often it happens when 32-bit and 64-bit data types are handled together. Consider an error occurring in the code
because of an incorrect use of the NOT operation:

- collapse sourceview plaincopy to clipboardprint?

1. UINT_PTR a = ~UINT_PTR(0);
2. ULONG b = 0x10;
3. UINT_PTR c = a & ~(b - 1);
4. c = c | 0xFu;
5. if (a != c)
6. cout << "Error" << endl;

The error consists in that the mask defined by the "~(b - 1)" expression has the ULONG type. It causes zeroing of
the most significant bits of the "a" variable although it is only the four least significant bits that should have been
zeroed (see Figure 21).
Figure 21 - The error occurring because of zeroing of the most significant bits

The correct version of the code looks as follows:

- collapse sourceview plaincopy to clipboardprint?

1. UINT_PTR c = a & ~(UINT_PTR(b) - 1);

This example is extremely simple but it is very good to demonstrate the class of errors that might occur when you
actively work with bit operations.

Example 24. Bit operations, offsets

- collapse sourceview plaincopy to clipboardprint?

1. ptrdiff_t SetBitN(ptrdiff_t value, unsigned bitNum) {

2. ptrdiff_t mask = 1 << bitNum;
3. return value | mask;
4. }

This code works well on the 32-bit architecture and allows to set a bit with the numbers from 0 to 31 into one. After
porting the program to the 64-bit platform, you need to set bits with the numbers from 0 to 63. But this code cannot
set the most significant bits with the numbers 32-63. Note that the numeric literal "1" has the int type and an
overflow will occur after an offset at 32 positions as shown in Figure 22. We will get 0 (Figure 22-B) or 1 (Figure
22-C) - it depends upon the compiler's implementation.
Figure 22 - a) correct setting of the 31st bit in the 32-bit code (the bits are counted beginning with 0); b,c) - The
error of setting the 32nd bit on the 64-bit system (the two variants of behavior that depend upon the compiler)

To correct the code, you should make the "1" constant's type the same as the type of the mask variable:

- collapse sourceview plaincopy to clipboardprint?

1. ptrdiff_t mask = static_cast<ptrdiff_t>(1) << bitNum;

Note also that the incorrect code will lead to one more interesting error. When setting the 31-st bit on the 64-bit
system, the result of the function is 0xffffffff80000000 (see Figure 23). The result of the 1 << 31 expression is the
negative number -2147483648. This number is represented in a 64-bit integer variable as 0xffffffff80000000.

Figure 23 - The error of setting the 31-st bit on the 64-bit system

Example 25. Bit operations and sign extension

The error shown below is rare yet, unfortunately, quite difficult to understand. So let's discuss it in detail.

- collapse sourceview plaincopy to clipboardprint?

1. struct BitFieldStruct {
2. unsigned short a:15;
3. unsigned short b:13;
4. };
5.
6. BitFieldStruct obj;
7. obj.a = 0x4000;
8. size_t x = obj.a << 17; //Sign Extension
9. printf("x 0x%Ix\n", x);
10. //Output on 32-bit system: 0x80000000
11. //Output on 64-bit system: 0xffffffff80000000

In the 32-bit environment, the sequence of expression calculation looks as shown in Figure 24.

Figure 24 - Calculation of the "obj.a << 17" expression in the 32-bit code

Note that sign extension of the unsigned short type to int takes place during the calculation of the "obj.a << 17"
expression. The following code makes it clearer:

- collapse sourceview plaincopy to clipboardprint?

1. #include <stdio.h>
2.
3. template <typename T> void PrintType(T)
4. {
5. printf("type is %s %d-bit\n",
6. (T)-1 < 0 ? "signed" : "unsigned", sizeof(T)*8);
7. }
8.
9. struct BitFieldStruct {
10. unsigned short a:15;
11. unsigned short b:13;
12. };
 13.
14. int main(void)
15. {
16. BitFieldStruct bf;
17. PrintType( bf.a );
18. PrintType( bf.a << 2);
19. return 0;
20. }
21.
22. Result:
23. type is unsigned 16-bit
24. type is signed 32-bit

Now let's see the consequence of a sign extension in 64-bit code. The sequence of expression calculation is shown
in Figure 25.

Figure 25 - Calculation of the "obj.a << 17" expression in 64-bit code

The member of the obj.a structure is cast from the bit field of the unsigned short type into int. The "obj.a << 17"
expression has the int type but it is cast to ptrdiff_t and then to size_t before being assigned to the addr variable. As
a result, we will get value 0xffffffff80000000 instead of 0x0000000080000000 we have expected.

Be careful when working with bit fields. To avoid the described situation in our example, you just need to convert
obj.a to the size_t type.

- collapse sourceview plaincopy to clipboardprint?

1. ...
2. size_t x = static_cast<size_t>(obj.a) << 17; // OK
3. printf("x 0x%Ix\n", x);
4. //Output on 32-bit system: 0x80000000
5. //Output on 64-bit system: 0x80000000

Example 26. Serialization and data exchange

Succession to the existing communications protocols is an important element in migration of a software solution to a
new platform. You must provide the possibility of reading existing project formats, data exchange between 32-bit
and 64-bit processes and so on.

In general, the errors of this kind consist in serialization of memsize-types and data exchange operations that use
them.:

- collapse sourceview plaincopy to clipboardprint?

1. size_t PixelsCount;
2. fread(&PixelsCount, sizeof(PixelsCount), 1, inFile);

You cannot use types that change their size depending upon the development environment in binary data exchange
interfaces. In C++, most types do not have strict sizes and therefore they all cannot be used for these purposes. That
is why the developers of development tools and programmers themselves create data types that have strict sizes
such as __int8, __int16, INT32, word64, etc.

Even on correcting all the issues referring to type sizes, you might encounter the problem of incompatibility of
binary formats. The reason lies in a different data representation. Most often it is determined by a different byte
order.

Byte order is a method of writing bytes of multi-byte numbers (see Figure 26). The little-endian order means that
writing begins with the least significant byte and ends with the most significant byte. This writing order is accepted
in the memory of personal computers with x86 and x86-64-processores. The big-endian order means that writing
begins with the most significant byte and ends with the least significant byte. This order is a standard for TCP/IP
protocols. That is why the big-endian byte order is often called the network byte order. This byte order is used in
processors Motorola 68000 and SPARC.

By the way, some processors can work in both orders. For instance, IA-64 is such a processor.

Figure 26 - Byte order in a 64-bit type in little-endian and big-endian systems

While developing a binary data interface or format, you should remember about the byte order. If the 64-bit system
you are porting your 32-bit application to has a different byte order, you will just have to take this into account for
your code. To convert between the big-endian and little-endian byte orders, you may use the functions htonl(),
htons(), bswap_64, etc.

Example 27. Changes in type alignment

Besides changes of sizes of some data types, errors might also due to changes of rules of their alignment in a 64-bit
system (see Figure 27).

Figure 27 - Sizes of types and their alignment boundaries (the figures are exact for Win32/Win64 but may vary in
the "Unix-world", so they are given only for demonstration purpose)

Consider a description of the issue found in some forum:

I have encountered an issue in Linux today. There is a data structure consisting of several fields: a 64-bit double,
8 unsigned char and one 32-bit int. All in all there are 20 bytes (8 + 8*1 + 4). On 32-bit systems, sizeof equals 20
and everything is ok. But on the 64-bit Linux, sizeof returns 24. That is, there is a 64-bit boundary alignment.

Then this person discusses the problem of data compatibility and asks for advice how to pack the data in the
structure. We are not interested in this at the moment. What is relevant, this is another type of errors that might
occur when you port applications to 64-bit systems.

It is quite clear and familiar that changes of the sizes of fields in a structure cause the size of the structure itself to
change. But here we have a different case. The sizes of the fields remain the same but the structure's size still
changes due to other alignment rules (see Figure 28). This behavior might lead to various errors, for instance, errors
of format incompatibility of saved data.

Figure 28 - A scheme of structures and type alignment rules

Example 28. Type alignments and why you mustn't write sizeof(x) + sizeof(y)

Sometimes programmers use structures with an array of a variable size at the end. Such a structure and the
mechanism of memory allocation for it might look as follows:

- collapse sourceview plaincopy to clipboardprint?

1. struct MyPointersArray {
2. DWORD m_n;
3. PVOID m_arr[1];
4. } object;
5. ...
6. malloc( sizeof(DWORD) + 5 * sizeof(PVOID) );
7. ...

This code is correct in the 32-bit version but fails in the 64-bit version.

When allocating memory needed to store an object like MyPointersArray that contains 5 pointers, you should
consider that the beginning of the m_arr array will be aligned on an 8-byte boundary. Data arrangement in memory
on different systems (Win32/Win64) is shown in Figure 29.
Figure 29 - Data arrangement in memory in 32-bit and 64-bit systems

The correct calculation of the size looks in the following way:

- collapse sourceview plaincopy to clipboardprint?

1. struct MyPointersArray {
2. DWORD m_n;
3. PVOID m_arr[1];
4. } object;
5. ...
6. malloc( FIELD_OFFSET(struct MyPointersArray, m_arr) +
7. 5 * sizeof(PVOID) );
8. ...

In this code, we determine the offset of the last structure's member and add this offset to its size. The offset of a
structure's or class' member may be obtained with the help of the offsetof or FIELD_OFFSET macros. You should
always use these macros to obtain the offset in a structure without relying on your assumptions about sizes of types
and rules of their alignment.

Example 29. Overloaded functions

When you recompile a program, some other overloaded function might start to be selected (see Figure 30).

Figure 30 - Choosing an overloaded function in a 32-bit system and 64-bit system

Here is an example of the problem:

- collapse sourceview plaincopy to clipboardprint?

1. class MyStack {
2. ...
3. public:
4. void Push(__int32 &);
5. void Push(__int64 &);
6. void Pop(__int32 &);
7. void Pop(__int64 &);
8. } stack;
9.
10. ptrdiff_t value_1;
11. stack.Push(value_1);
 12. ...
13. int value_2;
14. stack.Pop(value_2);

The inaccurate programmer put and then chose from the stack values of different types (ptrdiff_t and int). Their
sizes coincided on the 32-bit system and everything was alright. When the size of the ptrdiff_t type changed in the
64-bit program, the number of bytes put in the stack became larger than the number of bytes that would be fetched
from it then.

Example 30. Errors in 32-bit units working in WoW64

The last example covers errors in 32-bit programs that occur when they are executed in the 64-bit environment.
64-bit software systems will include 32-bit units for a long time and therefore we must provide for their correct
work in the 64-bit environment. The WoW64 subsystem fulfills this task very well by isolating a 32-bit application,
so that almost all 32-bit applications work correctly. However, sometimes errors happen and they refer most often
to the redirection mechanism when working with files and Windows register.

For instance, when dealing with a system that consists of 32-bit and 64-bit units which interact with each other, you
should consider that they use different register representations. Thus, the following line stopped working in a 32-bit
unit in one program:

- collapse sourceview plaincopy to clipboardprint?

1. lRet = RegOpenKeyEx(HKEY_LOCAL_MACHINE,
2. "SOFTWARE\\ODBC\\ODBC.INI\\ODBC Data Sources", 0,
3. KEY_QUERY_VALUE, &hKey);

To make this program friends with other 64-bit parts, you should insert the KEY_WOW64_64KEY switch:

- collapse sourceview plaincopy to clipboardprint?

1. lRet = RegOpenKeyEx(HKEY_LOCAL_MACHINE,
2. "SOFTWARE\\ODBC\\ODBC.INI\\ODBC Data Sources", 0,
3. KEY_QUERY_VALUE | KEY_WOW64_64KEY, &hKey);

Summary

The method of static code analysis shows the best result in searching for the errors described in the article. As an
example of such a tool that performs this kind of analysis, we can name the Viva64 tool included into the
PVS-Studio package we are developing.

The methods of static search of defects allow to detect defects relying on the source program code. The program
behavior is estimated at all the execution paths simultaneously. Because of this, static analysis lets you find defects
that occur only at non-standard execution paths with rare input data. This feature supplements other testing methods
and increases security of applications. Static analysis systems might be used in source code audit, for the purpose of
systematic elimination of defects in existing programs; they can integrate into the development process and
automatically detect defects in the code being created.

References

1. Andrey Karpov, Evgeniy Ryzhkov. Lessons on development of 64-bit C/C++ applications.

http://www.viva64.com/articles/x64-lessons/
2. Andrey Karpov. About size_t and ptrdiff_t. http://www.viva64.com/art-1-2-710804781.html
3. Andrey Karpov, Evgeniy Ryzhkov. 20 issues of porting C++ code on the 64-bit platform.
http://www.viva64.com/art-1-2-599168895.html
4. Evgeniy Ryzhkov. PVS-Studio Tutorial. http://www.viva64.com/art-4-2-747004748.html
5. Andrey Karpov. A 64-bit horse that can count. http://www.viva64.com/art-1-2-377673569.html