Ask HN: Would any code analysis tools have caught have caught heartbleed?