Exponenta Banner
exponenta event banner

Символьное значение, поглощенное в EOF

Преобразование типа данных делает допустимое символьное значение таким же, как и в End-of-File (EOF)

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

Описание

Этот дефект возникает при преобразовании типа данных, которое делает допустимое значение символа неотличимым от EOF (Конец файла). Функция поиска ошибок помечает дефект в одной из следующих ситуаций:

  • Конец файла: выполняется преобразование типа данных, например из int кому char который преобразует значение символа, отличного от EOF, в EOF.

    char ch = (char)getchar()
    Затем результат сравнивается с EOF.
    if((int)ch == EOF)
    Преобразование может быть явным или неявным.

  • Wide-End-of-File: выполняется преобразование типа данных, которое позволяет преобразовать значение не-WEOF широкого символа в WEOF, а затем сравнить результат с WEOF.

Риск

Тип данных char не может удерживать значение EOF указывает конец файла. Функции, такие как getchar иметь тип возврата int приспосабливать EOF. При преобразовании из int кому char, значения UCHAR_MAX (допустимое значение символа) и EOF преобразуются в одно и то же значение -1 и становятся неотличимыми друг от друга. При сравнении результата этого преобразования с EOF, сравнение может привести к ложному обнаружению EOF. Это обоснование также относится к широким символьным значениям и WEOF.

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

Выполнить сравнение с EOF или WEOF перед преобразованием.

Примеры

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

#include <stdio.h>
#include <stdlib.h>
#define fatal_error() abort()

char func(void)
{
    char ch;
    ch = getchar();
    if (EOF == (int)ch) {
        fatal_error();
    }
    return ch;
}

В этом примере возвращаемое значение getchar неявно преобразован в char. Если getchar прибыль UCHAR_MAX, он преобразуется в -1, что неотличимо от EOF. При сравнении с EOF позже это может привести к ложному положительному результату.

Коррекция - сравнение с EOF перед преобразованием

Одна из возможных корректировок - сначала выполнить сравнение с EOF, а затем преобразовать из int кому char.

#include <stdio.h>
#include <stdlib.h>
#define fatal_error() abort()

char func(void)
{
    int i;               
    i = getchar();       
    if (EOF == i) {      
        fatal_error();
    }
    else {
        return (char)i;
    }
}

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

Группа: Программирование
Язык: C | C++
По умолчанию: Вкл для рукописного кода, выкл для сгенерированного кода
Синтаксис командной строки: CHAR_EOF_CONFUSED
Воздействие: Высокое
CWE ID: 704

См. также

| | | |

Темы

Представлен в R2017a

Документация для поиска ошибок Polyspace

Поддержка