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