Exponenta Banner
exponenta event banner

Writing to const qualified object

Объект, объявленный как 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 через исправления ошибок или обоснования.

Примеры

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

#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);
}

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

Группа: Программирование
Язык: C | C++
По умолчанию: On для рукописного кода, off для сгенерированного кода
Синтаксис командной строки: CONSTANT_OBJECT_WRITE
Влияние: Высокий
ИДЕНТИФИКАТОР CWE: 227, 471, 686

См. также

Темы

Введенный в R2015b

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

Поддержка