CERT C++: FIO39-C

Не вводите и не выводите поочередно из потока без промежуточного вызова заподлицо или позиционирования

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

Описание

Определение правила

Не вводите и не выводите поочередно из потока без промежуточного вызова заподлицо или позиционирования.^[1]

Реализация Polyspace

Эта проверка проверяет на Переменный вход и выход из потока без промывки или вызова позиционирования.

Примеры

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

Чередование входных и выходных параметров из потока без заподлицо или вызова позиционирования

Проблема

Чередование входных и выходных параметров из потока без заподлицо или вызова позиционирования происходит, когда:

Вы не выполняете флеш-вызов или вызов позиционирования функции между операцией выхода и следующей операцией входа для потока файлов в режиме обновления.
Вы не выполняете вызов позиционирования функции между операцией входа и следующей операцией выхода для потока файлов в режиме обновления.

Риск

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

Зафиксировать

Функции fflush() или функцию позиционирования файла, такую как fseek() или fsetpos() между выходной и входной операциями в потоке обновления.

Вызовите функцию позиционирования файла между входной и выходной операциями в потоке обновления.

Пример - Чтение после записи без вмешательства флеш

#include <stdio.h>
#define SIZE20 20

void initialize_data(char* data, size_t s) {};
const char *temp_filename = "/tmp/demo.txt";

void func()
{
    char data[SIZE20];
    char append_data[SIZE20];
    FILE *file;

    file = fopen(temp_filename, "a+");
    if (file == NULL)
      {
        /* Handle error. */;
      }

    initialize_data(append_data, SIZE20);

    if (fwrite(append_data, 1, SIZE20, file) != SIZE20)
      {
        (void)fclose(file);
        /* Handle error. */;
      }
	/* Read operation after write without 
	intervening flush. */
    if (fread(data, 1, SIZE20, file) < SIZE20)  
      {
          (void)fclose(file);
          /* Handle error. */;
      }

    if (fclose(file) == EOF)
      {
        /* Handle error. */;
      }
}

В этом примере файл demo.txt открыт для чтения и добавления. После вызова к fwrite(), вызов fread() без промежуточной операции сброса является неопределенным поведением.

Коррекция - Вызов fflush() Перед операцией чтения

После записи данных в файл, перед вызовом fread(), выполните сброс вызова.

#include <stdio.h>
#define SIZE20 20

void initialize_data(char* data, size_t s) {};
const char *temp_filename = "/tmp/demo.txt";


void func()
{
    char data[SIZE20];
    char append_data[SIZE20];
    FILE *file;

    file = fopen(temp_filename, "a+");
    if (file == NULL)
      {
        /* Handle error. */;
      }

    initialize_data(append_data, SIZE20);

    if (fwrite(append_data, 1, SIZE20, file) != SIZE20)
      {
        (void)fclose(file);
        /* Handle error. */;
      }
	/* Buffer flush after write and before read */
    if (fflush(file) != 0)  
      {
        (void)fclose(file);
        /* Handle error. */;
      }
    if (fread(data, 1, SIZE20, file) < SIZE20)
      {
        (void)fclose(file);
        /* Handle error. */;
      }

    if (fclose(file) == EOF)
      {
        /* Handle error. */;
      }
}

Проверяйте информацию

Группа: 07. Входной выход (FIO)

См. также

Check SEI CERT-C++ (-cert-cpp))

Темы

Проверяйте на нарушения стандарта кодирования

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

FIO39-C

Введенный в R2019a

^[1] Это программное обеспечение было создано MathWorks, включающее фрагменты: «Сайт SEI CERT-C», © 2017 Университет Карнеги Меллон, Веб-сайт SEI CERT-C + + © 2017 Университет Карнеги Меллон, "Стандарт кодирования SEI CERT C - Правила разработки безопасных, Надежные и безопасные системы - 2016 Edition ", © 2016 Университет Карнеги Меллон, и "Стандарт кодирования SEI CERT C++ - Правила разработки безопасных, Надежные и безопасные системы в C++ - 2016 Edition "© 2016 Университет Карнеги Меллон, с специального разрешения от его Института программной инженерии.

ЛЮБОЙ МАТЕРИАЛ УНИВЕРСИТЕТА КАРНЕГИ МЕЛЛОН И/ИЛИ ЕГО ИНЖЕНЕРНОГО ИНСТИТУТА ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ, СОДЕРЖАЩИЙСЯ В НАСТОЯЩЕМ ДОКУМЕНТЕ, ПОСТАВЛЯЕТСЯ НА БАЗИСЕ «КАК ЕСТЬ». УНИВЕРСИТЕТ КАРНЕГИ МЕЛЛОН НЕ ДАЕТ НИКАКИХ ГАРАНТИЙ, ВЫРАЖЕННЫХ ИЛИ ПОДРАЗУМЕВАЕМЫХ, В ОТНОШЕНИИ ЛЮБОГО ВОПРОСА, ВКЛЮЧАЯ, НО НЕ ОГРАНИЧИВАЯСЬ, ГАРАНТИЮ ПРИГОДНОСТИ ДЛЯ ЦЕЛЕЙ ИЛИ КОММЕРЧЕСКОЙ ВЫГОДЫ, ИСКЛЮЧИТЕЛЬНОСТИ, ИЛИ УНИВЕРСИТЕТ КАРНЕГИ МЕЛЛОН НЕ ДАЕТ НИКАКИХ ГАРАНТИЙ В ОТНОШЕНИИ СВОБОДЫ ОТ ПАТЕНТА, ТОВАРНОГО ЗНАКА ИЛИ НАРУШЕНИЯ АВТОРСКИХ ПРАВ.

Это программное обеспечение и связанная с ним документация не были рассмотрены и не одобрены Университетом Карнеги-Меллон или его Институтом программной инженерии.

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