From b78c20f4a3527888da68254863c47f9e0a0a868e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Alexander=20Mei=C3=9Fner?= Date: Fri, 15 Nov 2024 22:09:46 +0100 Subject: [PATCH] Feature - Strict ELF parser (#624) * Moves ELF header parsing from load() to load_with_parser(). * Reorders UnsupportedSBPFVersion to be directly checked behind the header OutOfBounds. * Splits out Executable::load_with_lenient_parser(). * Adds Executable::load_with_strict_parser(). * Adds new linker script and test ELF. * Adds tests. --- src/elf.rs | 390 ++++++++++++++++++++++++- src/elf_parser/mod.rs | 2 +- src/program.rs | 9 +- tests/elfs/elf.ld | 45 +-- tests/elfs/elf_sbpfv1.ld | 26 ++ tests/elfs/elfs.sh | 9 +- tests/elfs/program_headers_overflow.so | Bin 5408 -> 5408 bytes tests/elfs/strict_header.rs | 21 ++ tests/elfs/strict_header.so | Bin 0 -> 13816 bytes tests/execution.rs | 11 + 10 files changed, 471 insertions(+), 42 deletions(-) create mode 100644 tests/elfs/elf_sbpfv1.ld create mode 100644 tests/elfs/strict_header.rs create mode 100644 tests/elfs/strict_header.so diff --git a/src/elf.rs b/src/elf.rs index eea9b19d..5a347076 100644 --- a/src/elf.rs +++ b/src/elf.rs @@ -370,27 +370,254 @@ impl Executable { }) } - /// Fully loads an ELF, including validation and relocation + /// Fully loads an ELF pub fn load(bytes: &[u8], loader: Arc>) -> Result { - // The new parser creates references from the input byte slice, so - // it must be properly aligned. We assume that HOST_ALIGN is a - // multiple of the ELF "natural" alignment. See test_load_unaligned. - let aligned; - let bytes = if is_memory_aligned(bytes.as_ptr() as usize, HOST_ALIGN) { + const E_FLAGS_OFFSET: usize = 48; + let e_flags = LittleEndian::read_u32( bytes + .get(E_FLAGS_OFFSET..E_FLAGS_OFFSET.saturating_add(std::mem::size_of::())) + .ok_or(ElfParserError::OutOfBounds)?, + ); + let config = loader.get_config(); + let sbpf_version = if config.enabled_sbpf_versions.end() == &SBPFVersion::V1 { + if e_flags == EF_SBPF_V2 { + SBPFVersion::V2 + } else { + SBPFVersion::V1 + } + } else { + match e_flags { + 0 => SBPFVersion::V1, + EF_SBPF_V2 => SBPFVersion::V2, + _ => SBPFVersion::Reserved, + } + }; + if !config.enabled_sbpf_versions.contains(&sbpf_version) { + return Err(ElfError::UnsupportedSBPFVersion); + } + + let mut executable = if sbpf_version.enable_stricter_elf_headers() { + Self::load_with_strict_parser(bytes, loader)? } else { - aligned = AlignedMemory::<{ HOST_ALIGN }>::from_slice(bytes); - aligned.as_slice() + Self::load_with_lenient_parser(bytes, loader)? }; - Self::load_with_parser(&Elf64::parse(bytes)?, bytes, loader) + executable.sbpf_version = sbpf_version; + Ok(executable) } - fn load_with_parser( - elf: &Elf64, + /// Loads an ELF without relocation + fn load_with_strict_parser( + bytes: &[u8], + loader: Arc>, + ) -> Result { + use crate::elf_parser::{ + consts::{ + ELFMAG, EV_CURRENT, PF_R, PF_W, PF_X, PT_GNU_STACK, PT_LOAD, PT_NULL, SHN_UNDEF, + STT_FUNC, + }, + types::{Elf64Ehdr, Elf64Shdr, Elf64Sym}, + }; + + let aligned_memory = AlignedMemory::<{ HOST_ALIGN }>::from_slice(bytes); + let elf_bytes = aligned_memory.as_slice(); + + let (file_header_range, file_header) = Elf64::parse_file_header(elf_bytes)?; + let program_header_table_range = mem::size_of::() + ..mem::size_of::() + .saturating_mul(file_header.e_phnum as usize) + .saturating_add(mem::size_of::()); + if file_header.e_ident.ei_mag != ELFMAG + || file_header.e_ident.ei_class != ELFCLASS64 + || file_header.e_ident.ei_data != ELFDATA2LSB + || file_header.e_ident.ei_version != EV_CURRENT as u8 + || file_header.e_ident.ei_osabi != ELFOSABI_NONE + || file_header.e_ident.ei_abiversion != 0x00 + || file_header.e_ident.ei_pad != [0x00; 7] + || file_header.e_type != ET_DYN + || file_header.e_machine != EM_SBPF + || file_header.e_version != EV_CURRENT + // file_header.e_entry + || file_header.e_phoff != mem::size_of::() as u64 + // file_header.e_shoff + // file_header.e_flags + || file_header.e_ehsize != mem::size_of::() as u16 + || file_header.e_phentsize != mem::size_of::() as u16 + || file_header.e_phnum < EXPECTED_PROGRAM_HEADERS.len() as u16 + || program_header_table_range.end >= elf_bytes.len() + || file_header.e_shentsize != mem::size_of::() as u16 + // file_header.e_shnum + || file_header.e_shstrndx >= file_header.e_shnum + { + return Err(ElfParserError::InvalidFileHeader); + } + + const EXPECTED_PROGRAM_HEADERS: [(u32, u32, u64); 5] = [ + (PT_LOAD, PF_X, ebpf::MM_BYTECODE_START), // byte code + (PT_LOAD, PF_R, ebpf::MM_RODATA_START), // read only data + (PT_GNU_STACK, PF_R | PF_W, ebpf::MM_STACK_START), // stack + (PT_LOAD, PF_R | PF_W, ebpf::MM_HEAP_START), // heap + (PT_NULL, 0, 0xFFFFFFFF00000000), // dynamic symbol table + ]; + let program_header_table = + Elf64::slice_from_bytes::(elf_bytes, program_header_table_range.clone())?; + for (program_header, (p_type, p_flags, p_vaddr)) in program_header_table + .iter() + .zip(EXPECTED_PROGRAM_HEADERS.iter()) + { + let p_filesz = if (*p_flags & PF_W) != 0 { + 0 + } else { + program_header.p_memsz + }; + if program_header.p_type != *p_type + || program_header.p_flags != *p_flags + || program_header.p_offset < program_header_table_range.end as u64 + || program_header.p_offset >= elf_bytes.len() as u64 + || program_header.p_offset.checked_rem(ebpf::INSN_SIZE as u64) != Some(0) + || program_header.p_vaddr != *p_vaddr + || program_header.p_paddr != *p_vaddr + || program_header.p_filesz != p_filesz + || program_header.p_filesz + > (elf_bytes.len() as u64).saturating_sub(program_header.p_offset) + || program_header.p_memsz >= ebpf::MM_REGION_SIZE + { + return Err(ElfParserError::InvalidProgramHeader); + } + } + + let config = loader.get_config(); + let symbol_names_section_header = if config.enable_symbol_and_section_labels { + let (_section_header_table_range, section_header_table) = + Elf64::parse_section_header_table( + elf_bytes, + file_header_range.clone(), + file_header, + program_header_table_range.clone(), + )?; + let section_names_section_header = (file_header.e_shstrndx != SHN_UNDEF) + .then(|| { + section_header_table + .get(file_header.e_shstrndx as usize) + .ok_or(ElfParserError::OutOfBounds) + }) + .transpose()? + .ok_or(ElfParserError::NoSectionNameStringTable)?; + let mut symbol_names_section_header = None; + for section_header in section_header_table.iter() { + let section_name = Elf64::get_string_in_section( + elf_bytes, + section_names_section_header, + section_header.sh_name, + 64, + )?; + if section_name == b".dynstr" { + symbol_names_section_header = Some(section_header); + } + } + symbol_names_section_header + } else { + None + }; + let bytecode_header = &program_header_table[0]; + let rodata_header = &program_header_table[1]; + let dynamic_symbol_table: &[Elf64Sym] = + Elf64::slice_from_program_header(elf_bytes, &program_header_table[4])?; + let mut function_registry = FunctionRegistry::::default(); + let mut expected_symbol_address = bytecode_header.p_vaddr; + for symbol in dynamic_symbol_table { + if symbol.st_info & STT_FUNC == 0 { + continue; + } + if symbol.st_value != expected_symbol_address { + return Err(ElfParserError::OutOfBounds); + } + if symbol.st_size == 0 || symbol.st_size.checked_rem(ebpf::INSN_SIZE as u64) != Some(0) + { + return Err(ElfParserError::InvalidSize); + } + if symbol.st_size + > bytecode_header + .vm_range() + .end + .saturating_sub(symbol.st_value) + { + return Err(ElfParserError::OutOfBounds); + } + let target_pc = symbol + .st_value + .saturating_sub(bytecode_header.p_vaddr) + .checked_div(ebpf::INSN_SIZE as u64) + .unwrap_or_default() as usize; + let name = if config.enable_symbol_and_section_labels { + Elf64::get_string_in_section( + elf_bytes, + symbol_names_section_header + .as_ref() + .ok_or(ElfParserError::NoStringTable)?, + symbol.st_name as Elf64Word, + u8::MAX as usize, + )? + } else { + &[] + }; + function_registry + .register_function(target_pc as u32, name, target_pc) + .unwrap(); + expected_symbol_address = symbol.st_value.saturating_add(symbol.st_size); + } + if expected_symbol_address != bytecode_header.vm_range().end { + return Err(ElfParserError::OutOfBounds); + } + if !bytecode_header.vm_range().contains(&file_header.e_entry) + || file_header.e_entry.checked_rem(ebpf::INSN_SIZE as u64) != Some(0) + { + return Err(ElfParserError::InvalidFileHeader); + } + let entry_pc = file_header + .e_entry + .saturating_sub(bytecode_header.p_vaddr) + .checked_div(ebpf::INSN_SIZE as u64) + .unwrap_or_default() as usize; + if function_registry.lookup_by_key(entry_pc as u32).is_none() { + return Err(ElfParserError::InvalidFileHeader); + } + + let text_section_vaddr = bytecode_header.p_vaddr; + let text_section_range = bytecode_header.file_range().unwrap_or_default(); + let ro_section = Section::Borrowed( + rodata_header.p_vaddr as usize, + rodata_header.file_range().unwrap_or_default(), + ); + Ok(Self { + elf_bytes: aligned_memory, + sbpf_version: SBPFVersion::Reserved, // Is set in Self::load() + ro_section, + text_section_vaddr, + text_section_range, + entry_pc, + function_registry, + loader, + #[cfg(all(feature = "jit", not(target_os = "windows"), target_arch = "x86_64"))] + compiled_program: None, + }) + } + + /// Loads an ELF with relocation + fn load_with_lenient_parser( bytes: &[u8], loader: Arc>, ) -> Result { - let mut elf_bytes = AlignedMemory::from_slice(bytes); + // We always need one memory copy to take ownership and for relocations + let aligned_memory = AlignedMemory::<{ HOST_ALIGN }>::from_slice(bytes); + let (mut elf_bytes, unrelocated_elf_bytes) = + if is_memory_aligned(bytes.as_ptr() as usize, HOST_ALIGN) { + (aligned_memory, bytes) + } else { + // We might need another memory copy to ensure alignment + (aligned_memory.clone(), aligned_memory.as_slice()) + }; + let elf = Elf64::parse(unrelocated_elf_bytes)?; + let config = loader.get_config(); let header = elf.file_header(); let sbpf_version = if header.e_flags == EF_SBPF_V2 { @@ -399,10 +626,10 @@ impl Executable { SBPFVersion::V1 }; - Self::validate(config, elf, elf_bytes.as_slice())?; + Self::validate(config, &elf, elf_bytes.as_slice())?; // calculate the text section info - let text_section = get_section(elf, b".text")?; + let text_section = get_section(&elf, b".text")?; let text_section_vaddr = if sbpf_version.enable_elf_vaddr() && text_section.sh_addr >= ebpf::MM_RODATA_START { text_section.sh_addr @@ -427,7 +654,7 @@ impl Executable { Self::relocate( &mut function_registry, &loader, - elf, + &elf, elf_bytes.as_slice_mut(), )?; @@ -1154,7 +1381,7 @@ mod test { elf_parser::{ // FIXME consts::{ELFCLASS32, ELFDATA2MSB, ET_REL}, consts::{ELFCLASS32, ELFDATA2MSB, ET_REL}, - types::{Elf64Ehdr, Elf64Shdr}, + types::{Elf64Ehdr, Elf64Shdr, Elf64Sym}, SECTION_NAME_LENGTH_MAXIMUM, }, error::ProgramResult, @@ -1183,6 +1410,137 @@ mod test { )) } + #[test] + fn test_strict_header() { + let elf_bytes = + std::fs::read("tests/elfs/strict_header.so").expect("failed to read elf file"); + let loader = loader(); + + // Check that the unmodified file can be parsed + { + let loader = Arc::new(BuiltinProgram::new_loader( + Config { + enable_symbol_and_section_labels: true, + ..Config::default() + }, + FunctionRegistry::>::default(), + )); + let executable = ElfExecutable::load(&elf_bytes, loader.clone()).unwrap(); + let (name, _pc) = executable.get_function_registry().lookup_by_key(4).unwrap(); + assert_eq!(name, b"entrypoint"); + } + + // Check that using a reserved SBPF version fails + { + let mut elf_bytes = elf_bytes.clone(); + elf_bytes[0x0030] = 0xFF; + let err = ElfExecutable::load(&elf_bytes, loader.clone()).unwrap_err(); + assert_eq!(err, ElfError::UnsupportedSBPFVersion); + } + + // Check that an empty file fails + let err = ElfExecutable::load_with_strict_parser(&[], loader.clone()).unwrap_err(); + assert_eq!(err, ElfParserError::OutOfBounds); + + // Break the file header one byte at a time + let expected_results = std::iter::repeat(&Err(ElfParserError::InvalidFileHeader)) + .take(40) + .chain(std::iter::repeat(&Ok(())).take(12)) + .chain(std::iter::repeat(&Err(ElfParserError::InvalidFileHeader)).take(4)) + .chain(std::iter::repeat(&Err(ElfParserError::InvalidProgramHeader)).take(1)) + .chain(std::iter::repeat(&Err(ElfParserError::InvalidFileHeader)).take(3)) + .chain(std::iter::repeat(&Ok(())).take(2)) + .chain(std::iter::repeat(&Err(ElfParserError::InvalidFileHeader)).take(2)); + for (offset, expected) in (0..std::mem::size_of::()).zip(expected_results) { + let mut elf_bytes = elf_bytes.clone(); + elf_bytes[offset] = 0xAF; + let result = + ElfExecutable::load_with_strict_parser(&elf_bytes, loader.clone()).map(|_| ()); + assert_eq!(&result, expected); + } + + // Break the program header table one byte at a time + let expected_results_readonly = + std::iter::repeat(&Err(ElfParserError::InvalidProgramHeader)) + .take(48) + .chain(std::iter::repeat(&Ok(())).take(8)) + .collect::>(); + let expected_results_writable = + std::iter::repeat(&Err(ElfParserError::InvalidProgramHeader)) + .take(40) + .chain(std::iter::repeat(&Ok(())).take(4)) + .chain(std::iter::repeat(&Err(ElfParserError::InvalidProgramHeader)).take(4)) + .chain(std::iter::repeat(&Ok(())).take(8)) + .collect::>(); + let expected_results = vec![ + expected_results_readonly.iter(), + expected_results_readonly.iter(), + expected_results_writable.iter(), + expected_results_writable.iter(), + expected_results_readonly.iter(), + ]; + for (header_index, expected_results) in expected_results.into_iter().enumerate() { + for (offset, expected) in (std::mem::size_of::() + + std::mem::size_of::() * header_index + ..std::mem::size_of::() + + std::mem::size_of::() * (header_index + 1)) + .zip(expected_results) + { + let mut elf_bytes = elf_bytes.clone(); + elf_bytes[offset] = 0xAF; + let result = + ElfExecutable::load_with_strict_parser(&elf_bytes, loader.clone()).map(|_| ()); + assert_eq!(&&result, expected); + } + } + + // Break the dynamic symbol table one byte at a time + for index in 1..3 { + let expected_results = std::iter::repeat(&Ok(())) + .take(8) + .chain(std::iter::repeat(&Err(ElfParserError::OutOfBounds)).take(8)) + .chain(std::iter::repeat(&Err(ElfParserError::InvalidSize)).take(1)) + .chain(std::iter::repeat(&Err(ElfParserError::OutOfBounds)).take(7)); + for (offset, expected) in (0x3000 + std::mem::size_of::() * index + ..0x3000 + std::mem::size_of::() * (index + 1)) + .zip(expected_results) + { + let mut elf_bytes = elf_bytes.clone(); + elf_bytes[offset] = 0xAF; + let result = + ElfExecutable::load_with_strict_parser(&elf_bytes, loader.clone()).map(|_| ()); + assert_eq!(&result, expected); + } + } + + // Check that an empty function symbol fails + { + let mut elf_bytes = elf_bytes.clone(); + elf_bytes[0x3040] = 0x00; + let err = + ElfExecutable::load_with_strict_parser(&elf_bytes, loader.clone()).unwrap_err(); + assert_eq!(err, ElfParserError::InvalidSize); + } + + // Check that bytecode not covered by function symbols fails + { + let mut elf_bytes = elf_bytes.clone(); + elf_bytes[0x3040] = 0x08; + let err = + ElfExecutable::load_with_strict_parser(&elf_bytes, loader.clone()).unwrap_err(); + assert_eq!(err, ElfParserError::OutOfBounds); + } + + // Check that an entrypoint not covered by function symbols fails + { + let mut elf_bytes = elf_bytes.clone(); + elf_bytes[0x0018] = 0x10; + let err = + ElfExecutable::load_with_strict_parser(&elf_bytes, loader.clone()).unwrap_err(); + assert_eq!(err, ElfParserError::InvalidFileHeader); + } + } + #[test] fn test_validate() { let elf_bytes = std::fs::read("tests/elfs/relative_call_sbpfv1.so").unwrap(); diff --git a/src/elf_parser/mod.rs b/src/elf_parser/mod.rs index b6501c66..9f427c65 100644 --- a/src/elf_parser/mod.rs +++ b/src/elf_parser/mod.rs @@ -573,7 +573,7 @@ impl<'a> Elf64<'a> { } /// Returns the `&[T]` contained at `bytes[range]` - fn slice_from_bytes( + pub fn slice_from_bytes( bytes: &[u8], range: Range, ) -> Result<&[T], ElfParserError> { diff --git a/src/program.rs b/src/program.rs index 183b0589..35f7ed49 100644 --- a/src/program.rs +++ b/src/program.rs @@ -15,8 +15,8 @@ pub enum SBPFVersion { V1, /// The current format V2, - /// The future format with BTF support - V3, + /// Used for future versions + Reserved, } impl SBPFVersion { @@ -95,6 +95,11 @@ impl SBPFVersion { pub fn move_memory_instruction_classes(self) -> bool { self != SBPFVersion::V1 } + + /// Constrain ELF format to ignore section headers and relocations + pub fn enable_stricter_elf_headers(self) -> bool { + self != SBPFVersion::V1 + } } /// Holds the function symbols of an Executable diff --git a/tests/elfs/elf.ld b/tests/elfs/elf.ld index e01debd2..cf6f4e3f 100644 --- a/tests/elfs/elf.ld +++ b/tests/elfs/elf.ld @@ -1,26 +1,31 @@ -PHDRS -{ - text PT_LOAD ; - rodata PT_LOAD ; - data PT_LOAD ; - dynamic PT_DYNAMIC ; -} - SECTIONS { - . = SIZEOF_HEADERS; - .text : { *(.text*) } :text - .rodata : { *(.rodata*) } :rodata - .data.rel.ro : { *(.data.rel.ro*) } :rodata - .dynamic : { *(.dynamic) } :dynamic - .dynsym : { *(.dynsym) } :data - .dynstr : { *(.dynstr) } :data - .rel.dyn : { *(.rel.dyn) } :data - .data : { *(.data*) } :data - .bss : { *(.bss*) } :data + .text 0x000000000 : { *(.text*) } :text + .rodata 0x100000000 : { *(.rodata*) } :rodata + .bss.stack 0x200000000 : { *(.bss.stack*) } :stack + .bss.heap 0x300000000 : { *(.bss.heap*) } :heap + .dynsym 0xFFFFFFFF00000000 : { *(.dynsym) } :dynsym + .dynstr : { *(.dynstr) } :other + .dynamic : { *(.dynamic) } :other + .symtab : { *(.symtab) } :other + .shstrtab : { *(.shstrtab) } :other + .strtab : { *(.strtab) } :other /DISCARD/ : { + *(.comment*) *(.eh_frame*) - *(.gnu.hash*) - *(.hash*) + *(*hash*) + *(.bss*) + *(.data*) + *(.rel.dyn*) } } + +PHDRS +{ + text PT_LOAD FLAGS(1); + rodata PT_LOAD FLAGS(4); + stack PT_GNU_STACK FLAGS(6); + heap PT_LOAD FLAGS(6); + dynsym PT_NULL FLAGS(0); + other PT_NULL FLAGS(0); +} diff --git a/tests/elfs/elf_sbpfv1.ld b/tests/elfs/elf_sbpfv1.ld new file mode 100644 index 00000000..859ab669 --- /dev/null +++ b/tests/elfs/elf_sbpfv1.ld @@ -0,0 +1,26 @@ +PHDRS +{ + text PT_LOAD ; + rodata PT_LOAD ; + data PT_LOAD ; + dynamic PT_DYNAMIC ; +} + +SECTIONS +{ + . = SIZEOF_HEADERS; + .text : { *(.text*) } :text + .rodata : { *(.rodata*) } :rodata + .data.rel.ro : { *(.data.rel.ro*) } :rodata + .dynamic : { *(.dynamic) } :dynamic + .dynsym : { *(.dynsym) } :data + .dynstr : { *(.dynstr) } :data + .rel.dyn : { *(.rel.dyn) } :data + .data : { *(.data*) } :data + .bss : { *(.bss*) } :data + /DISCARD/ : { + *(.eh_frame*) + *(.gnu.hash*) + *(.hash*) + } +} diff --git a/tests/elfs/elfs.sh b/tests/elfs/elfs.sh index 5f02e69b..f8cfc974 100755 --- a/tests/elfs/elfs.sh +++ b/tests/elfs/elfs.sh @@ -7,9 +7,12 @@ TOOLCHAIN=../../../agave/sdk/sbf/dependencies/platform-tools RC_COMMON="$TOOLCHAIN/rust/bin/rustc --target sbf-solana-solana --crate-type lib -C panic=abort -C opt-level=2" RC="$RC_COMMON -C target_cpu=sbfv2" RC_V1="$RC_COMMON -C target_cpu=generic" -LD_COMMON="$TOOLCHAIN/llvm/bin/ld.lld -z notext -shared --Bdynamic -entry entrypoint --script elf.ld" -LD="$LD_COMMON --section-start=.text=0x100000000" -LD_V1=$LD_COMMON +LD_COMMON="$TOOLCHAIN/llvm/bin/ld.lld -z notext -shared --Bdynamic -entry entrypoint" +LD="$LD_COMMON --script elf.ld" +LD_V1="$LD_COMMON --script elf_sbpfv1.ld" + +$RC -o strict_header.o strict_header.rs +$LD -o strict_header.so strict_header.o $RC_V1 -o relative_call.o relative_call.rs $LD_V1 -o relative_call_sbpfv1.so relative_call.o diff --git a/tests/elfs/program_headers_overflow.so b/tests/elfs/program_headers_overflow.so index 7b3469358499e360600e9c44725a5c90bddbacb2..4e6b92d75e6b3746e2005bc039147e93cd7df0c1 100755 GIT binary patch delta 12 TcmZ3WwLoiv0VBgk!}lTp95Vzv delta 12 TcmZ3WwLoiv0i(i3!}lTp9Mc3_ diff --git a/tests/elfs/strict_header.rs b/tests/elfs/strict_header.rs new file mode 100644 index 00000000..43388c6d --- /dev/null +++ b/tests/elfs/strict_header.rs @@ -0,0 +1,21 @@ +#![feature(linkage)] + +#[link_section = ".bss.stack"] +pub static _STACK: [u8; 0x1000] = [0; 0x1000]; +#[link_section = ".bss.heap"] +pub static _HEAP: [u8; 0x1000] = [0; 0x1000]; + +static _VAL_A: u64 = 41; +static VAL_B: u64 = 42; +static _VAL_C: u64 = 43; + +#[inline(never)] +#[linkage="external"] +fn foo() -> u64 { + return unsafe { core::ptr::read_volatile(&VAL_B) }; +} + +#[no_mangle] +pub fn entrypoint() -> u64 { + return foo(); +} diff --git a/tests/elfs/strict_header.so b/tests/elfs/strict_header.so new file mode 100644 index 0000000000000000000000000000000000000000..5bea25c41c9ce0f02cfb7cc1614d9812efe658d8 GIT binary patch literal 13816 zcmeHOziSjh6n?qHL`|Va5V4Rg#6oo0+r8V{D}Mb@{?q*(k<3^8|MxX#d4c{< z{J$#xz9!efQ~^~$6;K6K0aZX1Pz6*0RX`O`1yli5;6N0(a3EPUi7KE9r~;~hDxeCe z0;+&2pbDr0s(>n>3jB`>&{=>Pb0Wab&f!U3s1>oQ9aJWX4TIVFY=S9*@kSr=x=WHR@V!FvplZ33xM_s_626xa2QWAO5Pva+dT^L zF$R0apZm}``)RgMGah1;^Y};EZ!n%>{9B;>6Y$O43n+8Xqcg@g6sV8f4|qxOioJPY zt^)82y*F{IhH2&aM~p*d3bqjFy~w4qh|j2Xdd6`Fk&5UAZjn7L!0q?axQM}B8VuY) z5hstWi7U4OZo0WX*j%$%^bN*qs|mOmE#f7_6TH3gj zEI)C*5qqS5zct^zg1e;Y*J^3l%o~xPr=g#>M|A#^4Yhk4hTX+`t+|`D6LAxUxfj*^ zFbx~AKPpGP+iAD%VCOu`yu2C&&6*ebUX0ted-dT$>(-4qE9gJgv=`_xcT&n@@j`j! z7}~OLBs_%%@ymB!$Onh2-Tim+k8z*!-4_~bc&}!-VQ4g)%UZTRgFs`J`No!s@4-KZ zT>3W4^EdmN`5kPdLi*5q$^7Lzrr#mTCw%Hpe7SEU-!q0yG1`cOSi^_Lmicd?P5dp+ z{}z2JvObbuUh6WpNp91TE3aye5A4(L3ymRsnSUE&lAF64_{#hT72{}-@S$$|g? literal 0 HcmV?d00001 diff --git a/tests/execution.rs b/tests/execution.rs index 67314ff2..4c6b857c 100644 --- a/tests/execution.rs +++ b/tests/execution.rs @@ -3049,6 +3049,17 @@ fn test_struct_func_pointer() { ); } +#[test] +fn test_strict_header() { + test_interpreter_and_jit_elf!( + "tests/elfs/strict_header.so", + [], + (), + TestContextObject::new(6), + ProgramResult::Ok(42), + ); +} + // Programs #[test]