Tag-Protector: An Effective and Dynamic Detection of Illegal Memory Accesses through Compile Time Code Instrumentation

Listing 2

Heap overflow example from one of the BugBench applications.

// buffer is declared as global array of pointers

1: buffer = malloc (MAX_size  sizeof (char ));

2: for (int index = 0; index < count; index ++)

3:     buffer [index] = NULL;//store instruction