Нарушения ограничений данных:

Предположим в этом вызове Rte_IWrite_step_out_e4, второй аргумент указывает на тип данных, который должен выполнить ограничение данных. Анализ проверяет, может ли ограничение быть нарушено во время выполнения.

Rte_IWrite_step_out_e4(self, arg);

В общем случае анализ проверяет если каждый Rte_ аргумент функции остается в ограниченной области значений, позволенной ее типом данных AUTOSAR. Вы предельные значения типов данных AUTOSAR путем обращения к ограничениям данных в файлах ARXML. Например, ограничительная спецификация может выглядеть так (версия 4.0 XML-схемы AUTOSAR).

<DATA-CONSTR>
   <SHORT-NAME>n320to320</SHORT-NAME>
     <DATA-CONSTR-RULES>
       <DATA-CONSTR-RULE>
         <PHYS-CONSTRS>
           <LOWER-LIMIT INTERVAL-TYPE="CLOSED">-320</LOWER-LIMIT>
           <UPPER-LIMIT INTERVAL-TYPE="CLOSED">320</UPPER-LIMIT>
           <UNIT-REF DEST="UNIT">/jyb/types/units/NoUnit</UNIT-REF>
         </PHYS-CONSTRS>
       </DATA-CONSTR-RULE>
     </DATA-CONSTR-RULES>
</DATA-CONSTR>
...
<APPLICATION-PRIMITIVE-DATA-TYPE>
       <SHORT-NAME>Int_n320to320</SHORT-NAME>
       <CATEGORY>VALUE</CATEGORY>
       <SW-DATA-DEF-PROPS>
         <SW-DATA-DEF-PROPS-VARIANTS>
            <SW-DATA-DEF-PROPS-CONDITIONAL>
                ...
            <DATA-CONSTR-REF DEST="DATA-CONSTR">types/app/constraints/n320to320
            </DATA-CONSTR-REF>
                ...
            </SW-DATA-DEF-PROPS-CONDITIONAL>
        </SW-DATA-DEF-PROPS-VARIANTS>
    </SW-DATA-DEF-PROPS>
</APPLICATION-PRIMITIVE-DATA-TYPE>

Нарушения стандартных технических требований AUTOSAR, такие как передача освобожденных указателей как входные параметры к некоторым функциям RTE:

Предположим в этом вызове Rte_IWrite_step_out_e4, второй аргумент является указателем. Анализ проверяет, является ли указатель непустым и выделенным для всех возможных путей к выполнению.

Rte_IWrite_step_out_e4(self,arg);

В общем случае анализ проверяет если аргумент указателя к Rte_ функция является непустой и выделенной.

Эти нарушения также найдены со средством проверки Non-compliance with AUTOSAR specification.