Exponenta Banner
exponenta event banner

Арифметическая операция с Нулевым указателем

Арифметическая операция выполняется на указателе NULL

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

Описание

Арифметическая операция с Нулевым указателем происходит, когда арифметическая операция включает указатель, значением которого является NULL.

Риск

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

Фиксация

Проверяйте указатель на NULL перед арифметическими операциями на указателе.

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

Смотрите примеры мер ниже.

Примеры

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

#include<stdlib.h>

int Check_Next_Value(int *loc, int val) 
 {
  int *ptr = loc, found = 0; 
  
  if (ptr==NULL)
   { 
      ptr++; 
      /* Defect: NULL pointer shifted */

      if (*ptr==val) found=1;
   } 
   
  return(found);    
 }

Когда ptr является указателем NULL, код вводит тело оператора if. Поэтому указатель NULL переключен в операторе ptr++.

Исправление — избегает арифметики нулевого указателя

Одно возможное исправление должно выполнить арифметическую операцию, когда ptr не является NULL.

#include<stdlib.h>

int Check_Next_Value(int *loc, int val) 
 {
  int *ptr = loc, found = 0; 
  
  /* Fix: Perform operation when ptr is not NULL */
  if (ptr!=NULL)
   { 
      ptr++;

      if (*ptr==val) found=1;
   }
   
  return(found);    
 }

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

Группа: Статическое ЗУ
Язык: C | C++
Значение по умолчанию: 'off'
Синтаксис командной строки: NULL_PTR_ARITH
Влияние: низко

Смотрите также

|

Темы

Введенный в R2013b

Документация Polyspace Bug Finder
Поддержка