Пишу stati c checker для clang. Есть ли способ проверить, изменилась ли часть массива после его инициализации?

Question

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

Например:

int* x = (int*) malloc(10*sizeof(int))
x[3] = 5
x[7] = 10

Это должно вернуть [3 , 7]