[−][src]Module solana_libra_bytecode_verifier::type_memory_safety
This module defines the transfer functions for verifying type and memory safety of a procedure body.
Structs
TypeAndMemorySafetyAnalysis |
This module defines the transfer functions for verifying type and memory safety of a procedure body.
TypeAndMemorySafetyAnalysis |