Module security

Source

Functionsยง

verify_secure_runner
Verify that the completed run in a runner is safe to be relocated and be used by other Cairo programs.