Переполнение целочисленного преобразования происходит при преобразовании целого числа в меньший целый тип. Если переменной не хватает байтов, чтобы представлять исходное значение, преобразование переполнено.

Точное выделение ресурсов хранения для различных типов с плавающей точкой зависит от процессора. См. Target processor type (-target).

Переполнение целочисленного преобразования приводит к неопределенному поведению.

Исправление зависит от первопричины дефекта. Часто детали результата показывают последовательность событий, которые привели к дефекту. Используйте этот список событий, чтобы определить, как переменные в переполненных расчетах получают свои текущие значения. Вы можете реализовать исправление на любом событии в последовательности. Если сведения о результате не отображают историю событий, можно отследить их с помощью опций правого щелчка в исходном коде и просмотреть предыдущие связанные события. Смотрите также Результаты интерпретации Bug Finder в интерфейсе пользователя Polyspace Desktop.

Исправить дефект можно путем:

В целом избегайте преобразований в меньшие целые типы.

См. примеры исправлений ниже.

Если вы не хотите устранять проблему, добавьте комментарии к своему результату или коду, чтобы избежать другой проверки. Смотрите Адрес Результаты Polyspace через исправления ошибок или обоснования.

char convert(void) {

    int num = 1000000;

    return (char)num;
}

В операторе return целочисленная переменная num преобразуется в char. Однако 8-битный или 16-битный символ не может представлять 1000000, потому что он требует по меньшей мере 20 бит. Поэтому операция преобразования переполнена.

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

long convert(void) {

    int num = 1000000;

    return (long)num;
}

Вызов memset с непреднамеренным значением происходит, когда Polyspace^® Bug Finder™ обнаруживает использование memset или wmemset функция с возможно неправильными аргументами.

void *memset (void *ptr, int value, size_t num) заполняет первый num байты блока памяти, который ptr точки с заданным value. Если аргумент value неправильный, блок памяти инициализирован с непреднамеренным значением.

Непреднамеренная инициализация может происходить в следующих случаях.

Исправление зависит от первопричины дефекта. Часто детали результата показывают последовательность событий, которые привели к дефекту. Вы можете реализовать исправление на любом событии в последовательности. Если сведения о результате не отображают историю событий, можно отследить их с помощью опций правого щелчка в исходном коде и просмотреть предыдущие связанные события. Смотрите также Результаты интерпретации Bug Finder в интерфейсе пользователя Polyspace Desktop.

См. примеры исправлений ниже.

Если вы не хотите устранять проблему, добавьте комментарии к своему результату или коду, чтобы избежать другой проверки. Смотрите Адрес Результаты Polyspace через исправления ошибок или обоснования.

#include <string.h>

#define SIZE 32
void func(void) {
    char buf[SIZE];
    int c = -2;
    memset(buf, (char)c, sizeof(buf));
}

В этом примере (char)c не может быть представлен в байте.

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

#include <string.h>

#define SIZE 32
void func(void) {
    char buf[SIZE   ];
    int c = -2;
    memset(buf, c & 0xFF, sizeof(buf));
}

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

Точное выделение ресурсов хранения для различных типов с плавающей точкой зависит от процессора. См. Target processor type (-target).

Исправление зависит от первопричины дефекта. Часто детали результата показывают последовательность событий, которые привели к дефекту. Вы можете реализовать исправление на любом событии в последовательности. Если сведения о результате не отображают историю событий, можно отследить их с помощью опций правого щелчка в исходном коде и просмотреть предыдущие связанные события. Смотрите также Результаты интерпретации Bug Finder в интерфейсе пользователя Polyspace Desktop.

См. примеры исправлений ниже.

Если вы не хотите устранять проблему, добавьте комментарии к своему результату или коду, чтобы избежать другой проверки. Смотрите Адрес Результаты Polyspace через исправления ошибок или обоснования.

char sign_change(void) {
    unsigned char count = 255;

    return (char)count;
}

