Module solana_libra_bytecode_verifier::struct_defs

This module provides a checker for verifing that struct definitions in a module are not recursive. Since the module dependency graph is acylic by construction, applying this checker to each module in isolation guarantees that there is no structural recursion globally.

Structs

RecursiveStructDefChecker
StructDefGraphBuilder	Given a module, build a graph of struct definitions. This is useful when figuring out whether the struct definitions in module form a cycle.