Exponenta Banner

ISO/IEC TS 17961 [filecpy]

Копирование объекта FILE

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

Описание

Управляйте определением

Копирование ФАЙЛА object.[1]

Реализация Polyspace

Это средство проверки проверяет на Разыменование ФАЙЛА* указатель.

Примеры

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

Проблема

Проблема происходит когда указатель на FILE объект разыменовывается.

Риск

Стандарт утверждает что адрес FILE объект, используемый, чтобы управлять потоком, может быть значительным. Копирование, что объектная сила не дает то же поведение. Это правило гарантирует, что вы не можете выполнить такую копию.

Непосредственно управление FILE объектная сила быть несовместимым с ее использованием в качестве потокового указателя.

Пример - FILE* Разыменованный указатель
#include <stdio.h>

void func(void) {
    FILE *pf1;
    FILE *pf2;
    FILE f3;

    pf2 = pf1;        /* Compliant */
    f3 = *pf2;        /* Non-compliant */
    pf2->_flags=0;    /* Non-compliant */
 }

В этом примере правило нарушено когда FILE* указатель pf2 разыменовывается.

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

Разрешимость: неразрешимый

Смотрите также

Темы

Введенный в R2019a

[1]  Выписки из стандарта "Техническая характеристика ISO/IEC TS 17961 - 2013-11-15" воспроизводятся с соглашением о AFNOR. Только исходный и полный текст стандарта, как опубликовано Выпусками AFNOR - доступный через веб-сайт www.boutique.afnor.org - имеет нормативное значение.

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

Поддержка