Выделение памяти нулевой длины происходит, когда функция выделения памяти, такая как malloc или calloc принимает аргумент размера (или число элементов), который может содержать нулевое значение.

Согласно стандарту C (C11, Subclause 7.22.3), если от функции выделения памяти запрашивается память нулевого размера, поведение определяется реализацией. В некоторых реализациях функция может возвращать значение NULL, а существующих защитных элементов от NULL может быть достаточно для защиты от выделения нулевой длины. В других случаях функция может возвращать область памяти, доступ к которой невозможен. Попытки отменить привязку этой области приводят к неопределенному поведению.

Проверьте размер для передачи mallocили размер и количество элементов для передачи calloc, для нуля.

#include <stdlib.h>

void  func(unsigned int size) {
    int *list = (int *)malloc(size);
    if (list == NULL) {
      /* Handle allocation error */
    }
    else {
    /* Continue processing list */
    }
}

В этом примере переменная size может содержать нулевое значение, приводящее к выделению памяти нулевой длины.

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

#include <stdlib.h>

void  func(unsigned int size) {
    if(size == 0) {
        /* Handle zero size error */
    }
    else {
        int *list = (int *)malloc(size);
        if (list == NULL) {
          /* Handle allocation error */
        }
        else {
          /* Continue processing list */
        }
    }
}

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

Если размер массива переменной длины равен нулю или отрицателен, может возникнуть непредвиденное поведение, например переполнение стека.

При объявлении массива переменной длины как локальной переменной в функции:

Проверить положительное значение можно перед вызовом функции или объявлением массива в теле функции.

int input(void);

void add_scalar(int n, int m) {
    int r=0;
    int arr[m][n];
    for (int i=0; i<m; i++) {
        for (int j=0; j<n; j++) {
            arr[i][j] = input();
            r += arr[i][j];
        }
    }
}

void main() {
    add_scalar(2,2);
    add_scalar(-1,2);
    add_scalar(2,0);
}

В этом примере второй и третий вызовы add_scalar привести к отрицательному и нулевому размеру arr.

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

Запятнанный размер массива переменной длины определяет массивы переменной длины (VLA), размер которых получен из небезопасного источника.

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

Если размер не является положительным, поведение VLA не определено. Ваша программа работает не так, как ожидалось.

Если размер не ограничен, VLA может привести к истощению памяти или переполнению стека.

Проверьте размер VLA, чтобы убедиться, что он является положительным и меньше максимального значения.

#include<stdio.h>
#inclule<stdlib.h>
#define LIM 40

long squaredSum(int size) {

	int tabvla[size];
	long res = 0;
	for (int i=0 ; i<LIM-1 ; ++i) {
		tabvla[i] = i*i;
		res += tabvla[i];
	}
	return res;
}
int main(){
	int size;
	scanf("%d",&size);
	//...
	long result = squaredSum(size);
	//...
	return 0;
}

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

Одной из возможных корректировок является проверка переменной размера перед созданием массива переменной длины. В этом примере перед созданием VLA проверяется, превышает ли размер 0 и меньше 40.

#include <stdio.h>
#include <stdlib.h>
#define LIM 40

long squaredSum(int size) {
	long res = 0;
	if (size>0 && size<LIM){
		int tabvla[size];
		for (int i=0 ; i<size || i<LIM-1 ; ++i) {
			tabvla[i] = i*i;
			res += tabvla[i];
		}
	}else{
		res = -1;
	}
	return res;
}
int main(){
	int size;
	scanf("%d",&size);
	//...
	long result = squaredSum(size);
	//...
	return 0;
}