4 ms·REMath: Survey of program analysis research with a focus on machine code2 points by mpiedrav 7y ago