| 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 |