V5.4.3 Memory, String, and Unmanaged Code

Requirement:

Verify that sign, range, and input validation techniques are used to prevent integer overflows.

Explanation:

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

Remediation:

Чтобы предотвратить целочисленное переполнение, важно проверять входные данные, выполнять проверки диапазона и реализовывать надлежащие проверки знаков.

Пример реализации на С:

#include <stdio.h>

#include <limits.h>

int add(int a, int b) {

int result;

if (a > INT_MAX - b) {

printf("Error: Overflow detected\n");

return INT_MAX;

}

result = a + b;

return result;

}

int main() {

int a, b, c;

printf("Enter two numbers: ");

scanf("%d %d", &a, &b);

c = add(a, b);

printf("The sum of %d and %d is %d\n", a, b, c);

return 0;

}

В этом примере функция добавления проверяет, находится ли сумма a и b в пределах диапазона INT_MAX, который является максимальным значением, которое может быть сохранено в типе данных int. Если сумма превышает INT_MAX, функция возвращает сообщение об ошибке и возвращает INT_MAX. Это помогает предотвратить целочисленное переполнение и обеспечить целостность данных.

Additional: