Thanks for your answer.
In this few days I’ve found a tool that does what I was looking for.
I downloaded it from http://www.bugfighter-soft.com
It can detect all buffer overflow in single and multidimensional arrays and it doesn’t care about platform or compiler.
This picture shows you how it works: http://www.bugfighter-soft.com/images/BugFighter.jpg
It seems to work well, but I want to know your opinion.