[userbinator]

I'm pretty sure the bugs I found would not have been valgrind-able as they were unrelated to memory errors.

[ycmbntrthrwaway]

From my experience most of the hard to trace errors come from uninitialized variables and they are usually valgrindable. It is VM-based so it can cache jumps and other conditions that depend one uninitialized vars via taint analysis.