Описание

Неправильно введите используемый в sizeof, происходит, когда оба из следующих условий содержат:

Риск

Независимо от того, что type выдерживает за, выражение, sizeof(type*) всегда возвращает фиксированный размер. Возвращенный размер является размером указателя на вашей платформе в байтах. Внешний вид sizeof(type*) часто указывает на непреднамеренное использование. Ошибка может вызвать выделение блока памяти, который намного меньше, чем, в чем вы нуждаетесь и приводите к слабым местам, таким как переполнение буфера.

Например, примите, что structType является структурой с десятью переменными int. Если вы инициализируете указатель structType* с помощью malloc(sizeof(structType*)) на 32-битной платформе, указатель присвоен блок памяти четырех байтов. Однако, чтобы быть выделенным полностью для одной переменной structType, указатель structType* должен указать на блок памяти байтов sizeof(structType) = 10 * sizeof(int). Необходимый размер намного больше, чем фактический выделенный размер четырех байтов.

Фиксация

Чтобы инициализировать указатель type*, замените sizeof(type*) в выражении инициализации указателя с sizeof(type).

Пример - выделяет массив символов с sizeof

#include <stdlib.h>

void test_case_1(void) {
    char* str;

    str = (char*)malloc(sizeof(char*) * 5);
    free(str);

}

В этом примере память выделяется для символьного указателя str с помощью malloc пяти символьных указателей. Однако str является указателем на символ, не указателем на символьный указатель. Поэтому аргумент sizeof, char*, является неправильным.

Исправление — совпадает с типом указателя к аргументу sizeof

Одно возможное исправление должно совпадать с аргументом к типу указателя. В этом примере str является символьным указателем, поэтому аргумент должен также быть символом.

#include <stdlib.h>

void test_case_1(void) {
    char* str;

    str = (char*)malloc(sizeof(char) * 5);
    free(str);

}

Описание

Возможное неправильное употребление sizeof происходит, когда Polyspace® Bug Finder™ обнаруживает возможно непреднамеренные результаты использования оператора sizeof. Например:

Риск

Неправильное использование оператора sizeof может вызвать следующие проблемы:

Фиксация

Возможные меры:

Пример - sizeof, используемый неправильно, чтобы определить размер массивов

#define MAX_SIZE 1024

void func(int a[MAX_SIZE]) {
    int i;

    for (i = 0; i < sizeof(a)/sizeof(int); i++)    {
        a[i] = i + 1;
    }
}

В этом примере sizeof(a) возвращает размер указателя a а не размер массивов.

Исправление — определяет размер массивов в другом отношении

Одно возможное исправление должно использовать, другой означает определять размер массивов.

#define MAX_SIZE 1024

void func(int a[MAX_SIZE]) {
    int i;

    for (i = 0; i < MAX_SIZE; i++)    {
        a[i] = i + 1;
    }
}