On detecting Heartbleed with static analysis | Hacker News Reader