Plattform and compiler indipendent tool for Buffer Overflow detection during run-time for:
static arrays index
int x[10];
x[11] = 3;
static multidimensional arrays index
int y[10][10][10];
y[11][-1][10] = 3;
arrays inside structs index
test.b[-2][3] = 7;
null pointers
p = NULL;
*p = 1;