[−] List of all items
Structs
- absint::BlockInvariant
- abstract_state::AbstractState
- acquires_list_verifier::AcquiresVerifier
- check_duplication::DuplicationChecker
- code_unit_verifier::CodeUnitVerifier
- control_flow_graph::VMControlFlowGraph
- instantiation_loops::InstantiationLoopChecker
- nonce::Nonce
- partition::Partition
- resources::ResourceTransitiveChecker
- signature::SignatureChecker
- stack_usage_verifier::StackUsageVerifier
- struct_defs::RecursiveStructDefChecker
- struct_defs::StructDefGraphBuilder
- type_memory_safety::TypeAndMemorySafetyAnalysis
- unused_entries::UnusedEntryChecker
- verifier::VerifiedModule
- verifier::VerifiedProgram
- verifier::VerifiedScript
Enums
Traits
- absint::AbstractDomain
- absint::AbstractInterpreter
- absint::TransferFunctions
- control_flow_graph::ControlFlowGraph
Functions
- verifier::verify_main_signature
- verifier::verify_module_dependencies
- verifier::verify_script_dependencies