Module solana_libra_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 IMPLEMENTED_MODULE_INDEX
• all struct and function handles pointing to IMPLEMENTED_MODULE_INDEX have a definition

Structs

DuplicationChecker