Vx32: portable, efficient, safe execution of untrusted x86 code