In the wake of the security disaster that is the Heartbleed vulnerability, a number of people have asked me if Coverity's static analyzer detects defects like this. It does not yet, but you'd bette...