Validation.cpp 8.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183
  1. /*
  2. * Copyright (c) 2021-2023, Andrew Kaster <akaster@serenityos.org>
  3. *
  4. * SPDX-License-Identifier: BSD-2-Clause
  5. */
  6. #include <AK/AllOf.h>
  7. #include <AK/CharacterTypes.h>
  8. #include <AK/DeprecatedString.h>
  9. #include <AK/Endian.h>
  10. #include <AK/Format.h>
  11. #include <AK/Try.h>
  12. #include <LibDeviceTree/Validation.h>
  13. namespace DeviceTree {
  14. bool validate_flattened_device_tree(FlattenedDeviceTreeHeader const& header, ReadonlyBytes raw_device_tree, Verbose verbose)
  15. {
  16. if (header.magic != 0xD00DFEEDU) {
  17. if (verbose == Verbose::Yes)
  18. warnln("FDT Header has invalid magic value 0x{:08x}. Are you sure it's a flattened device tree?", header.magic);
  19. return false;
  20. }
  21. if ((header.off_mem_rsvmap & ~0x7) != header.off_mem_rsvmap) {
  22. if (verbose == Verbose::Yes)
  23. warnln("FDT Header's MemoryReservationBlock is not 8 byte aligned! Offset: 0x{:08x}", header.off_mem_rsvmap);
  24. return false;
  25. }
  26. if ((header.off_dt_struct & ~0x3) != header.off_dt_struct) {
  27. if (verbose == Verbose::Yes)
  28. warnln("FDT Header's StructureBlock is not 4 byte aligned! Offset: 0x{:08x}", header.off_dt_struct);
  29. return false;
  30. }
  31. if (header.totalsize != raw_device_tree.size()) {
  32. if (verbose == Verbose::Yes)
  33. warnln("FDT Header total size mismatch: {}, expected {}!", header.totalsize, raw_device_tree.size());
  34. return false;
  35. }
  36. if (header.off_dt_struct > raw_device_tree.size()) {
  37. if (verbose == Verbose::Yes)
  38. warnln("FDT Header reports larger StructureBlock offset than possible: {} but total size is {}!", header.off_dt_struct, raw_device_tree.size());
  39. return false;
  40. }
  41. if (header.off_dt_strings > raw_device_tree.size()) {
  42. if (verbose == Verbose::Yes)
  43. warnln("FDT Header reports larger StringsBlock offset than possible: {} but total size is {}!", header.off_dt_strings, raw_device_tree.size());
  44. return false;
  45. }
  46. if (header.off_mem_rsvmap > raw_device_tree.size()) {
  47. if (verbose == Verbose::Yes)
  48. warnln("FDT Header reports larger MemoryReservationBlock offset than possible: {} but total size is {}!", header.off_mem_rsvmap, raw_device_tree.size());
  49. return false;
  50. }
  51. // Verify format is correct. Header --> MemoryReservation --> Structures --> Strings
  52. if (header.off_dt_strings <= header.off_dt_struct) {
  53. if (verbose == Verbose::Yes)
  54. warnln("FDT Header has invalid StringsBlock offset {}, must be after v (@ {})", header.off_dt_strings, header.off_dt_struct);
  55. return false;
  56. }
  57. if (header.off_dt_struct <= header.off_mem_rsvmap) {
  58. if (verbose == Verbose::Yes)
  59. warnln("FDT Header has invalid StructureBlock offset {}, must be after MemoryReservationBlock (@ {})", header.off_dt_struct, header.off_mem_rsvmap);
  60. return false;
  61. }
  62. if (header.version != 17) {
  63. if (verbose == Verbose::Yes)
  64. warnln("Expected FDT header version 17, got {}", header.version);
  65. return false;
  66. }
  67. if (header.last_comp_version != 16) {
  68. if (verbose == Verbose::Yes)
  69. warnln("Expected FDT header last compatible version 16, got {}", header.last_comp_version);
  70. return false;
  71. }
  72. auto* mem_reserve_block = reinterpret_cast<FlattenedDeviceTreeReserveEntry const*>(&raw_device_tree[header.off_mem_rsvmap]);
  73. u64 next_block_offset = header.off_mem_rsvmap + sizeof(FlattenedDeviceTreeReserveEntry);
  74. while ((next_block_offset < header.off_dt_struct) && (*mem_reserve_block != FlattenedDeviceTreeReserveEntry {})) {
  75. ++mem_reserve_block;
  76. next_block_offset += sizeof(FlattenedDeviceTreeReserveEntry);
  77. }
  78. if (next_block_offset >= header.off_dt_strings) {
  79. if (verbose == Verbose::Yes)
  80. warnln("FDT malformed, MemoryReservationBlock spill into StructureBlock section!");
  81. return false;
  82. }
  83. // check for overlap. Overflow not possible b/c the fields are u32
  84. u64 structure_block_size = header.off_dt_struct + header.size_dt_struct;
  85. if ((structure_block_size > header.off_dt_strings) || (structure_block_size > raw_device_tree.size())) {
  86. if (verbose == Verbose::Yes)
  87. warnln("FDT Header reports invalid StructureBlock block size: {} is too large given StringsBlock offset {} and total size {}", structure_block_size, header.off_dt_strings, raw_device_tree.size());
  88. return false;
  89. }
  90. u64 strings_block_size = header.off_dt_strings + header.size_dt_strings;
  91. if (strings_block_size > raw_device_tree.size()) {
  92. if (verbose == Verbose::Yes)
  93. warnln("FDT Header reports invalid StringsBlock size: {} is too large given total size {}", strings_block_size, raw_device_tree.size());
  94. return false;
  95. }
  96. return true;
  97. }
  98. ErrorOr<void> dump(FlattenedDeviceTreeHeader const& header, ReadonlyBytes raw_device_tree)
  99. {
  100. outln("/dts-v1/;");
  101. outln("// magic: 0x{:08x}", header.magic);
  102. outln("// totalsize: 0x{:08x} ({})", header.totalsize, header.totalsize);
  103. outln("// off_dt_struct: 0x{:08x}", header.off_dt_struct);
  104. outln("// off_dt_strings: 0x{:08x}", header.off_dt_strings);
  105. outln("// off_mem_rsvmap: 0x{:08x}", header.off_mem_rsvmap);
  106. outln("// version: 0x{:08x}", header.version);
  107. outln("// last_comp_version: 0x{:08x}", header.last_comp_version);
  108. outln("// boot_cpuid_phys: 0x{:08x}", header.boot_cpuid_phys);
  109. outln("// size_dt_strings: 0x{:08x}", header.size_dt_strings);
  110. outln("// size_dt_struct: 0x{:08x}", header.size_dt_struct);
  111. if (!validate_flattened_device_tree(header, raw_device_tree, Verbose::Yes))
  112. return Error::from_errno(EINVAL);
  113. // Now that we know the device tree is valid, print out the rest of the information
  114. auto const* mem_reserve_block = reinterpret_cast<FlattenedDeviceTreeReserveEntry const*>(&raw_device_tree[header.off_mem_rsvmap]);
  115. u64 next_block_offset = header.off_mem_rsvmap + sizeof(FlattenedDeviceTreeReserveEntry);
  116. while ((next_block_offset < header.off_dt_struct) && (*mem_reserve_block != FlattenedDeviceTreeReserveEntry {})) {
  117. outln("/memreserve/ 0x{:08x} 0x{:08x};", mem_reserve_block->address, mem_reserve_block->size);
  118. ++mem_reserve_block;
  119. next_block_offset += sizeof(FlattenedDeviceTreeReserveEntry);
  120. }
  121. return dump_flattened_device_tree_structure(header, raw_device_tree);
  122. }
  123. ErrorOr<void> dump_flattened_device_tree_structure(FlattenedDeviceTreeHeader const& header, ReadonlyBytes raw_device_tree)
  124. {
  125. u8 indent = 0;
  126. DeviceTreeCallbacks callbacks = {
  127. .on_node_begin = [&](StringView token_name) -> ErrorOr<IterationDecision> {
  128. outln("{: >{}}FDT_BEGIN_NODE: {}", ""sv, indent * 2, token_name);
  129. ++indent;
  130. return IterationDecision::Continue;
  131. },
  132. .on_node_end = [&](StringView) -> ErrorOr<IterationDecision> {
  133. --indent;
  134. outln("{: >{}}FDT_END_NODE", ""sv, indent * 2);
  135. return IterationDecision::Continue;
  136. },
  137. .on_property = [&](StringView property_name, ReadonlyBytes property_value) -> ErrorOr<IterationDecision> {
  138. StringView property_as_string { property_value };
  139. // Note: We want to figure out if the value is a string, a stringlist, a number or something unprintable.
  140. // In reality, the entity retrieving the value needs to know if it's a u32, u64, string, stringlist, or "property-encoded-value" a priori
  141. bool const is_print = (property_as_string.length() > 0) && all_of(property_as_string.begin(), --property_as_string.end(), [](char c) { return is_ascii_printable(c); });
  142. if (is_print)
  143. outln("{: >{}}FDT_PROP: {}: {}", ""sv, indent * 2, property_name, property_as_string);
  144. else
  145. outln("{: >{}}FDT_PROP: {}: {:hex-dump}", ""sv, indent * 2, property_name, property_as_string);
  146. return IterationDecision::Continue;
  147. },
  148. .on_noop = [&]() -> ErrorOr<IterationDecision> {
  149. outln("{: >{}}FDT_NOOP", ""sv, indent * 2);
  150. return IterationDecision::Continue;
  151. },
  152. .on_end = []() -> ErrorOr<void> {
  153. outln("FDT_END");
  154. return {};
  155. }
  156. };
  157. return walk_device_tree(header, raw_device_tree, move(callbacks));
  158. }
  159. } // namespace DeviceTree