Включите эту опцию на этапе интеграции. На этой фазе предоставляется полный код для проверки. Даже если оранжевая проверка происходит из внешних источников, вы, вероятно, разместите защиту от небезопасных указателей из таких источников. Например, при получении указателя из неизвестного источника выполняется проверка указателя для NULL значение.

Отключите эту опцию на этапе тестирования установки. На этой фазе основное внимание уделяется ошибкам, возникающим в установке.

При проверке реализации кода runnables AUTOSAR средство проверки кода предполагает, что аргументы указателя на runnables и указатели возвращены из Rte_ функции не являются NULL. Этот параметр нельзя использовать для изменения предположения. См. раздел Запуск Polyspace по коду AUTOSAR с консервативными допущениями.

Если этот параметр включен, количество оранжевых чеков в коде может увеличиться.

  int func (int *env_ptr) {
      return *env_ptr;
  }

  int func (int *env_ptr) {
      return *env_ptr;
  }

Если этот параметр включен, количество серых проверок может уменьшиться.

  #include <stdlib.h>
  int func (int *env_ptr) {
      if(env_ptr!=NULL)
	         return *env_ptr;
      else
	         return 0;
  }

  #include <stdlib.h>
  int func (int *env_ptr) {
      if(env_ptr!=NULL)
	         return *env_ptr;
      else
	         return 0;
  }

Вместо того чтобы считать все указатели среды безопасными или небезопасными, можно по отдельности ограничить некоторые указатели среды. См. описание параметра «Инициализация указателя» в разделе «Внешние ограничения для анализа в пространстве».

При индивидуальном ограничении указателя сначала задается режим инициализации, а затем с помощью параметра «Инициализация указателя» указывается, является ли указатель Null, Not Null, или Maybe Null. В зависимости от режима инициализации можно переопределить глобальную спецификацию для всех указателей среды или нет.

Если этот параметр отключен, проверка считает, что отступления на всех глубинах указателей допустимы.

Например, все отклонения считаются допустимыми в этом коде:

int*** stub(void);

void func2() {
        int ***ptr = stub();
        int **ptr2 = *ptr;
        int *ptr3 = *ptr2;
}