RockSalt: better, faster, stronger SFI for the x86
A verified compiler for an impure functional language