Function bytecode_verifier::verifier::verify_module

pub fn verify_module(module: &CompiledModule) -> VMResult<()>

Helper for a “canonical” verification of a module.

Clients that rely on verification should call the proper passes internally rather than using this function.

This function is intended to provide a verification path for clients that do not require full control over verification. It is advised to call this umbrella function instead of each individual checkers to minimize the code locations that need to be updated should a new checker is introduced.