Exponenta Banner

Inappropriate I/O operation on device files

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

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

Описание

Этот дефект происходит, когда вы не проверяете, относится ли параметр имени файла к файлу устройств, прежде чем вы передадите его этим функциям:

  • fopen()

  • fopen_s()

  • freopen()

  • remove()

  • rename()

  • CreateFile()

  • CreateFileA()

  • CreateFileW()

  • _wfopen()

  • _wfopen_s()

Файлы устройств являются файлами в файловой системе, которые обеспечивают интерфейс к драйверам устройств. Можно использовать эти файлы, чтобы взаимодействовать с устройствами.

Несоответствующая операция I/O на файлах устройств не повышает дефект когда:

  • Вы используете stat или lstat- семейство функционирует, чтобы проверять параметр имени файла прежде, чем вызвать ранее перечисленные функции.

  • Вы используете функцию сравнения строк, чтобы сравнить имя файла со списком имен файла устройств.

Риск

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

Фиксация

Прежде чем вы выполните операцию I/O на файле:

  • Используйте stat(), lstat(), или эквивалентная функция, чтобы проверять, относится ли параметр имени файла к регулярному файлу.

  • Используйте функцию сравнения строк, чтобы сравнить имя файла со списком имен файла устройств.

Примеры

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

#include <stdio.h>
#include <string.h>

#define SIZE1024 1024

FILE* func()
{

    FILE* f;
    const char file_name[SIZE1024] = "./tmp/file";
    
    if ((f = fopen(file_name, "w")) == NULL) {
        /*handle error */
    };
    /*operate on file */
}

В этом примере, func() управляет на файле file_name не проверяя, является ли это регулярным файлом. Если file_name файл устройств, попытки получить доступ к нему могут привести к системному отказу.

Коррекция — файл проверки с lstat() Прежде, чем вызвать fopen()

Одна возможная коррекция должна использовать lstat() и S_ISREG макрос, чтобы проверять, является ли файл регулярным файлом. Это решение содержит TOCTOU состояние состязания, которое может позволить атакующему изменять файл после того, как вы будете проверять его, но перед вызовом fopen (). Чтобы предотвратить эту уязвимость, обеспечьте тот file_name относится к файлу в безопасной папке.

#include <stdlib.h>
#include <stdio.h>
#include <string.h>
#include <sys/stat.h>

#define SIZE1024 1024

FILE* func()
{

    FILE* f;
    const char file_name[SIZE1024] = "./tmp/file";
    struct stat orig_st;
    if ((lstat(file_name, &orig_st) != 0) ||
        (!S_ISREG(orig_st.st_mode))) {
        exit(0);
    }
    if ((f = fopen(file_name, "w")) == NULL) {
        /*handle error */
    };
    /*operate on file */
}

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

Группа: безопасность
Язык: C | C++
Значение по умолчанию: 'off'
Синтаксис командной строки: INAPPROPRIATE_IO_ON_DEVICE
Удар: носитель
ID CWE: 67

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

| | | | |

Темы

Введенный в R2018b

Документация Polyspace Bug Finder
Поддержка