Comment by kolinko

Oh nice, and I just published "Show HN" with my symbolic execution decompiler - http://www.eveem.org/

Seems like there will be a big trend with all kinds of symbolic execution tools showing up in the upcoming year :)