Method validate

kernel/src/ext_t.hpp:275–315

<!-- description --> @brief Validates the provided ELF file. <!-- inputs/outputs --> @param file the elf file to validate

        ///   @param file the elf file to validate
        ///
        static constexpr void
        validate(loader::ext_elf_file_t const *const file) noexcept
        {
            /// NOTE:
            /// - The point of this function is to provide some sanity checks
            ///   in debug mode which is why everything uses bsl::expects.
            ///   None of these are needed in a release build because it
            ///   will have gone through testing to ensure they all pass.
            /// - Removing this logic in a release build helps to keep the
            ///   binary size smaller.
            ///

            bsl::expects(nullptr != file);
            validate_elf64_ehdr(file);

            auto const phdrtab{get_phdrtab(file)};
            for (bsl::safe_idx mut_i{}; mut_i < phdrtab.size(); ++mut_i) {
                auto const *const phdr{phdrtab.at_if(mut_i)};

                switch (phdr->p_type) {
                    case bfelf::PT_LOAD.get(): {
                        validate_pt_load(phdr);
                        break;
                    }

                    case bfelf::PT_GNU_STACK.get(): {
                        validate_pt_gnu_stack(phdr);
                        break;
                    }

                    case bfelf::PT_TLS.get(): {
                        validate_pt_tls(phdr);
                        break;
                    }

                    default: {
                        break;
                    }
                }
            }
        }

        /// <!-- description -->
        ///   @brief Allocate the a page of RW or RW memory for the segment