verifying the c program

Hello,

I have a question concerns verification of C program in Embedded System, I wrote a C program with memory resource being shard between two interrupt handler (a kind if preemtive processing), but I am getting some problem in the implementation....following the error is very hard to by analyzed, so does someone know how to verify C program, and knows how it is working (its lfow control)?

All thanks
Ahmad

lightofspace