В операторе возврата беззнаковая символьная переменная count преобразуется в символ со знаком. Однако char имеет 8 биты, 1 для знака константы и 7 для представления числа. Операция преобразования переполнена, потому что 255 использует 8 биты.

Одной из возможных коррекций является использование большего целого типа. При помощи int, достаточно бит, чтобы представлять знак и числовое значение.

int sign_change(void) {
    unsigned char count = 255;

    return (int)count;
}

Преобразование изменения тонированного знака ищет значения из небезопасных источников, которые неявно или неявно преобразуются из значений со знаком в значения без знака.

Для примера функций, которые используют size_t как аргументы неявно преобразуют аргумент в беззнаковое целое число. Некоторые функции, которые неявно преобразуют size_t являются:

bcmp
memcpy
memmove
strncmp
strncpy
calloc
malloc
memalign

Если преобразовать маленькое отрицательное число в беззнаковое, результатом будет большое положительное число. Большое положительное число может создать уязвимости безопасности. Для примера, если вы используете беззнаковое значение в:

Чтобы избежать преобразования беззнаковых отрицательных значений, проверяйте, что преобразуемое значение находится в допустимой области значений. Для примера, если значение представляет размер, проверьте, что значение не отрицательное и меньше максимального размера.

#include <stdlib.h>
#include <string.h>

enum {
    SIZE10  =  10,
    SIZE100 = 100,
    SIZE128 = 128
};

void bug_taintedsignchange(int size) {
    char str[SIZE128] = "";
    if (size<SIZE128) {
        memset(str, 'c', size); 
    }
}

В этом примере a char буфер создается и заполняется с помощью memset. Аргумент в виде memset является входной параметр к функции.

Вызов memset неявно преобразует size в беззнаковое целое число. Если size является большим отрицательным числом, абсолютное значение может быть слишком большим, чтобы представлять в виде целого числа, вызывая переполнение буфера.

Одной из возможных коррекций является проверка, size ли находится внутри допустимой области значений. Эта коррекция проверяет, size ли больше нуля и меньше, чем buffer size перед вызовом memset.

#include <stdlib.h>
#include <string.h>

enum {
    SIZE10  =  10,
    SIZE100 = 100,
    SIZE128 = 128
};

void corrected_taintedsignchange(int size) {
    char str[SIZE128] = "";
    if (size>0 && size<SIZE128) {
        memset(str, 'c', size);  
    }
}

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

Точное выделение ресурсов хранения для различных типов с плавающей точкой зависит от процессора. См. Target processor type (-target).

Переполнение целочисленного преобразования приводит к неопределенному поведению.

Исправление зависит от первопричины дефекта. Часто детали результата показывают последовательность событий, которые привели к дефекту. Вы можете реализовать исправление на любом событии в последовательности. Если сведения о результате не отображают историю событий, можно отследить их с помощью опций правого щелчка в исходном коде и просмотреть предыдущие связанные события. Смотрите также Результаты интерпретации Bug Finder в интерфейсе пользователя Polyspace Desktop.

Исправить дефект можно путем:

В целом избегайте преобразований в меньшие целые типы.

См. примеры исправлений ниже.

Если вы не хотите устранять проблему, добавьте комментарии к своему результату или коду, чтобы избежать другой проверки. Смотрите Адрес Результаты Polyspace через исправления ошибок или обоснования.

unsigned char convert(void) {
    unsigned int unum = 1000000U;

    return (unsigned char)unum;  
}

В операторе return беззнаковая целочисленная переменная unum преобразуется в беззнаковый тип символов. Однако преобразование переполнено, потому что 1000000 требует по меньшей мере 20 бит. Стандарт языка программирования C не рассматривает беззнаковое переполнение как ошибку, потому что программа автоматически уменьшает результат по модулю максимальное значение плюс 1. В этом примере unum уменьшается по модулю 2^8 поскольку тип символьных данных может представлять только 2^8-1.

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

unsigned long convert(void) {
    unsigned int unum = 1000000U;

    return (unsigned long)unum;  
}