You are viewing an old version of this page. View the current version.

Compare with Current View Page History

« Previous Version 10 Next »

While it used to be common practice to use integers and pointers interchangeably in C (although it was not considered good style), the C99 standard has mandated that pointer to integer and integer to pointer conversions are implementation defined. By definition of the standard, the only value which can be considered interchangeable between pointers and integers is the constant 0. This means that less the exception of 0, mixing integers and pointers may have undesired consequences depending on the implementation which is used.

Universal Integer/Pointer Storage

Non-Compliant Code

In this non-compliant code, the pointer ptr is used in an arithmetic operation that is eventually casted as an integer, as stated above, the actual result for both this assignment and following assignment to ptr2 are implementation defined.

unsigned int myint = 0;
unsigned int *ptr = &myint;
...
unsigned int number = ptr + 1;
unsigned int *ptr2 = ptr;

Compliant Solution

A union can be used to give raw memory access to both an integer and a pointer and will take up as much size as its largest element which will mitigate a loss of data.

union intpoint {
	unsigned int *pointer;
	unsigned int number;
} intpoint;
...
intpoint mydata = 0xcfcfcfcf;
...
unsigned int num = mydata.number + 1;
unsigned int *ptr = mydata.pointer;

Accessing Memory-Mapped Addresses*

Note: This is a bad idea. The following is a description of how to more properly execute a bad idea.

Oftentimes in low level kernel or graphics code you will need to access memory at a specific location. Thus, you are going to have to make a literal integer to pointer to conversion.

Non-Compliant Code Example

In this non-compliant code, a pointer is set directly to an integer constant, where it is unknown whether the result will be as intended.

unsigned int *ptr = 0xcfcfcfcf;

Because integers are no longer pointers this could have drastic consequences.

Compliant Solution

Adding in an explicit cast may help the compiler format and store the value as expected into the pointer.

unsigned int *ptr = (unsigned int *) 0xcfcfcfcf;

Rule

Severity

Likelihood

Remediation Cost

Priority

Level

INT14-A

2

2(unlikely)

3(medium)

P2

L3

References

[[ISO/IEC 9899-1999:TC2]] Section 6.3.2.3, "Pointers"

  • No labels