List of all items

Structs

• absint::BlockInvariant
• check_duplication::DuplicationChecker
• code_unit_verifier::CodeUnitVerifier
• instantiation_loops::InstantiationLoopChecker
• instruction_consistency::InstructionConsistency
• signature::SignatureChecker
• struct_defs::RecursiveStructDefChecker

Enums

• absint::BlockPostcondition
• absint::JoinResult

Traits

• absint::AbstractDomain
• absint::AbstractInterpreter
• absint::TransferFunctions

Functions

• ability_field_requirements::verify_module
• constants::verify_module
• constants::verify_script
• control_flow::verify
• cyclic_dependencies::verify_module
• dependencies::verify_module
• dependencies::verify_script
• dependencies::verify_script_impl
• friends::verify_module
• script_signature::legacy_script_signature_checks
• script_signature::no_additional_script_signature_checks
• script_signature::verify_module
• script_signature::verify_module_function_signature_by_name
• script_signature::verify_script
• verifier::verify_module
• verifier::verify_script

Typedefs

• absint::InvariantMap
• script_signature::FnCheckScriptSignature