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

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

Rte_IWrite_step_out_e4(self, arg);

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

<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второй аргумент является указателем. Анализ проверяет, не является ли указатель NULL и выделен ли он для всех возможных путей выполнения.

Rte_IWrite_step_out_e4(self,arg);

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

Эти нарушения также обнаруживаются при проверке Non-compliance with AUTOSAR specification.