Test it with Flayer
Another google GPLed Software
Flayer is a Valgrind plugin which traces input through a program. http://code.google.com/p/flayer/wiki/GettingStarted
The way that Flayer allows for sanity checks to be identified is perhaps the more interesting point. Flayer uses a dynamic analysis framework to analyze the target application at execution time. Flayer marks, or taints, input to the program and traces that data throughout its lifespan.
Well, I am not going to swallow these words without trying it out myself. Hmm………… I will be back.
