OLD | NEW |
1 // Copyright 2014 The Crashpad Authors. All rights reserved. | 1 // Copyright 2014 The Crashpad Authors. All rights reserved. |
2 // | 2 // |
3 // Licensed under the Apache License, Version 2.0 (the "License"); | 3 // Licensed under the Apache License, Version 2.0 (the "License"); |
4 // you may not use this file except in compliance with the License. | 4 // you may not use this file except in compliance with the License. |
5 // You may obtain a copy of the License at | 5 // You may obtain a copy of the License at |
6 // | 6 // |
7 // http://www.apache.org/licenses/LICENSE-2.0 | 7 // http://www.apache.org/licenses/LICENSE-2.0 |
8 // | 8 // |
9 // Unless required by applicable law or agreed to in writing, software | 9 // Unless required by applicable law or agreed to in writing, software |
10 // distributed under the License is distributed on an "AS IS" BASIS, | 10 // distributed under the License is distributed on an "AS IS" BASIS, |
11 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. | 11 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
12 // See the License for the specific language governing permissions and | 12 // See the License for the specific language governing permissions and |
13 // limitations under the License. | 13 // limitations under the License. |
14 | 14 |
15 #include "util/mac/checked_mach_address_range.h" | 15 #include "util/numeric/checked_address_range.h" |
16 | |
17 #include <mach/mach.h> | |
18 | 16 |
19 #include <limits> | 17 #include <limits> |
20 | 18 |
21 #include "base/basictypes.h" | 19 #include "base/basictypes.h" |
| 20 #include "base/format_macros.h" |
22 #include "base/strings/stringprintf.h" | 21 #include "base/strings/stringprintf.h" |
23 #include "build/build_config.h" | 22 #include "build/build_config.h" |
24 #include "gtest/gtest.h" | 23 #include "gtest/gtest.h" |
25 | 24 |
26 namespace crashpad { | 25 namespace crashpad { |
27 namespace test { | 26 namespace test { |
28 namespace { | 27 namespace { |
29 | 28 |
30 enum Validity { | 29 enum Validity { |
31 kInvalid = false, | 30 kInvalid = false, |
32 kValid, | 31 kValid, |
33 kValid64Invalid32, | 32 kValid64Invalid32, |
34 }; | 33 }; |
35 | 34 |
36 bool ExpectationForValidity32(Validity validity) { | 35 bool ExpectationForValidity32(Validity validity) { |
37 return validity == kValid; | 36 return validity == kValid; |
38 } | 37 } |
39 | 38 |
40 bool ExpectationForValidity64(Validity validity) { | 39 bool ExpectationForValidity64(Validity validity) { |
41 return validity == kValid || validity == kValid64Invalid32; | 40 return validity == kValid || validity == kValid64Invalid32; |
42 } | 41 } |
43 | 42 |
44 TEST(CheckedMachAddressRange, IsValid) { | 43 TEST(CheckedAddressRange, IsValid) { |
45 const struct TestData { | 44 const struct TestData { |
46 mach_vm_address_t base; | 45 uintptr_t base; |
47 mach_vm_size_t size; | 46 uintptr_t size; |
48 Validity validity; | 47 Validity validity; |
49 } kTestData[] = { | 48 } kTestData[] = { |
50 {0, 0, kValid}, | 49 {0, 0, kValid}, |
51 {0, 1, kValid}, | 50 {0, 1, kValid}, |
52 {0, 2, kValid}, | 51 {0, 2, kValid}, |
53 {0, 0x7fffffff, kValid}, | 52 {0, 0x7fffffff, kValid}, |
54 {0, 0x80000000, kValid}, | 53 {0, 0x80000000, kValid}, |
55 {0, 0xfffffffe, kValid}, | 54 {0, 0xfffffffe, kValid}, |
56 {0, 0xffffffff, kValid}, | 55 {0, 0xffffffff, kValid}, |
57 {0, 0xffffffffffffffff, kValid64Invalid32}, | 56 {0, 0xffffffffffffffff, kValid64Invalid32}, |
(...skipping 52 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
110 {0x8000000000000000, 0xffffffffffffffff, kInvalid}, | 109 {0x8000000000000000, 0xffffffffffffffff, kInvalid}, |
111 {0xfffffffffffffffe, 0, kValid64Invalid32}, | 110 {0xfffffffffffffffe, 0, kValid64Invalid32}, |
112 {0xfffffffffffffffe, 1, kValid64Invalid32}, | 111 {0xfffffffffffffffe, 1, kValid64Invalid32}, |
113 {0xfffffffffffffffe, 2, kInvalid}, | 112 {0xfffffffffffffffe, 2, kInvalid}, |
114 {0xffffffffffffffff, 0, kValid64Invalid32}, | 113 {0xffffffffffffffff, 0, kValid64Invalid32}, |
115 {0xffffffffffffffff, 1, kInvalid}, | 114 {0xffffffffffffffff, 1, kInvalid}, |
116 }; | 115 }; |
117 | 116 |
118 for (size_t index = 0; index < arraysize(kTestData); ++index) { | 117 for (size_t index = 0; index < arraysize(kTestData); ++index) { |
119 const TestData& testcase = kTestData[index]; | 118 const TestData& testcase = kTestData[index]; |
120 SCOPED_TRACE(base::StringPrintf("index %zu, base 0x%llx, size 0x%llx", | 119 SCOPED_TRACE(base::StringPrintf("index %" PRIuS ", base 0x%lx, size 0x%lx", |
121 index, | 120 index, |
122 testcase.base, | 121 testcase.base, |
123 testcase.size)); | 122 testcase.size)); |
124 | 123 |
125 CheckedMachAddressRange range_32(false, testcase.base, testcase.size); | 124 CheckedAddressRange range_32(false, testcase.base, testcase.size); |
126 EXPECT_EQ(ExpectationForValidity32(testcase.validity), range_32.IsValid()); | 125 EXPECT_EQ(ExpectationForValidity32(testcase.validity), range_32.IsValid()); |
127 | 126 |
128 CheckedMachAddressRange range_64(true, testcase.base, testcase.size); | 127 CheckedAddressRange range_64(true, testcase.base, testcase.size); |
129 EXPECT_EQ(ExpectationForValidity64(testcase.validity), range_64.IsValid()); | 128 EXPECT_EQ(ExpectationForValidity64(testcase.validity), range_64.IsValid()); |
130 } | 129 } |
131 } | 130 } |
132 | 131 |
133 TEST(CheckedMachAddressRange, ContainsValue) { | 132 TEST(CheckedAddressRange, ContainsValue) { |
134 const struct TestData { | 133 const struct TestData { |
135 mach_vm_address_t value; | 134 uintptr_t value; |
136 bool expectation; | 135 bool expectation; |
137 } kTestData[] = { | 136 } kTestData[] = { |
138 {0, false}, | 137 {0, false}, |
139 {1, false}, | 138 {1, false}, |
140 {0x1fff, false}, | 139 {0x1fff, false}, |
141 {0x2000, true}, | 140 {0x2000, true}, |
142 {0x2001, true}, | 141 {0x2001, true}, |
143 {0x2ffe, true}, | 142 {0x2ffe, true}, |
144 {0x2fff, true}, | 143 {0x2fff, true}, |
145 {0x3000, false}, | 144 {0x3000, false}, |
146 {0x3001, false}, | 145 {0x3001, false}, |
147 {0x7fffffff, false}, | 146 {0x7fffffff, false}, |
148 {0x80000000, false}, | 147 {0x80000000, false}, |
149 {0x80000001, false}, | 148 {0x80000001, false}, |
150 {0x80001fff, false}, | 149 {0x80001fff, false}, |
151 {0x80002000, false}, | 150 {0x80002000, false}, |
152 {0x80002001, false}, | 151 {0x80002001, false}, |
153 {0x80002ffe, false}, | 152 {0x80002ffe, false}, |
154 {0x80002fff, false}, | 153 {0x80002fff, false}, |
155 {0x80003000, false}, | 154 {0x80003000, false}, |
156 {0x80003001, false}, | 155 {0x80003001, false}, |
157 {0xffffcfff, false}, | 156 {0xffffcfff, false}, |
158 {0xffffdfff, false}, | 157 {0xffffdfff, false}, |
159 {0xffffefff, false}, | 158 {0xffffefff, false}, |
160 {0xffffffff, false}, | 159 {0xffffffff, false}, |
161 {0x100000000, false}, | 160 {0x100000000, false}, |
162 {0xffffffffffffffff, false}, | 161 {0xffffffffffffffff, false}, |
163 }; | 162 }; |
164 | 163 |
165 CheckedMachAddressRange parent_range_32(false, 0x2000, 0x1000); | 164 CheckedAddressRange parent_range_32(false, 0x2000, 0x1000); |
166 ASSERT_TRUE(parent_range_32.IsValid()); | 165 ASSERT_TRUE(parent_range_32.IsValid()); |
167 | 166 |
168 for (size_t index = 0; index < arraysize(kTestData); ++index) { | 167 for (size_t index = 0; index < arraysize(kTestData); ++index) { |
169 const TestData& testcase = kTestData[index]; | 168 const TestData& testcase = kTestData[index]; |
170 SCOPED_TRACE( | 169 SCOPED_TRACE(base::StringPrintf( |
171 base::StringPrintf("index %zu, value 0x%llx", index, testcase.value)); | 170 "index %" PRIuS ", value 0x%lx", index, testcase.value)); |
172 | 171 |
173 EXPECT_EQ(testcase.expectation, | 172 EXPECT_EQ(testcase.expectation, |
174 parent_range_32.ContainsValue(testcase.value)); | 173 parent_range_32.ContainsValue(testcase.value)); |
175 } | 174 } |
176 | 175 |
177 CheckedMachAddressRange parent_range_64(true, 0x100000000, 0x1000); | 176 CheckedAddressRange parent_range_64(true, 0x100000000, 0x1000); |
178 ASSERT_TRUE(parent_range_64.IsValid()); | 177 ASSERT_TRUE(parent_range_64.IsValid()); |
179 EXPECT_FALSE(parent_range_64.ContainsValue(0xffffffff)); | 178 EXPECT_FALSE(parent_range_64.ContainsValue(0xffffffff)); |
180 EXPECT_TRUE(parent_range_64.ContainsValue(0x100000000)); | 179 EXPECT_TRUE(parent_range_64.ContainsValue(0x100000000)); |
181 EXPECT_TRUE(parent_range_64.ContainsValue(0x100000001)); | 180 EXPECT_TRUE(parent_range_64.ContainsValue(0x100000001)); |
182 EXPECT_TRUE(parent_range_64.ContainsValue(0x100000fff)); | 181 EXPECT_TRUE(parent_range_64.ContainsValue(0x100000fff)); |
183 EXPECT_FALSE(parent_range_64.ContainsValue(0x100001000)); | 182 EXPECT_FALSE(parent_range_64.ContainsValue(0x100001000)); |
184 } | 183 } |
185 | 184 |
186 TEST(CheckedMachAddressRange, ContainsRange) { | 185 TEST(CheckedAddressRange, ContainsRange) { |
187 const struct TestData { | 186 const struct TestData { |
188 mach_vm_address_t base; | 187 uintptr_t base; |
189 mach_vm_size_t size; | 188 uintptr_t size; |
190 bool expectation; | 189 bool expectation; |
191 } kTestData[] = { | 190 } kTestData[] = { |
192 {0, 0, false}, | 191 {0, 0, false}, |
193 {0, 1, false}, | 192 {0, 1, false}, |
194 {0x2000, 0x1000, true}, | 193 {0x2000, 0x1000, true}, |
195 {0, 0x2000, false}, | 194 {0, 0x2000, false}, |
196 {0x3000, 0x1000, false}, | 195 {0x3000, 0x1000, false}, |
197 {0x1800, 0x1000, false}, | 196 {0x1800, 0x1000, false}, |
198 {0x2800, 0x1000, false}, | 197 {0x2800, 0x1000, false}, |
199 {0x2000, 0x800, true}, | 198 {0x2000, 0x800, true}, |
(...skipping 12 matching lines...) Expand all Loading... |
212 {0x3000, 0, true}, | 211 {0x3000, 0, true}, |
213 {0x3001, 0, false}, | 212 {0x3001, 0, false}, |
214 {0x1fff, 1, false}, | 213 {0x1fff, 1, false}, |
215 {0x2000, 1, true}, | 214 {0x2000, 1, true}, |
216 {0x2001, 1, true}, | 215 {0x2001, 1, true}, |
217 {0x2fff, 1, true}, | 216 {0x2fff, 1, true}, |
218 {0x3000, 1, false}, | 217 {0x3000, 1, false}, |
219 {0x3001, 1, false}, | 218 {0x3001, 1, false}, |
220 }; | 219 }; |
221 | 220 |
222 CheckedMachAddressRange parent_range_32(false, 0x2000, 0x1000); | 221 CheckedAddressRange parent_range_32(false, 0x2000, 0x1000); |
223 ASSERT_TRUE(parent_range_32.IsValid()); | 222 ASSERT_TRUE(parent_range_32.IsValid()); |
224 | 223 |
225 for (size_t index = 0; index < arraysize(kTestData); ++index) { | 224 for (size_t index = 0; index < arraysize(kTestData); ++index) { |
226 const TestData& testcase = kTestData[index]; | 225 const TestData& testcase = kTestData[index]; |
227 SCOPED_TRACE(base::StringPrintf("index %zu, base 0x%llx, size 0x%llx", | 226 SCOPED_TRACE(base::StringPrintf("index %" PRIuS ", base 0x%lx, size 0x%lx", |
228 index, | 227 index, |
229 testcase.base, | 228 testcase.base, |
230 testcase.size)); | 229 testcase.size)); |
231 | 230 |
232 CheckedMachAddressRange child_range_32(false, testcase.base, testcase.size); | 231 CheckedAddressRange child_range_32(false, testcase.base, testcase.size); |
233 ASSERT_TRUE(child_range_32.IsValid()); | 232 ASSERT_TRUE(child_range_32.IsValid()); |
234 EXPECT_EQ(testcase.expectation, | 233 EXPECT_EQ(testcase.expectation, |
235 parent_range_32.ContainsRange(child_range_32)); | 234 parent_range_32.ContainsRange(child_range_32)); |
236 } | 235 } |
237 | 236 |
238 CheckedMachAddressRange parent_range_64(true, 0x100000000, 0x1000); | 237 CheckedAddressRange parent_range_64(true, 0x100000000, 0x1000); |
239 ASSERT_TRUE(parent_range_64.IsValid()); | 238 ASSERT_TRUE(parent_range_64.IsValid()); |
240 | 239 |
241 CheckedMachAddressRange child_range_64(true, 0xffffffff, 2); | 240 CheckedAddressRange child_range_64(true, 0xffffffff, 2); |
242 EXPECT_FALSE(parent_range_64.ContainsRange(child_range_64)); | 241 EXPECT_FALSE(parent_range_64.ContainsRange(child_range_64)); |
243 | 242 |
244 child_range_64.SetRange(true, 0x100000000, 2); | 243 child_range_64.SetRange(true, 0x100000000, 2); |
245 EXPECT_TRUE(parent_range_64.ContainsRange(child_range_64)); | 244 EXPECT_TRUE(parent_range_64.ContainsRange(child_range_64)); |
246 | 245 |
247 child_range_64.SetRange(true, 0x100000ffe, 2); | 246 child_range_64.SetRange(true, 0x100000ffe, 2); |
248 EXPECT_TRUE(parent_range_64.ContainsRange(child_range_64)); | 247 EXPECT_TRUE(parent_range_64.ContainsRange(child_range_64)); |
249 | 248 |
250 child_range_64.SetRange(true, 0x100000fff, 2); | 249 child_range_64.SetRange(true, 0x100000fff, 2); |
251 EXPECT_FALSE(parent_range_64.ContainsRange(child_range_64)); | 250 EXPECT_FALSE(parent_range_64.ContainsRange(child_range_64)); |
252 } | 251 } |
253 | 252 |
254 } // namespace | 253 } // namespace |
255 } // namespace test | 254 } // namespace test |
256 } // namespace crashpad | 255 } // namespace crashpad |
OLD | NEW |