Method validate_pt_load

kernel/src/ext_t.hpp:214–240

<!-- description --> @brief Validates the provided pt_load segment. <!-- inputs/outputs --> @param phdr the pt_load segment to validate

        ///   @param phdr the pt_load segment to validate
        ///
        static constexpr void
        validate_pt_load(bfelf::elf64_phdr_t const *const phdr) noexcept
        {
            bsl::expects(nullptr != phdr);

            constexpr auto min_vaddr{HYPERVISOR_EXT_CODE_ADDR};
            constexpr auto max_vaddr{(min_vaddr + HYPERVISOR_EXT_CODE_SIZE).checked()};

            bsl::expects((phdr->p_vaddr) >= min_vaddr);
            bsl::expects((phdr->p_vaddr + bsl::to_umx(phdr->p_memsz)).checked() <= max_vaddr);

            if (bsl::safe_u32::magic_0() != (phdr->p_flags & bfelf::PF_W)) {
                bsl::expects(bsl::safe_u32::magic_0() == (phdr->p_flags & bfelf::PF_X));
            }
            else {
                bsl::touch();
            }

            if (bsl::safe_u32::magic_0() != (phdr->p_flags & bfelf::PF_X)) {
                bsl::expects(bsl::safe_u32::magic_0() == (phdr->p_flags & bfelf::PF_W));
            }
            else {
                bsl::touch();
            }

            bsl::expects(phdr->p_align == HYPERVISOR_PAGE_SIZE);
        }

        /// <!-- description -->
        ///   @brief Validates the provided pt_gnu_stack segment.