Honestly, I don't think what you're looking for is possible in *any*
statically compiled systems language.

NaCl does feature some code verification.

Reply via email to