Survey of program analysis research with a focus on machine code - View it on GitHub