Validation.cpp 8.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209
  1. /*
  2. * Copyright (c) 2020, Andrew Kaster <andrewdkaster@gmail.com>
  3. * All rights reserved.
  4. *
  5. * Redistribution and use in source and binary forms, with or without
  6. * modification, are permitted provided that the following conditions are met:
  7. *
  8. * 1. Redistributions of source code must retain the above copyright notice, this
  9. * list of conditions and the following disclaimer.
  10. *
  11. * 2. Redistributions in binary form must reproduce the above copyright notice,
  12. * this list of conditions and the following disclaimer in the documentation
  13. * and/or other materials provided with the distribution.
  14. *
  15. * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
  16. * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
  17. * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
  18. * DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE
  19. * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
  20. * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
  21. * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
  22. * CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
  23. * OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
  24. * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  25. */
  26. #include <AK/Assertions.h>
  27. #include <AK/String.h>
  28. #include <LibELF/exec_elf.h>
  29. #include <LibELF/Validation.h>
  30. namespace ELF {
  31. bool validate_elf_header(const Elf32_Ehdr& elf_header, size_t file_size, bool verbose)
  32. {
  33. if (!IS_ELF(elf_header)) {
  34. if (verbose)
  35. dbgputstr("File is not an ELF file.\n");
  36. return false;
  37. }
  38. if (ELFCLASS32 != elf_header.e_ident[EI_CLASS]) {
  39. if (verbose)
  40. dbgputstr("File is not a 32 bit ELF file.\n");
  41. return false;
  42. }
  43. if (ELFDATA2LSB != elf_header.e_ident[EI_DATA]) {
  44. if (verbose)
  45. dbgputstr("File is not a little endian ELF file.\n");
  46. return false;
  47. }
  48. if (EV_CURRENT != elf_header.e_ident[EI_VERSION]) {
  49. if (verbose)
  50. dbgprintf("File has unrecognized ELF version (%d), expected (%d)!\n", elf_header.e_ident[EI_VERSION], EV_CURRENT);
  51. return false;
  52. }
  53. if (ELFOSABI_SYSV != elf_header.e_ident[EI_OSABI]) {
  54. if (verbose)
  55. dbgprintf("File has unknown OS ABI (%d), expected SYSV(0)!\n", elf_header.e_ident[EI_OSABI]);
  56. return false;
  57. }
  58. if (0 != elf_header.e_ident[EI_ABIVERSION]) {
  59. if (verbose)
  60. dbgprintf("File has unknown SYSV ABI version (%d)!\n", elf_header.e_ident[EI_ABIVERSION]);
  61. return false;
  62. }
  63. if (EM_386 != elf_header.e_machine) {
  64. if (verbose)
  65. dbgprintf("File has unknown machine (%d), expected i386 (3)!\n", elf_header.e_machine);
  66. return false;
  67. }
  68. if (ET_EXEC != elf_header.e_type && ET_DYN != elf_header.e_type && ET_REL != elf_header.e_type) {
  69. if (verbose)
  70. dbgprintf("File has unloadable ELF type (%d), expected REL (1), EXEC (2) or DYN (3)!\n", elf_header.e_type);
  71. return false;
  72. }
  73. if (EV_CURRENT != elf_header.e_version) {
  74. if (verbose)
  75. dbgprintf("File has unrecognized ELF version (%d), expected (%d)!\n", elf_header.e_version, EV_CURRENT);
  76. return false;
  77. }
  78. if (sizeof(Elf32_Ehdr) != elf_header.e_ehsize) {
  79. if (verbose)
  80. dbgprintf("File has incorrect ELF header size..? (%d), expected (%zu)!\n", elf_header.e_ehsize, sizeof(Elf32_Ehdr));
  81. return false;
  82. }
  83. if (elf_header.e_phoff > file_size || elf_header.e_shoff > file_size) {
  84. if (verbose) {
  85. dbgprintf("SHENANIGANS! program header offset (%d) or section header offset (%d) are past the end of the file!\n",
  86. elf_header.e_phoff, elf_header.e_shoff);
  87. }
  88. return false;
  89. }
  90. if (elf_header.e_phnum != 0 && elf_header.e_phoff != elf_header.e_ehsize) {
  91. if (verbose) {
  92. dbgprintf("File does not have program headers directly after the ELF header? program header offset (%d), expected (%d).\n",
  93. elf_header.e_phoff, elf_header.e_ehsize);
  94. }
  95. return false;
  96. }
  97. if (0 != elf_header.e_flags) {
  98. if (verbose)
  99. dbgprintf("File has incorrect ELF header flags...? (%d), expected (%d).\n", elf_header.e_flags, 0);
  100. return false;
  101. }
  102. if (0 != elf_header.e_phnum && sizeof(Elf32_Phdr) != elf_header.e_phentsize) {
  103. if (verbose)
  104. dbgprintf("File has incorrect program header size..? (%d), expected (%zu).\n", elf_header.e_phentsize, sizeof(Elf32_Phdr));
  105. return false;
  106. }
  107. if (sizeof(Elf32_Shdr) != elf_header.e_shentsize) {
  108. if (verbose)
  109. dbgprintf("File has incorrect section header size..? (%d), expected (%zu).\n", elf_header.e_shentsize, sizeof(Elf32_Shdr));
  110. return false;
  111. }
  112. size_t end_of_last_program_header = elf_header.e_phoff + (elf_header.e_phnum * elf_header.e_phentsize);
  113. if (end_of_last_program_header > file_size) {
  114. if (verbose)
  115. dbgprintf("SHENANIGANS! End of last program header (%zu) is past the end of the file!\n", end_of_last_program_header);
  116. return false;
  117. }
  118. size_t end_of_last_section_header = elf_header.e_shoff + (elf_header.e_shnum * elf_header.e_shentsize);
  119. if (end_of_last_section_header > file_size) {
  120. if (verbose)
  121. dbgprintf("SHENANIGANS! End of last section header (%zu) is past the end of the file!\n", end_of_last_section_header);
  122. return false;
  123. }
  124. if (elf_header.e_shstrndx >= elf_header.e_shnum) {
  125. if (verbose)
  126. dbgprintf("SHENANIGANS! Section header string table index (%d) is not a valid index given we have %d section headers!\n", elf_header.e_shstrndx, elf_header.e_shnum);
  127. return false;
  128. }
  129. return true;
  130. }
  131. bool validate_program_headers(const Elf32_Ehdr& elf_header, size_t file_size, u8* buffer, size_t buffer_size, String& interpreter_path)
  132. {
  133. // Can we actually parse all the program headers in the given buffer?
  134. size_t end_of_last_program_header = elf_header.e_phoff + (elf_header.e_phnum * elf_header.e_phentsize);
  135. if (end_of_last_program_header > buffer_size) {
  136. dbgprintf("Unable to parse program headers from buffer, buffer too small! Buffer size: %zu, End of program headers %zu\n",
  137. buffer_size, end_of_last_program_header);
  138. return false;
  139. }
  140. if (file_size < buffer_size) {
  141. dbgputstr("We somehow read more from a file than was in the file in the first place!\n");
  142. ASSERT_NOT_REACHED();
  143. }
  144. size_t num_program_headers = elf_header.e_phnum;
  145. auto program_header_begin = (const Elf32_Phdr*)&(buffer[elf_header.e_phoff]);
  146. for (size_t header_index = 0; header_index < num_program_headers; ++header_index) {
  147. auto& program_header = program_header_begin[header_index];
  148. switch (program_header.p_type) {
  149. case PT_INTERP:
  150. if (ET_DYN != elf_header.e_type) {
  151. dbgprintf("Found PT_INTERP header (%zu) in non-DYN ELF object! What? We can't handle this!\n", header_index);
  152. return false;
  153. }
  154. // We checked above that file_size was >= buffer size. We only care about buffer size anyway, we're trying to read this!
  155. if (program_header.p_offset + program_header.p_filesz > buffer_size) {
  156. dbgprintf("Found PT_INTERP header (%zu), but the .interp section was not within our buffer :( Your program will not be loaded today.\n", header_index);
  157. return false;
  158. }
  159. interpreter_path = String((const char*)&buffer[program_header.p_offset], program_header.p_filesz - 1);
  160. break;
  161. case PT_LOAD:
  162. case PT_DYNAMIC:
  163. case PT_NOTE:
  164. case PT_PHDR:
  165. case PT_TLS:
  166. if (program_header.p_offset + program_header.p_filesz > file_size) {
  167. dbgprintf("SHENANIGANS! Program header %zu segment leaks beyond end of file!\n", header_index);
  168. return false;
  169. }
  170. if ((program_header.p_flags & PF_X) && (program_header.p_flags & PF_W)) {
  171. dbgprintf("SHENANIGANS! Program header %zu segment is marked write and execute\n", header_index);
  172. return false;
  173. }
  174. break;
  175. default:
  176. // Not handling other program header types in other code so... let's not surprise them
  177. dbgprintf("Found program header (%zu) of unrecognized type %x!\n", header_index, program_header.p_type);
  178. return false;
  179. }
  180. }
  181. return true;
  182. }
  183. } // end namespace ELF