Code for my blog post on using S2E for malware analysis - View it on GitHub