it does, you can do this with mcsema today, with some restrictions. i.e. if there are stack variables, it won't reach a fixed point because loads and stores wil

it does, you can do this with mcsema today, with some restrictions. i.e. if there are stack variables, it won't reach a fixed point because loads and stores will blow up the size due to a stupid architectural decision. but if everything is in registers, you'll reach a fixed point.