B bugchecker.net Bugchecker.net – finds bugs in your binaries (symbolic execution) 33 points wololo 13 years ago 15 comments