Средства и методы разработки

Пытаюсь начать отлаживать кусочки программы для м/к на ПК, с симуляцией. Хочу добавить контроль выхода за границы буфера и ни как не придумаю как это лучше сделать. Программа для м/к на С (таков компилятор), программа на ПК на С++. Программа для ПК состоит из файлов для м/к, без изменений, плюс что-то еще. Пока получается так: 

Программы для м/к

f1.h

extern int buf[64];
void foo1(int *ptr); // ptr указывает на участок в buf

f1.c

int buf[64];
void foo1(int *ptr) { int a; *ptr++=1; *ptr=2; ptr[3]=3; a=ptr[4]; }

Надо сделать так, что бы в foo1, и аналогичных местах, в программе ПК, проверялось что указатель не выходит за границы buf. При компиляции для м/к проверок не нужно. Ни чего красивого не приходит в голову, хотя задача кажется распространенной. Может кто-то знает примеры решения подобной задачи?