Небезопасное преобразование между проверками указателя и целым числом для преобразования указателя в целое число и целого числа в указатели. Если вы преобразуете между указателем мыши, intptr_t, или uintprt_t и целый тип, такой как enum, ptrdiff_t, или pid_tPolyspace повышает дефект, если размер указателей и целых типов различен в вашем окружении. Для образца, в i386 окружение, оба указателя и целые типы имеют размер 32 бита. В этом окружении Polyspace не помечает преобразование между указателем и целым числом того же размера. Но в x86_64 окружение, в которой указатели равны 64 битам, а беззнаковые целые числа равны 32 битам, Polyspace^® преобразование флагов между указателями и целыми числами разных размеров.

Отображение между указателями и целыми числами не всегда согласуется со структурой адресации окружения.

Преобразование из указателей в целые числа может создать:

Преобразование из целых чисел в указатели может создать:

По возможности избегайте преобразования указателя на целое число или целого числа на указатель. Если вы хотите преобразовать void указатель на целое число, чтобы вы не изменили значение, используйте типы:

unsigned int *badintptrcast(void)
{
    unsigned int *ptr0 = (unsigned int *)0xdeadbeef;
    char *ptr1 = (char *)0xdeadbeef;
    return (unsigned int *)(ptr0 - (unsigned int *)ptr1);
}

В этом примере существует три преобразования, два небезопасных преобразования и одно безопасное преобразование. Первое преобразование 0xdeadbeef на unsigned int* вызывает проблемы выравнивания для указателя мыши. Второе преобразование 0xdeadbeef на char * безопасно, потому что нет проблем выравнивания для char. Третье преобразование в возврат приводит ptrdiff_t на указатель. Этот указатель может указывать или не указывать на недопустимый адрес.

Одной из возможных коррекций является использование intptr_t типы для хранения адреса указателя 0xdeadbeef. Также можно изменить второй указатель на целое число смещения чтобы больше не было преобразования из ptrdiff_t на указатель.

#include <stdint.h>

unsigned int *badintptrcast(void)
{
    intptr_t iptr0 = (intptr_t)0xdeadbeef;
    int offset = 0;
    return (unsigned int *)(iptr0 - offset);
}