Supporting materials for Julian Cohen's 2014 BlackHat talk, Contemporary Automatic Program Analysis.