2Bugchecker.net – finds bugs in your binaries (symbolic execution) (opens in new tab)(bugchecker.net)33wololo12y ago15