Existential Type Crisis : Diagnosis Of The OpenSSL Heartbleed Bug _VERIFIED_