Exponenta Banner
exponenta event banner

Non-initialized local variable

Локальная переменная не инициализирована перед чтением

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

Описание

Эта проверка выполняется для каждой считанной локальной переменной. Это определяет, инициализирована ли считываемая переменная.

Примеры

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

#include <stdio.h>
    
void main(void) {
   int sum;
   for(int i=1;i <= 10; i++)
      sum+=i;
   printf("The sum of the first 10 natural numbers is %d.", sum);
 }

Оператор sum+=i; - сокращённое обозначение для sum=sum+i;. Потому что sum используется в правой части выражения перед инициализацией, проверка Non-initialized local variable возвращает красную ошибку.

Коррекция - Инициализируйте переменную перед использованием на правой стороне назначения

Одной из возможных коррекций является инициализация sum перед for цикл.

#include <stdio.h>
    
void main(void) {
   int sum=0;
   for(int i=1;i <= 10; i++)
      sum+=i;
   printf("The sum of the first 10 natural numbers is %d.", sum);
 }
#include <stdio.h>
    
int getTerm();
    
void main(void) {
    int count,sum=0,term;
    
    while( count <= 10  && sum <1000) {
       count++;
       term = getTerm();
       if(term > 0 && term <= 1000) sum += term;
      }
    
    printf("The sum of 10 terms is %d.", sum);
 }

В этом примере переменная count не инициализирован перед сравнением count <= 10. Поэтому проверка Non-initialized local variable возвращает красную ошибку.

Коррекция - Инициализируйте переменную перед использованием с реляционным оператором

Одной из возможных коррекций является инициализация count перед сравнением count <= 10.

#include <stdio.h>
    
int getTerm();
    
void main(void) {
    int count=1,sum=0,term;
    
    while( count <= 10  && sum <1000) {
       count++;
       term = getTerm();
       if(term > 0 && term <= 1000) sum+= term;
      }
    
    printf("The sum of 10 terms is %d.", sum);
 }
#include <stdio.h>

int getShift();
int shift(int var) {
    int shiftVal = getShift();
    if(shiftVal > 0 && shiftVal < 1000)
        return(var+shiftVal);
    return 1000;
}
    
void main(void) {
    int initVal;
    printf("The result of a shift is %d",shift(initVal));
}

В этом примере initVal не инициализирован, когда передан в shift(). Поэтому проверка Non-initialized local variable возвращает красную ошибку. Из-за красной ошибки Polyspace® не проверяет операции в shift().

Коррекция - Инициализируйте переменную перед передачей в функцию

Одной из возможных коррекций является инициализация initVal перед передачей в shift(). initVal может быть инициализирована с помощью функции входа. Чтобы избежать переполнения, значение, возвращенное из функции входа, должно находиться в границах.

#include <stdio.h>

int getShift();
int getInit();
int shift(int var) {
    int shiftVal = getShift();
    if(shiftVal > 0 && shiftVal < 1000)
        return(var+shiftVal);
    return 1000;
}
    
void main(void) {
   int initVal=getInit();
   if(initVal >0 && initVal < 1000)
     printf("The result of a shift is %d",shift(initVal));
   else
     printf("Value must be between 0 and 1000.");
 }

#include <stdio.h>
#define arrSize 19
 
void main(void)
{
  int arr[arrSize],indexFront, indexBack;
  for(indexFront = 0,indexBack = arrSize - 1; 
    indexFront < arrSize/2; 
    indexFront++, indexBack--) {
    arr[indexFront] = indexFront;
    arr[indexBack] = arrSize - indexBack - 1;
  }
  printf("The array elements are: \n");
  for(indexFront = 0; indexFront < arrSize; indexFront++)
    printf("Element[%d]: %d", indexFront, arr[indexFront]);
 }

В этом примере, в первом for цикл:

  • indexFront работает от 0 до 8.

  • indexBack работает от 18 до 10.

