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