Static code analyzer capable of detecting the heartbleed bug in OpenSSL prior to version 1.0.1g.