Exponenta Banner

AUTOSAR C++14 Rule A27-0-3

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

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

Описание

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

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

Объяснение

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

Реализация 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 funcNonCompliant()
{
    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)  //Noncompliant
      {
          (void)fclose(file);
          /* Handle error. */;
      }

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

void funcCompliant()
{
    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) //Compliant
      {
        (void)fclose(file);
        /* Handle error. */;
      }

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

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

Функция funcCompliant показывает альтернативное решение, в котором промывочный вызов выполняется после записи данных в файл и перед вызовом fread().

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

Группа: Библиотека ввода/вывода
Категория: Необходимый, Автоматизированный

См. также

Темы

Введенный в R2020b

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

Поддержка