Honestly, I don't think what you're looking for is possible in *any*statically compiled systems language.
NaCl does feature some code verification.
Honestly, I don't think what you're looking for is possible in *any*statically compiled systems language.
NaCl does feature some code verification.