Exponenta Banner

MISRA C:2012 Rule 21.15

Аргументы указателя к Стандартным Библиотечным функциям memcpy, memmove и memcmp будут указатели на квалифицированные или неполные версии совместимых типов

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

Описание

Примечание

Используйте Bug Finder вместо Code Prover для проверки правил кодирования. Поддержка кодирования правил, регистрируясь в Code Prover будет удалена в будущем релизе. См. Вопросы совместимости.

Управляйте определением

Аргументы указателя к Стандартным Библиотечным функциям memcpy, memmove и memcmp будут указатели на квалифицированные или неполные версии совместимых типов.

Это правило прибывает из MISRA C®: 2 012 Поправок 1.

Объяснение

Функции 

memcpy( arg1, arg2, num_bytes );
memmove( arg1, arg2, num_bytes );
memcmp( arg1, arg2, num_bytes );
выполните копию байта байтом, перемещение или сравнение между ячейками памяти что arg1 и arg2 укажите на. Копия байта байтом, перемещение или сравнение значимы только если arg1 и arg2 имейте совместимые типы.

Используя указатели на различные типы данных для arg1 и arg2 обычно указывает на ошибку кодирования.

Поиск и устранение проблем

Если вы ожидаете нарушение правила, но не видите его, относитесь, чтобы Диагностировать, Почему Кодирующие Стандартные Нарушения Не Появляются как ожидалось.

Примеры

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

#include <stdint.h>

void f ( uint8_t s1[ 8 ], uint16_t s2[ 8 ] )
{
	( void ) memcpy ( s1, s2, 8 ); /* Non-compliant */
}

В этом примере, s1 и s2 указатели на различные типы данных. memcpy оператор копирует восемь байтов от одного буфера до другого.

Восемь байтов представляют целый промежуток буфера что s1 точки к, но только часть буфера, что s2 точки к. Поэтому memcpy оператор копирует только часть s2 к s1, который может быть непреднамеренным.

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

Группа: Стандартные библиотеки
Категория: необходимый
Категория AGC: необходимый

Вопросы совместимости

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

Не рекомендуемый запуск в R2021b

Смотрите также

|

Темы

Введенный в R2017a

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

Поддержка