Поэтому arr[9] не инициализирован. Во втором for цикл, когда arr[9] передается в printfпроверка Non-initialized local variable возвращает ошибку. Ошибка оранжевого цвета, поскольку проверка возвращает ошибку только в одном из запусков.

Из-за оранжевой ошибки в одном из запусков, на втором for появляется ошибка красного Non-terminating loop цикл.

Коррекция - Инициализируйте переменную перед передачей в функцию

Одной из возможных коррекций является сохранение первого for цикл неповрежден и инициализируется arr[9] вне for цикл.

#include <stdio.h>
#define arrSize 19
 
void main(void)
{
  int arr[arrSize],indexFront, indexBack;
  for(indexFront = 0,indexBack = arrSize - 1;
    indexFront < arrSize/2; 
    indexFront++, indexBack--) {
    arr[indexFront] = indexFront;
    arr[indexBack] = arrSize - indexBack - 1;
  }
  arr[indexFront] = indexFront;
  printf("The array elements are: \n");
  for(indexFront = 0; indexFront < arrSize; indexFront++)
    printf("Element[%d]: %d", indexFront, arr[indexFront]);
}
typedef struct S { 
   int integerField; 
   char characterField;
}S;

void operateOnStructure(S);
void operateOnStructureField(int);

void main() {
  S myStruct;
  operateOnStructure(myStruct);
  operateOnStructureField(myStruct.integerField);
}

В этом примере структура myStruct не инициализирован. Поэтому, когда структура myStruct передается в функцию operateOnStructureпроверка Non-initialized local variable структуры выглядит красной.

Коррекция - Инициализация структуры

Одной из возможных коррекций является инициализация структуры myStruct перед передачей его в функцию.

typedef struct S { 
   int integerField; 
   char characterField;
}S;

void operateOnStructure(S);
void operateOnStructureField(int);

void main() {
  S myStruct = {0,' '};
  operateOnStructure(myStruct);
  operateOnStructureField(myStruct.integerField);
}
typedef struct S { 
   int integerField; 
   char characterField;
   double doubleField;
}S;

int getIntegerField(void);
char getCharacterField(void);

void printIntegerField(int);
void printCharacterField(char);

void printFields(S s) {
 printIntegerField(s.integerField);
 printCharacterField(s.characterField);
}

void main() {
  S myStruct;
  
  myStruct.integerField = getIntegerField();
  myStruct.characterField = getCharacterField();
  printFields(myStruct);
}

В этом примере проверка Non-initialized local variable на myStruct зеленый, потому что:

  • Поля integerField и characterField которые используются, оба являются инициализированными.

  • Хотя поле doubleField не инициализирован, на поле отсутствует операция чтения или записи doubleField в коде.

Чтобы определить, какие поля проверяются для инициализации:

  1. Установите флажок на панели Results List или Source панели.

  2. Просмотрите сообщение на панели Result Details.

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

typedef struct S { 
   int integerField; 
   char characterField;
   double doubleField;
}S;

int getIntegerField(void);
char getCharacterField(void);

void printIntegerField(int);
void printCharacterField(char);
void printDoubleField(double);

void printFields(S s) {
 printIntegerField(s.integerField);
 printCharacterField(s.characterField);
 printDoubleField(s.doubleField);
}

void main() {
  S myStruct;
  
  myStruct.integerField = getIntegerField();
  myStruct.characterField = getCharacterField();
  printFields(myStruct);
}

В этом примере проверка Non-initialized local variable на myStruct оранжевый, потому что:

  • Поля integerField и characterField которые используются, оба являются инициализированными.

  • Полевые doubleField не инициализирован и существует операция чтения на doubleField в коде.

Чтобы определить, какие поля проверяются для инициализации:

  1. Установите флажок на панели Results List или Source панели.

  2. Просмотрите сообщение на панели Result Details.

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

Группа: Поток данных
Язык: C | C++
Акроним: NIVL

См. также

| |

Темы

Документация Polyspace Code Prover

Поддержка