ПроблемаФормат форматированных строковых спецификаторов и аргументов происходит, когда спецификаторы форматированных выходных функций, таких как 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);
} 