Automated Bug-finding in LibOTRblog.trailofbits.com10 points·withzombies··1 commentOpen articleSaveView on HN