Exponenta Banner
exponenta event banner

Uncleared sensitive data in stack

Переменная в стеке не очищена и содержит конфиденциальные данные

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

Описание

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

Риск

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

Зафиксировать

Перед выходом из функции или программы очистите зоны памяти, которые содержат конфиденциальные данные, используя memset или SecureZeroMemory.

Примеры

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

#include <unistd.h>
#include <sys/types.h>
#include <pwd.h>

void bug_sensitivestacknotcleared(const char * my_user) {
    struct passwd* result, pwd;
    long bufsize = sysconf(_SC_GETPW_R_SIZE_MAX);
    char buf[1024] = "";
    getpwnam_r(my_user, &pwd, buf, bufsize, &result);
}

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

Коррекция - Очистить память

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

#include <unistd.h>
#include <string.h>
#include <sys/types.h>
#include <pwd.h>
#include <assert.h>

#define isNull(arr) for(int i=0;i<(sizeof(arr)/sizeof(arr[0]));i++) assert(arr[i]==0)

void corrected_sensitivestacknotcleared(const char * my_user) {
    struct passwd* result, pwd;
    long bufsize = sysconf(_SC_GETPW_R_SIZE_MAX);
    char buf[1024] = "";
    getpwnam_r(my_user, &pwd, buf, bufsize, &result);
    memset(buf, 0, (size_t)1024);
    isNull(buf);
}

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

Группа: Безопасность
Язык: C | C++
По умолчанию: Off
Синтаксис командной строки: SENSITIVE_STACK_NOT_CLEARED
Влияние: Средний
ИДЕНТИФИКАТОР CWE: 226, 312, 316

См. также

| |

Темы

Введенный в R2015b

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

Поддержка