Module bytecode_verifier::check_duplication

This module implements a checker for verifying that each vector in a CompiledModule contains distinct values. Successful verification implies that an index in vector can be used to uniquely name the entry at that index. Additionally, the checker also verifies the following:

• struct and field definitions are consistent
• the handles in struct and function definitions point to the self module index
• all struct and function handles pointing to the self module index have a definition

Structs

• DuplicationChecker