Use of dangerous standard function

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

Описание

Эта проблема происходит, когда ваш код использует стандартные функции, которые записывают данные к буферу способом, который может привести к переполнению буфера.

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

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

Опасная функция	Рискните уровнем	Более безопасная функция
`gets`	По сути опасный — Вы не можете управлять длиной входа от консоли.	`fgets`
`cin`	По сути опасный — Вы не можете управлять длиной входа от консоли.	Избегайте или вызовы предисловий `cin` с `cin.width`.
`strcpy`	Возможно опасный — Если исходная длина больше места назначения, переполнение буфера может произойти.	`strncpy`
`stpcpy`	Возможно опасный — Если исходная длина больше места назначения, переполнение буфера может произойти.	`stpncpy`
`lstrcpy` или `StrCpy`	Возможно опасный — Если исходная длина больше места назначения, переполнение буфера может произойти.	`StringCbCopy`, `StringCchCopy`, `strncpy`, `strcpy_s`, или `strlcpy`
`strcat`	Возможно опасный — Если конкатенированный результат больше места назначения, переполнение буфера может произойти.	`strncat`, `strlcat`, или `strcat_s`
`lstrcat` или `StrCat`	Возможно опасный — Если конкатенированный результат больше места назначения, переполнение буфера может произойти.	`StringCbCat`, `StringCchCat`, `strncay`, `strcat_s`, или `strlcat`
`wcpcpy`	Возможно опасный — Если исходная длина больше места назначения, переполнение буфера может произойти.	`wcpncpy`
`wcscat`	Возможно опасный — Если конкатенированный результат больше места назначения, переполнение буфера может произойти.	`wcsncat`, `wcslcat`, или `wcncat_s`
`wcscpy`	Возможно опасный — Если исходная длина больше места назначения, переполнение буфера может произойти.	`wcsncpy`
`sprintf`	Возможно опасный — Если продолжительность выхода зависит от неизвестных длин или значений, переполнение буфера может произойти.	`snprintf`
`vsprintf`	Возможно опасный — Если продолжительность выхода зависит от неизвестных длин или значений, переполнение буфера может произойти.	`vsnprintf`

Риск

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

Исправление

Фиксация зависит от первопричины дефекта. Смотрите фиксирует в приведенной выше таблице и примерах кода с мерами ниже.

Если вы не хотите устранять проблему, добавьте комментарии в свой результат или код, чтобы избежать другого анализа. См.:

Обратитесь к Результатам Polyspace Через Исправления ошибок или Выравнивания, если вы рассматриваете результаты в пользовательском интерфейсе Polyspace.
Обратитесь к Результатам в Polyspace доступ Через Исправления ошибок или Выравнивания, если вы рассматриваете результаты в веб-браузере.
Аннотируйте Код и Скройте Известные или Приемлемые результаты, если вы рассматриваете результаты в IDE.

Примеры

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

Используя `sprintf`

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

#define BUFF_SIZE 128


int dangerous_func(char *str)
{
    char dst[BUFF_SIZE];
    int r = 0;

    if (sprintf(dst, "%s", str) == 1)
    {
        r += 1;
        dst[BUFF_SIZE-1] = '\0';
    }
    
    return r;
}

Эта функция, взятая в качестве примера, использует sprintf скопировать строку str к dst. Однако, если str больше, чем буфер, sprintf может вызвать переполнение буфера.

Коррекция — использует snprintf с Buffer Size

Одна возможная коррекция должна использовать snprintf вместо этого и задайте buffer size.

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

#define BUFF_SIZE 128


int dangerous_func(char *str)
{
    char dst[BUFF_SIZE];
    int r = 0;

    if (snprintf(dst, sizeof(dst), "%s", str) == 1)
    {
        r += 1;
        dst[BUFF_SIZE-1] = '\0';
    }
    
    return r;
}

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

Группа: безопасность

Язык: C | C++

Значение по умолчанию: Off

Синтаксис командной строки: DANGEROUS_STD_FUNC

Удар: низко

ID CWE: 242, 676

Темы

Введенный в R2015b

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

Поддержка

Сообщество Экспонента

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