This is not a "verify my code" kind of product, it takes real human work from experts in software verification but makes it possible for those experts to work on larger codebases.

So this wouldn't prove as much as you think. Especially since both tge experts and the LLMs behind this are well aware of Hearbleed - so them finding Hearbleed wouldn't tell you anything, really.