xref: /llvm-project/compiler-rt/lib/sanitizer_common/tests/sanitizer_procmaps_mac_test.cpp (revision 82d852c69f406f157ed601d66229d9d917e21f83)
1*82d852c6SMariusz Borsa //===-- sanitizer_procmaps_mac_test.cpp ---------------------------------------===//
2*82d852c6SMariusz Borsa //
3*82d852c6SMariusz Borsa // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4*82d852c6SMariusz Borsa // See https://llvm.org/LICENSE.txt for license information.
5*82d852c6SMariusz Borsa // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6*82d852c6SMariusz Borsa //
7*82d852c6SMariusz Borsa //===----------------------------------------------------------------------===//
8*82d852c6SMariusz Borsa //
9*82d852c6SMariusz Borsa // This file is a part of ThreadSanitizer/AddressSanitizer runtime.
10*82d852c6SMariusz Borsa //
11*82d852c6SMariusz Borsa //===----------------------------------------------------------------------===//
12*82d852c6SMariusz Borsa 
13*82d852c6SMariusz Borsa #  include "sanitizer_common/sanitizer_platform.h"
14*82d852c6SMariusz Borsa 
15*82d852c6SMariusz Borsa #  if SANITIZER_APPLE
16*82d852c6SMariusz Borsa 
17*82d852c6SMariusz Borsa #  include <stdlib.h>
18*82d852c6SMariusz Borsa #  include <string.h>
19*82d852c6SMariusz Borsa #  include <stdint.h>
20*82d852c6SMariusz Borsa #  include <stdio.h>
21*82d852c6SMariusz Borsa 
22*82d852c6SMariusz Borsa #  include <vector>
23*82d852c6SMariusz Borsa #  include <mach-o/dyld.h>
24*82d852c6SMariusz Borsa #  include <mach-o/loader.h>
25*82d852c6SMariusz Borsa 
26*82d852c6SMariusz Borsa #  include "gtest/gtest.h"
27*82d852c6SMariusz Borsa 
28*82d852c6SMariusz Borsa #  include "sanitizer_common/sanitizer_procmaps.h"
29*82d852c6SMariusz Borsa 
30*82d852c6SMariusz Borsa namespace __sanitizer {
31*82d852c6SMariusz Borsa 
32*82d852c6SMariusz Borsa class MemoryMappingLayoutMock final : public MemoryMappingLayout {
33*82d852c6SMariusz Borsa private:
34*82d852c6SMariusz Borsa   static constexpr uuid_command mock_uuid_command = {
35*82d852c6SMariusz Borsa     .cmd = LC_UUID,
36*82d852c6SMariusz Borsa     .cmdsize = sizeof(uuid_command),
37*82d852c6SMariusz Borsa     .uuid = {}
38*82d852c6SMariusz Borsa   };
39*82d852c6SMariusz Borsa 
40*82d852c6SMariusz Borsa   static constexpr char dylib_name[] = "libclang_rt.\0\0\0"; // 8 bytes aligned, padded with zeros per loader.h
41*82d852c6SMariusz Borsa   static constexpr dylib_command mock_dylib_command = {
42*82d852c6SMariusz Borsa     .cmd = LC_LOAD_DYLIB,
43*82d852c6SMariusz Borsa     .cmdsize = sizeof(dylib_command) + sizeof(dylib_name),
44*82d852c6SMariusz Borsa     .dylib = {
45*82d852c6SMariusz Borsa       .name = {
46*82d852c6SMariusz Borsa         .offset = sizeof(dylib_command)
47*82d852c6SMariusz Borsa       }
48*82d852c6SMariusz Borsa     }
49*82d852c6SMariusz Borsa   };
50*82d852c6SMariusz Borsa 
51*82d852c6SMariusz Borsa   static constexpr uuid_command mock_trap_command = {
52*82d852c6SMariusz Borsa     .cmd = LC_UUID,
53*82d852c6SMariusz Borsa     .cmdsize = 0x10000,
54*82d852c6SMariusz Borsa     .uuid = {}
55*82d852c6SMariusz Borsa   };
56*82d852c6SMariusz Borsa 
57*82d852c6SMariusz Borsa   const char *start_load_cmd_addr;
58*82d852c6SMariusz Borsa   size_t sizeofcmds;
59*82d852c6SMariusz Borsa   std::vector<unsigned char> mock_header;
60*82d852c6SMariusz Borsa 
61*82d852c6SMariusz Borsa public:
MemoryMappingLayoutMock()62*82d852c6SMariusz Borsa   MemoryMappingLayoutMock(): MemoryMappingLayout(false) {
63*82d852c6SMariusz Borsa     EXPECT_EQ(mock_uuid_command.cmdsize % 8, 0u);
64*82d852c6SMariusz Borsa     EXPECT_EQ(mock_dylib_command.cmdsize % 8, 0u);
65*82d852c6SMariusz Borsa 
66*82d852c6SMariusz Borsa     Reset();
67*82d852c6SMariusz Borsa 
68*82d852c6SMariusz Borsa #ifdef MH_MAGIC_64
69*82d852c6SMariusz Borsa     const struct mach_header_64 *header = (mach_header_64 *)_dyld_get_image_header(0); // Any header will do
70*82d852c6SMariusz Borsa     const size_t header_size = sizeof(mach_header_64);
71*82d852c6SMariusz Borsa #else
72*82d852c6SMariusz Borsa     const struct mach_header *header = _dyld_get_image_header(0);
73*82d852c6SMariusz Borsa     const size_t header_size = sizeof(mach_header);
74*82d852c6SMariusz Borsa #endif
75*82d852c6SMariusz Borsa     const size_t mock_header_size_with_extras = header_size + header->sizeofcmds +
76*82d852c6SMariusz Borsa       mock_uuid_command.cmdsize + mock_dylib_command.cmdsize + sizeof(uuid_command);
77*82d852c6SMariusz Borsa 
78*82d852c6SMariusz Borsa     mock_header.reserve(mock_header_size_with_extras);
79*82d852c6SMariusz Borsa     // Copy the original header
80*82d852c6SMariusz Borsa     copy((unsigned char *)header,
81*82d852c6SMariusz Borsa       (unsigned char *)header + header_size + header->sizeofcmds,
82*82d852c6SMariusz Borsa       back_inserter(mock_header));
83*82d852c6SMariusz Borsa     // The following commands are not supposed to be processed
84*82d852c6SMariusz Borsa     // by the (correct) ::Next method at all, since they're not
85*82d852c6SMariusz Borsa     // accounted for in header->ncmds .
86*82d852c6SMariusz Borsa     copy((unsigned char *)&mock_uuid_command,
87*82d852c6SMariusz Borsa       ((unsigned char *)&mock_uuid_command) + mock_uuid_command.cmdsize,
88*82d852c6SMariusz Borsa       back_inserter(mock_header));
89*82d852c6SMariusz Borsa     copy((unsigned char *)&mock_dylib_command,
90*82d852c6SMariusz Borsa       ((unsigned char *)&mock_dylib_command) + sizeof(dylib_command), // as mock_dylib_command.cmdsize contains the following string
91*82d852c6SMariusz Borsa       back_inserter(mock_header));
92*82d852c6SMariusz Borsa     copy((unsigned char *)dylib_name,
93*82d852c6SMariusz Borsa       ((unsigned char *)dylib_name) + sizeof(dylib_name),
94*82d852c6SMariusz Borsa       back_inserter(mock_header));
95*82d852c6SMariusz Borsa 
96*82d852c6SMariusz Borsa     // Append a command w. huge size to have the test detect the read overrun
97*82d852c6SMariusz Borsa     copy((unsigned char *)&mock_trap_command,
98*82d852c6SMariusz Borsa       ((unsigned char *)&mock_trap_command) + sizeof(uuid_command),
99*82d852c6SMariusz Borsa       back_inserter(mock_header));
100*82d852c6SMariusz Borsa 
101*82d852c6SMariusz Borsa     start_load_cmd_addr = (const char *)(mock_header.data() + header_size);
102*82d852c6SMariusz Borsa     sizeofcmds = header->sizeofcmds;
103*82d852c6SMariusz Borsa 
104*82d852c6SMariusz Borsa     const char *last_byte_load_cmd_addr = (start_load_cmd_addr+sizeofcmds-1);
105*82d852c6SMariusz Borsa     data_.current_image = -1; // So the loop in ::Next runs just once
106*82d852c6SMariusz Borsa   }
107*82d852c6SMariusz Borsa 
SizeOfLoadCommands()108*82d852c6SMariusz Borsa   size_t SizeOfLoadCommands() {
109*82d852c6SMariusz Borsa     return sizeofcmds;
110*82d852c6SMariusz Borsa   }
111*82d852c6SMariusz Borsa 
CurrentLoadCommandOffset()112*82d852c6SMariusz Borsa   size_t CurrentLoadCommandOffset() {
113*82d852c6SMariusz Borsa     size_t offset = data_.current_load_cmd_addr - start_load_cmd_addr;
114*82d852c6SMariusz Borsa     return offset;
115*82d852c6SMariusz Borsa   }
116*82d852c6SMariusz Borsa 
117*82d852c6SMariusz Borsa protected:
CurrentImageHeader()118*82d852c6SMariusz Borsa   virtual ImageHeader *CurrentImageHeader() override {
119*82d852c6SMariusz Borsa     return (ImageHeader *)mock_header.data();
120*82d852c6SMariusz Borsa   }
121*82d852c6SMariusz Borsa };
122*82d852c6SMariusz Borsa 
TEST(MemoryMappingLayout,Next)123*82d852c6SMariusz Borsa TEST(MemoryMappingLayout, Next) {
124*82d852c6SMariusz Borsa   __sanitizer::MemoryMappingLayoutMock memory_mapping;
125*82d852c6SMariusz Borsa   __sanitizer::MemoryMappedSegment segment;
126*82d852c6SMariusz Borsa   size_t size = memory_mapping.SizeOfLoadCommands();
127*82d852c6SMariusz Borsa   while (memory_mapping.Next(&segment)) {
128*82d852c6SMariusz Borsa     size_t offset = memory_mapping.CurrentLoadCommandOffset();
129*82d852c6SMariusz Borsa     EXPECT_LE(offset, size);
130*82d852c6SMariusz Borsa   }
131*82d852c6SMariusz Borsa   size_t final_offset = memory_mapping.CurrentLoadCommandOffset();
132*82d852c6SMariusz Borsa   EXPECT_EQ(final_offset, size); // All commands processed, no more, no less
133*82d852c6SMariusz Borsa }
134*82d852c6SMariusz Borsa 
135*82d852c6SMariusz Borsa }  // namespace __sanitizer
136*82d852c6SMariusz Borsa 
137*82d852c6SMariusz Borsa #  endif // SANITIZER_APPLE
138