Post #1673839
2026-03-28 11:38 UTC
@danzin Thanks you for reporting us high quality issues! What I really liked with your reports were the "confidence" and "classification" columns. To take an example, it reported the following:
> Secrets not zeroed classification=CONSIDER confidence=MEDIUM
Which indeed is indeed something that is lacking from both pyhacl and HACL*. We are gonna discuss it with the people at HACL* :)
Replies (1)
-
@danzin@mastodon.social 2026-03-28 11:44
@drlazor8 Thank you for your kind words, working with you has been a real pleasure! The tool has been evolving since I created the pyhacl report, I'll soon do a follow up review to see if the new features catch anything else interesting. And please let me know if you have other C extensions you'd like reviewed :)