Функция RTE API используется с аргументами, которые нарушают спецификацию стандарта AUTOSAR
Эта проверка определяет, нарушают ли аргументы в функции RTE API стандартные спецификации AUTOSAR.
Для образца проверяет Rte_Write_*
или Rte_Byps_Write_*
вызовы функций определяют, является ли аргумент «указатель на данные» в вызове:
Значение NULL.
Указывает на буфер памяти.
Указывает на инициализированный буфер памяти.
Для буферов со значениями перечисления значения находятся в области значений перечисления.
Для получения дополнительной информации о спецификациях RTE API см. документацию AUTOSAR.
Чтобы включить эту проверку, используйте значение autosar
для опции Libraries used (-library)
.
Эта проверка находит подмножество проблем, обнаруженных с проверкой Invalid use of AUTOSAR runtime environment function
. Настройка этой проверки не требует предоставления ограничений проекта в формате ARXML, поэтому эта проверка не может найти нарушения ограничений, обнаруженные при другой проверке. См. также раздел «Выбор между основанным на компонентах и интеграционным анализом кода AUTOSAR с Polyspace».
Чтобы диагностировать эту проверку, прочтите сообщение на панели Result Details. В сообщении показаны все проверки, выполненные с функцией RTE API, а также информация о том, прошла ли проверка. Для образца, это сообщение:
Отображение результатов трех проверок. Только одна из проверок указывает на возможную проблему. Первый аргумент функции может не указывать на инициализированную память.
Исследуйте первопричину проблемы далее.
Группа: Другое |
Язык: C | C++ |
По умолчанию: On, если вы используете значение autosar для опции Libraries used (-library) , в противном случае отключено |
Синтаксис командной строки
: autosar_compliance |