Blog about the development of a static code analyzer capable of detecting the heartbleed bug in OpenSSL prior to version 1.0.1g.