4 ms·Automated Bug-finding in LibOTR10 points by withzombies 11y agochris_wot 11y agoIs this an open sourced tool?