Exponenta Banner

Format string specifiers and arguments mismatch

Спецификаторы формата в printf- как функции не совпадают с соответствующими аргументами

расширьте все на странице

Описание

Этот дефект происходит, когда спецификаторы формата в отформатированном выводе функционируют, такие как 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);
Переключение этих двух спецификаторов формата фиксирует проблему. См. технические требования для функции printf для получения дополнительной информации о спецификаторах формата.

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

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

Примеры

развернуть все

#include <stdio.h>

void string_format(void) {

    unsigned long fst = 1;

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

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

Коррекция — использует спецификатор длинного формата без знака

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

#include <stdio.h>

void string_format(void) {

    unsigned long fst = 1;

    printf("%lu\n", fst);
}
Коррекция — использует целочисленный аргумент

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

#include <stdio.h>

void string_format(void) {

    unsigned long fst = 1;

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

Информация о результате

Группа: Программирование
Язык: C | C++
Значение по умолчанию: On
Синтаксис командной строки: STRING_FORMAT
Удар: низко
ID CWE: 683, 685, 686

Смотрите также

|

Темы

Внешние веб-сайты

Введенный в R2013b

Документация Polyspace Bug Finder

Поддержка