Exponenta Banner

Modification of internal buffer returned from nonreentrant standard function

Функция пытается изменить внутренний буфер, возвращенный в неповторно используемую стандартную функцию

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

Описание

Модификация внутреннего буфера, возвращенного в неповторно используемую стандартную функцию, происходит, когда следующее происходит:

  • Неповторно используемая стандартная функция возвращает указатель.

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

Неповторно используемые стандартные функции, которые возвращают не const- квалифицированный указатель на внутренний буфер включает getenv, getlogin, crypt, setlocale, localeconv, strerror и другие.

Риск

Изменение внутреннего буфера, что неповторно используемая стандартная функция возвраты может вызвать следующие проблемы:

  • Возможно, что модификация не следует или изменяет другие внутренние данные.

    Например, getenv возвращает указатель на значение переменной окружения. Если вы изменяете это значение, вы изменяете среду процесса и повреждаете другие внутренние данные.

  • Даже если модификация успешно выполняется, возможно, что последующий вызов той же стандартной функции не возвращает ваше модифицированное значение.

    Например, вы изменяете значение переменной окружения что getenv возвращается. Если другой процесс, поток или обработчик сигнала вызывают setenv, модифицированное значение перезаписывается. Поэтому последующий вызов getenv не возвращает ваше модифицированное значение.

Фиксация

Постарайтесь не изменять внутренний буфер с помощью указателя, возвращенного в функцию.

Примеры

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

#include <stdlib.h>
#include <string.h>

void printstr(const char*);

void func() {
    char* env = getenv("LANGUAGE");
    if (env != NULL) {
        strncpy(env, "C", 1);
        printstr(env);
    }
}

В этом примере, первом аргументе strncpy возвращаемое значение от неповторно используемой стандартной функции getenv. Поведение может быть не определено потому что strncpy изменяет этот аргумент.

Коррекция - копирует возвращаемое значение getenv и измените копию

Одно возможное решение состоит в том, чтобы скопировать возвращаемое значение getenv и передайте копию strncpy функция.

#include <stdlib.h>
#include <string.h>
enum {
    SIZE20 = 20
};

void printstr(const char*);

void func() {
    char* env = getenv("LANGUAGE");
    if (env != NULL) {
        char env_cp[SIZE20];
        strncpy(env_cp, env, SIZE20);  
        strncpy(env_cp, "C", 1);        
        printstr(env_cp);
    }
}

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

Группа: Программирование
Язык: C | C++
Значение по умолчанию: 'off'
Синтаксис командной строки: WRITE_INTERNAL_BUFFER_RETURNED_FROM_STD_FUNC
Удар: низко
ID CWE: 573, 628

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

Темы

Введенный в R2015b

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