This article describing what McSema does is itself worth two or three submissions. It’s in OP as a link. I’m just highlighting it.