Automated Bug-finding in LibOTR (blog.trailofbits.com)

10 points by withzombies 10y ago ↗ HN

1 comment

[ 156 ms ] story [ 1478 ms ] thread

chris_wot 10y ago ↗

Is this an open sourced tool?

A showcase of shard-db. Data from the Hacker News API. Refreshed every 15 minutes.

Source · Live DB stats