CERT C++: STR30-C

Не пытайтесь изменять строковые литералы

Описание

Определение правила

Не пытайтесь изменять строковые литералы.[1]

Реализация Polyspace

Эта проверка проверяет наличие объекта Writing to const.

Примеры

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

Проблема

Запись в const квалифицированный объект возникает, когда вы делаете одно из следующего:

  • Использование const-qualified object как место назначения.

  • Передайте const-qualified object в функцию, которая изменяет аргумент.

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

  • Вы передаете const-квалифицированный объект как первый аргумент одной из следующих функций:

    • mkstemp

    • mkostemp

    • mkostemps

    • mkdtemp

  • Вы передаете const-qualified object как аргумент назначения одной из следующих функций:

    • strcpy

    • strncpy

    • strcat

    • memset

  • Вы выполняете операцию записи на const-квалифицированный объект.

Риск

Риск зависит от изменений, внесенных в const-квалифицированный объект.

СитуацияРиск
Передача в mkstemp, mkostemp, mkostemps, mkdtempи так далее.Эти функции заменяют последние шесть символов их первого аргумента строкой. Поэтому они ожидают изменяемого char массив как их первый аргумент.
Передача в strcpy, strncpy, strcat, memset и так далее.Эти функции изменяют их аргумент назначения. Поэтому они ожидают изменяемого char массив как их конечный аргумент.
Запись в объектThe const qualificer подразумевает соглашение о том, что значение объекта не будет изменено. Путем записи в const-qualified object, вы нарушаете соглашение. Результат операции не определен.
Зафиксировать

Исправление зависит от внесенной в const модификации-квалифицированный объект.

СитуацияЗафиксировать
Передача в mkstemp, mkostemp, mkostemps, mkdtempи так далее.Пройдите не- const объект как первый аргумент функции.
Передача в strcpy, strncpy, strcat, memset и так далее.Пройдите не- const объект как целевой аргумент функции.
Запись в объектВыполните операцию записи на не- const объект.

См. примеры исправлений ниже.

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

Пример - Запись в const-Квалифицированный объект
#include <string.h>

const char* buffer = "abcdeXXXXXXX";

void func(char* string) {
    char *ptr = (char*)strchr(buffer,'X');
    if(ptr)
        strcpy(ptr,string);
}

В этом примере, потому что buffer является const-квалифицированный, strchr(buffer,'X') возвращает const-квалифицированные char* указатель. Когда это char* указатель используется в качестве целевого аргумента strcpyПоявляется Writing to const qualified object ошибка.

Коррекция - Копирование const-Qualified объект Non - const Объект

Одной из возможных коррекций является назначение постоянной строки не- const объект и использовать non- const объект как конечный аргумент strchr.

#include <string.h>

char buffer[] = "abcdeXXXXXXX";

void func(char* string) { 
    char *ptr = (char*)strchr(buffer,'X');
    if(ptr)
        strcpy(ptr,string);
}

Проверяйте информацию

Группа: 05. Символы и строки (STR)
Введенный в R2019a

[1] Это программное обеспечение было создано MathWorks, включающее фрагменты: «Сайт SEI CERT-C», © 2017 Университет Карнеги Меллон, Веб-сайт SEI CERT-C + + © 2017 Университет Карнеги Меллон, "Стандарт кодирования SEI CERT C - Правила разработки безопасных, Надежные и безопасные системы - 2016 Edition ", © 2016 Университет Карнеги Меллон, и "Стандарт кодирования SEI CERT C++ - Правила разработки безопасных, Надежные и безопасные системы в C++ - 2016 Edition "© 2016 Университет Карнеги Меллон, с специального разрешения от его Института программной инженерии.

ЛЮБОЙ МАТЕРИАЛ УНИВЕРСИТЕТА КАРНЕГИ МЕЛЛОН И/ИЛИ ЕГО ИНЖЕНЕРНОГО ИНСТИТУТА ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ, СОДЕРЖАЩИЙСЯ В НАСТОЯЩЕМ ДОКУМЕНТЕ, ПОСТАВЛЯЕТСЯ НА БАЗИСЕ «КАК ЕСТЬ». УНИВЕРСИТЕТ КАРНЕГИ МЕЛЛОН НЕ ДАЕТ НИКАКИХ ГАРАНТИЙ, ВЫРАЖЕННЫХ ИЛИ ПОДРАЗУМЕВАЕМЫХ, В ОТНОШЕНИИ ЛЮБОГО ВОПРОСА, ВКЛЮЧАЯ, НО НЕ ОГРАНИЧИВАЯСЬ, ГАРАНТИЮ ПРИГОДНОСТИ ДЛЯ ЦЕЛЕЙ ИЛИ КОММЕРЧЕСКОЙ ВЫГОДЫ, ИСКЛЮЧИТЕЛЬНОСТИ, ИЛИ УНИВЕРСИТЕТ КАРНЕГИ МЕЛЛОН НЕ ДАЕТ НИКАКИХ ГАРАНТИЙ В ОТНОШЕНИИ СВОБОДЫ ОТ ПАТЕНТА, ТОВАРНОГО ЗНАКА ИЛИ НАРУШЕНИЯ АВТОРСКИХ ПРАВ.

Это программное обеспечение и связанная с ним документация не были рассмотрены и не одобрены Университетом Карнеги-Меллон или его Институтом программной инженерии.