Exponenta Banner
exponenta event banner

Sensitive heap memory not cleared before release

Конфиденциальные данные не очищены и не освобождены стандартной программой памяти

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

Описание

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

Риск

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

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

Перед вызовом free, очистить конфиденциальные данные с помощью memset или SecureZeroMemory.

Примеры

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

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

void sensitiveheapnotcleared(const char * my_user) {
    struct passwd* result, pwd;
    long bufsize = sysconf(_SC_GETPW_R_SIZE_MAX);
    char* buf = (char*) malloc(1024);
    getpwnam_r(my_user, &pwd, buf, bufsize, &result);
    free(buf);
}

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

Коррекция - аннулирование данных

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

#include <unistd.h>
#include <stdlib.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 sensitiveheapnotcleared(const char * my_user) {
    struct passwd* result, pwd;
    long bufsize = sysconf(_SC_GETPW_R_SIZE_MAX);
    char* buf = (char*) malloc(1024);

    if (buf) {
        getpwnam_r(my_user, &pwd, buf, bufsize, &result);
        memset(buf, 0, (size_t)1024);
        isNull(buf);
        free(buf); 
    }
}

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

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

См. также

| |

Темы

Введенный в R2015b

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

Поддержка