Exponenta Banner

AUTOSAR C++14 Rule A5-3-2

Нулевые указатели не должны быть разберутся

развернуть все на странице

Описание

Определение правила

Нулевые указатели не должны быть разберутся.

Объяснение

Снятие нуля с указателя является неопределенным поведением. В большинстве реализаций dereference может привести к аварийному завершению работы вашей программы.

Реализация Polyspace

Контрольный блок помечает разыменование указателей, где указатель может иметь значение NULL.

Если проблема возникает, несмотря на более раннюю проверку на NULL, искать промежуточные события между проверкой и последующим разыменованием. Часто детали результата показывают последовательность событий, которые привели к дефекту. Вы можете реализовать исправление на любом событии в последовательности. Если сведения о результате не отображают историю событий, можно отследить их с помощью опций правого щелчка в исходном коде и просмотреть предыдущие связанные события. Смотрите также Результаты интерпретации Bug Finder в интерфейсе пользователя Polyspace Desktop.

Поиск и устранение проблем

Если вы ожидаете нарушения правил, но не видите его, обратитесь к разделу «Стандартные нарушения кодирования не отображаются».

Примеры

расширить все

#include <iostream>
#include <cstdint>
#include <cstddef>

class A
{
  public:
    A(std::uint32_t a) : a(a) {}
    std::uint32_t GetA() const noexcept
    {
      return a;
    }
  private:
    std::uint32_t a;
};

std::uint32_t Sum(const A* lhs, const A* rhs)
{
  return lhs->GetA() + rhs->GetA(); //Noncompliant
}

A* getAPtr(void); 

int main(void)
{
  A* leftVal = new A(3);
  A* rightVal = getAPtr();
  
  std::uint32_t sum;
  
  if(!rightVal)  {
      sum = Sum(leftVal, rightVal); 
  }
  else 
      sum = 0;

  std::cout << sum << std::endl;
  return 0;
}

В этом примере порядок if и else предложение было переключено, что приводит к случайному разыменованию указателя null. Переменная rightVal проверяется на значение NULL и значение NULL rightVal используется для последующего разыменования в функции Sum.

Проверяйте информацию

Группа: Выражения
Категория: Требуемая, Частично автоматизированная

См. также

Темы

Введенный в R2020b

Документация Polyspace Bug Finder

Поддержка