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

Средство проверки правил использует основные типы данных в объявлениях переменных или функций и определениях. Правило принудительно использует typedefs вместо этого.

Проверка правил не помечает использование основных типов в typedef сами операторы.

Когда объем выделяемой памяти важен, использование типов определенной длины дает понять, сколько памяти зарезервировано для каждого объекта.

typedef unsigned int uint32_t;

int x = 0;       /* Non compliant */
uint32_t y = 0;  /* Compliant */

В этом примере объявление x не совместим, поскольку он использует основной тип непосредственно.

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

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

Целочисленные переполнения целых чисел со знаком приводят к неопределенному поведению.

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

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

Чтобы избежать переполнения в целом, попробуйте один из следующих методов:

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

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

#include <limits.h>
typedef int int32;
int32 plusplus(void) {

    int32 var = INT_MAX;
    var++;   //Noncompliant          
    return var;
}

В третьем операторе этой функции переменная var увеличивается на единицу. Но значение var является максимальным целым значением, поэтому int не может представлять одно плюс максимальное целое значение.

Одной из возможных коррекций является изменение типов данных. Сохраните результат операции в большем типе данных (Обратите внимание, что на 32-разрядной машине int и long имеет тот же размер). В этом примере на 32-битной машине путем возврата long long вместо int, ошибка переполнения исправлена.

#include <limits.h>
typedef int int32;
typedef long long llint; 
llint plusplus(void) {

    llint var = INT_MAX;
    var++;   //Compliant          
    return var;
}

Целое число переполнение константы происходит, когда вы присваиваете константу времени компиляции переменной со целого числа знаком, тип данных которой не может включать значение. Система координат n-разрядное целое число содержит значения в области значений [-2n-1, 2n-1-1].

Для образца, c - 8-битный char со знаком переменная, которая не может содержать значение 255.

signed char c = 255;

Чтобы определить размеры фундаментальных типов, Bug Finder использует вашу спецификацию для Target processor type (-target).

Поведение по умолчанию для постоянных переполнений может варьироваться между компиляторами и платформами. Сохранение постоянных переполнений может снизить переносимость вашего кода.

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

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

#define MAX_UNSIGNED_CHAR 255 
#define MAX_SIGNED_CHAR 127

void main() {
    char c1 = MAX_UNSIGNED_CHAR;
    char c2 = MAX_SIGNED_CHAR+1;
}

В этом примере дефект появляется на макросах, потому что по крайней мере одно использование макроса вызывает переполнение. Чтобы воспроизвести эти дефекты, используйте Target processor type (-target) где char подписан по умолчанию.

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

#define MAX_UNSIGNED_CHAR 255 
#define MAX_SIGNED_CHAR 127
typedef unsigned char uchar;
void main() {
    uchar c1 = MAX_UNSIGNED_CHAR;
    uchar c2 = MAX_SIGNED_CHAR+1;
}

Формат форматированных строковых спецификаторов и аргументов происходит, когда спецификаторы форматированных выходных функций, таких как printf не совпадают с соответствующими аргументами. Для примера - аргумент типа unsigned long должны иметь формат спецификации %lu.

Несоответствие между спецификаторами формата и соответствующими аргументами приводит к неопределенному поведению.

Убедитесь, что спецификаторы формата соответствуют соответствующим аргументам. Например, в этом примере %d спецификатор не совпадает с аргументом строки message и %s спецификатор не соответствует целочисленному аргументу err_number.

  const char *message = "License not available";
  int err_number = ;-4
  printf("Error: %d (error type %s)\n", message, err_number);

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

#include <stdio.h>
typedef unsigned long UL;
void string_format(void) {

    UL fst = 1;

    printf("%d\n", fst); //Noncompliant
}

В printf оператор, спецификатор формата, %d, не соответствует типу данных fst.

Одной из возможных коррекций является использование %lu спецификатор формата. Этот спецификатор соответствует unsigned целый тип и long размер fst.

#include <stdio.h>
typedef unsigned long UL;
typedef int int32;
void string_format(void) {

    UL fst = 1;

    printf("%lu\n", fst); //Compliant
}

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

#include <stdio.h>
typedef unsigned long UL;
typedef int int32;
void string_format(void) {

    UL fst = 1;

    printf("%d\n", (int32)fst); //Compliant
}