Exponenta Banner
exponenta event banner

Character value absorbed into EOF

Преобразование типа данных делает допустимое значение символа таким же, как и в конце файла (EOF)

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

Описание

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

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

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

  • Широкий конец файла: Вы выполняете преобразование типа данных, которое может преобразовать значение символа, отличное от 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++
По умолчанию: On для рукописного кода, off для сгенерированного кода
Синтаксис командной строки: CHAR_EOF_CONFUSED
Влияние: Высокий
ИДЕНТИФИКАТОР CWE: 704

См. также

| | | |

Темы

Введенный в R2017a

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

Поддержка