List of all items

Structs

• app::domain::program_verification::SmartContractVerification
• app::domain::program_verification::VerificationTarget
• app::domain::value_object::Flags
• app::domain::value_object::Source
• app::domain::value_object::Step
• app::domain::value_object::StepInVerificationPlan
• app::domain::value_object::VerificationStepsCollection
• app::domain::verification_runtime::VerificationRuntime
• infra::verification_runtime::docker::DockerContainerAPIClient

Traits

• app::domain::program_verification::ProgramVerification
• app::domain::verification_runtime::ContainerAPIClient
• app::domain::verification_runtime::VerificationStepRunner

Functions

• app::command::run_verify_program_subcommand
• app::command::verify_program::run_verify_program_subcommand
• app::command::verify_program::verify_program_subcommand
• app::command::verify_program_subcommand
• app::controller::source::save_source
• app::controller::verification_step::get_step_progress
• app::controller::verification_step::get_step_report
• app::controller::verification_step::get_steps
• app::controller::verification_step::start_running_step
• app::controller::verification_step::stop_running_step
• app::domain::manifest::make_manifest
• app::middleware::logger::log_handler
• app::middleware::logger::setup
• app::router::new_router
• infra::base64_decoder::decode
• infra::display::output::eprint
• infra::display::output::print
• infra::file_system::ensure_directory_exists
• infra::file_system::get_uploaded_source_directory
• infra::file_system::guard_against_missing_source
• infra::file_system::save_content_in_file_system
• infra::program_verification::change_case
• infra::program_verification::which_step
• infra::scaffold::format_directory_path_to_scaffold
• infra::scaffold::format_project_name
• infra::scaffold::scaffold_library
• infra::scaffold::scaffold_project
• infra::serializer::deserialize_flags
• infra::serializer::deserialize_source
• infra::signal_handling::handle_shutdown_signal
• infra::sigpipe::reset_signal_pipe_handler
• infra::verification_runtime::docker::container::container_exists
• infra::verification_runtime::docker::container::inspect_container_status
• infra::verification_runtime::docker::container::program_fuzzing_cmd_provider
• infra::verification_runtime::docker::container::program_verification_cmd_provider
• infra::verification_runtime::docker::container::remove_existing_container
• infra::verification_runtime::docker::container::source_code_restoration_cmd_provider
• infra::verification_runtime::docker::container::start_container
• infra::verification_runtime::docker::container::stop_container
• infra::verification_runtime::docker::container::tail_container_logs
• infra::verification_runtime::docker::container::uploaded_sources_listing_cmd_provider

Type Aliases

• app::domain::value_object::FlagsProvider
• app::domain::value_object::StepProvider

Statics

• infra::file_system::BASE64_ENCODED_SOURCE_EXTENSION
• infra::verification_runtime::docker::container::TARGET_RVT_DIRECTORY

Constants

• app::command::SUBCOMMAND_NAME_VERIFY_PROGRAM
• app::command::verify_program::ARGUMENT_SOURCE
• app::command::verify_program::OPTION_WITH_FUZZING
• app::command::verify_program::SUBCOMMAND_NAME_VERIFY_PROGRAM
• infra::PROGRAM_FUZZING
• infra::PROGRAM_VERIFICATION
• infra::SOURCE_RESTORATION
• infra::UPLOADED_SOURCES_LISTING