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

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

Rte_IWrite_step_out_e4(self, arg);

Как правило, анализ проверяет, Rte_ аргумент функции остается в ограниченном диапазоне, разрешенном его типом данных AUTOSAR. Для ограничения значений типов данных AUTOSAR используются ограничения данных в файлах ARXML. Например, спецификация ограничения может выглядеть так (AUTOSAR 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.