Collection of program analysis research with a focus on machine codegithub.com/REMath1 pointdeanstag11 years ago