Exponenta Banner

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

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

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

Описание

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

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

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

Неповторно используемые стандартные функции, которые возвращают не 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
Поддержка