Hacker News new | ask | show | jobs
by wololo 4613 days ago
http://bugchecker.net/

It's cool because: we analyze paths taken in binaries to find bugs.