1 // Copyright (c) 2010 Google Inc.
2 // All rights reserved.
3 //
4 // Redistribution and use in source and binary forms, with or without
5 // modification, are permitted provided that the following conditions are
6 // met:
7 //
8 // * Redistributions of source code must retain the above copyright
9 // notice, this list of conditions and the following disclaimer.
10 // * Redistributions in binary form must reproduce the above
11 // copyright notice, this list of conditions and the following disclaimer
12 // in the documentation and/or other materials provided with the
13 // distribution.
14 // * Neither the name of Google Inc. nor the names of its
15 // contributors may be used to endorse or promote products derived from
16 // this software without specific prior written permission.
17 //
18 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
19 // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
20 // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
21 // A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
22 // OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
23 // SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
24 // LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
25 // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
26 // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
27 // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
28 // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
29
30 // static_range_map_unittest.cc: Unit tests for StaticRangeMap.
31 //
32 // Author: Siyang Xie (lambxsy@google.com)
33
34 #include "breakpad_googletest_includes.h"
35 #include "common/scoped_ptr.h"
36 #include "processor/range_map-inl.h"
37 #include "processor/static_range_map-inl.h"
38 #include "processor/simple_serializer-inl.h"
39 #include "processor/map_serializers-inl.h"
40 #include "processor/logging.h"
41
42
43 namespace {
44 // Types used for testing.
45 typedef int AddressType;
46 typedef int EntryType;
47 typedef google_breakpad::StaticRangeMap< AddressType, EntryType > TestMap;
48 typedef google_breakpad::RangeMap< AddressType, EntryType > RMap;
49
50 // RangeTest contains data to use for store and retrieve tests. See
51 // RunTests for descriptions of the tests.
52 struct RangeTest {
53 // Base address to use for test
54 AddressType address;
55
56 // Size of range to use for test
57 AddressType size;
58
59 // Unique ID of range - unstorable ranges must have unique IDs too
60 EntryType id;
61
62 // Whether this range is expected to be stored successfully or not
63 bool expect_storable;
64 };
65
66 // A RangeTestSet encompasses multiple RangeTests, which are run in
67 // sequence on the same RangeMap.
68 struct RangeTestSet {
69 // An array of RangeTests
70 const RangeTest* range_tests;
71
72 // The number of tests in the set
73 unsigned int range_test_count;
74 };
75
76 // These tests will be run sequentially. The first set of tests exercises
77 // most functions of RangeTest, and verifies all of the bounds-checking.
78 const RangeTest range_tests_0[] = {
79 { INT_MIN, 16, 1, true }, // lowest possible range
80 { -2, 5, 2, true }, // a range through zero
81 { INT_MAX - 9, 11, 3, false }, // tests anti-overflow
82 { INT_MAX - 9, 10, 4, true }, // highest possible range
83 { 5, 0, 5, false }, // tests anti-zero-size
84 { 5, 1, 6, true }, // smallest possible range
85 { -20, 15, 7, true }, // entirely negative
86
87 { 10, 10, 10, true }, // causes the following tests to fail
88 { 9, 10, 11, false }, // one-less base, one-less high
89 { 9, 11, 12, false }, // one-less base, identical high
90 { 9, 12, 13, false }, // completely contains existing
91 { 10, 9, 14, false }, // identical base, one-less high
92 { 10, 10, 15, false }, // exactly identical to existing range
93 { 10, 11, 16, false }, // identical base, one-greater high
94 { 11, 8, 17, false }, // contained completely within
95 { 11, 9, 18, false }, // one-greater base, identical high
96 { 11, 10, 19, false }, // one-greater base, one-greater high
97 { 9, 2, 20, false }, // overlaps bottom by one
98 { 10, 1, 21, false }, // overlaps bottom by one, contained
99 { 19, 1, 22, false }, // overlaps top by one, contained
100 { 19, 2, 23, false }, // overlaps top by one
101
102 { 9, 1, 24, true }, // directly below without overlap
103 { 20, 1, 25, true }, // directly above without overlap
104
105 { 6, 3, 26, true }, // exactly between two ranges, gapless
106 { 7, 3, 27, false }, // tries to span two ranges
107 { 7, 5, 28, false }, // tries to span three ranges
108 { 4, 20, 29, false }, // tries to contain several ranges
109
110 { 30, 50, 30, true },
111 { 90, 25, 31, true },
112 { 35, 65, 32, false }, // tries to span two noncontiguous
113 { 120, 10000, 33, true }, // > 8-bit
114 { 20000, 20000, 34, true }, // > 8-bit
115 { 0x10001, 0x10001, 35, true }, // > 16-bit
116
117 { 27, -1, 36, false } // tests high < base
118 };
119
120 // Attempt to fill the entire space. The entire space must be filled with
121 // three stores because AddressType is signed for these tests, so RangeMap
122 // treats the size as signed and rejects sizes that appear to be negative.
123 // Even if these tests were run as unsigned, two stores would be needed
124 // to fill the space because the entire size of the space could only be
125 // described by using one more bit than would be present in AddressType.
126 const RangeTest range_tests_1[] = {
127 { INT_MIN, INT_MAX, 50, true }, // From INT_MIN to -2, inclusive
128 { -1, 2, 51, true }, // From -1 to 0, inclusive
129 { 1, INT_MAX, 52, true }, // From 1 to INT_MAX, inclusive
130 { INT_MIN, INT_MAX, 53, false }, // Can't fill the space twice
131 { -1, 2, 54, false },
132 { 1, INT_MAX, 55, false },
133 { -3, 6, 56, false }, // -3 to 2, inclusive - spans 3 ranges
134 };
135
136 // A light round of testing to verify that RetrieveRange does the right
137 // the right thing at the extremities of the range when nothing is stored
138 // there. Checks are forced without storing anything at the extremities
139 // by setting size = 0.
140 const RangeTest range_tests_2[] = {
141 { INT_MIN, 0, 100, false }, // makes RetrieveRange check low end
142 { -1, 3, 101, true },
143 { INT_MAX, 0, 102, false }, // makes RetrieveRange check high end
144 };
145
146 // Similar to the previous test set, but with a couple of ranges closer
147 // to the extremities.
148 const RangeTest range_tests_3[] = {
149 { INT_MIN + 1, 1, 110, true },
150 { INT_MAX - 1, 1, 111, true },
151 { INT_MIN, 0, 112, false }, // makes RetrieveRange check low end
152 { INT_MAX, 0, 113, false } // makes RetrieveRange check high end
153 };
154
155 // The range map is cleared between sets of tests listed here.
156 const RangeTestSet range_test_sets[] = {
157 { range_tests_0, sizeof(range_tests_0) / sizeof(RangeTest) },
158 { range_tests_1, sizeof(range_tests_1) / sizeof(RangeTest) },
159 { range_tests_2, sizeof(range_tests_2) / sizeof(RangeTest) },
160 { range_tests_3, sizeof(range_tests_3) / sizeof(RangeTest) },
161 { range_tests_0, sizeof(range_tests_0) / sizeof(RangeTest) } // Run again
162 };
163
164 } // namespace
165
166 namespace google_breakpad {
167 class TestStaticRangeMap : public ::testing::Test {
168 protected:
SetUp()169 void SetUp() {
170 kTestCasesCount_ = sizeof(range_test_sets) / sizeof(RangeTestSet);
171 }
172
173 // StoreTest uses the data in a RangeTest and calls StoreRange on the
174 // test RangeMap. It returns true if the expected result occurred, and
175 // false if something else happened.
176 void StoreTest(RMap* range_map, const RangeTest* range_test);
177
178 // RetrieveTest uses the data in RangeTest and calls RetrieveRange on the
179 // test RangeMap. If it retrieves the expected value (which can be no
180 // map entry at the specified range,) it returns true, otherwise, it returns
181 // false. RetrieveTest will check the values around the base address and
182 // the high address of a range to guard against off-by-one errors.
183 void RetrieveTest(TestMap* range_map, const RangeTest* range_test);
184
185 // Test RetrieveRangeAtIndex, which is supposed to return objects in order
186 // according to their addresses. This test is performed by looping through
187 // the map, calling RetrieveRangeAtIndex for all possible indices in sequence,
188 // and verifying that each call returns a different object than the previous
189 // call, and that ranges are returned with increasing base addresses. Returns
190 // false if the test fails.
191 void RetrieveIndexTest(const TestMap* range_map, int set);
192
193 void RunTestCase(int test_case);
194
195 unsigned int kTestCasesCount_;
196 RangeMapSerializer<AddressType, EntryType> serializer_;
197 };
198
StoreTest(RMap * range_map,const RangeTest * range_test)199 void TestStaticRangeMap::StoreTest(RMap* range_map,
200 const RangeTest* range_test) {
201 bool stored = range_map->StoreRange(range_test->address,
202 range_test->size,
203 range_test->id);
204 EXPECT_EQ(stored, range_test->expect_storable)
205 << "StoreRange id " << range_test->id << "FAILED";
206 }
207
RetrieveTest(TestMap * range_map,const RangeTest * range_test)208 void TestStaticRangeMap::RetrieveTest(TestMap* range_map,
209 const RangeTest* range_test) {
210 for (unsigned int side = 0; side <= 1; ++side) {
211 // When side == 0, check the low side (base address) of each range.
212 // When side == 1, check the high side (base + size) of each range.
213
214 // Check one-less and one-greater than the target address in addition
215 // to the target address itself.
216
217 // If the size of the range is only 1, don't check one greater than
218 // the base or one less than the high - for a successfully stored
219 // range, these tests would erroneously fail because the range is too
220 // small.
221 AddressType low_offset = -1;
222 AddressType high_offset = 1;
223 if (range_test->size == 1) {
224 if (!side) // When checking the low side,
225 high_offset = 0; // don't check one over the target.
226 else // When checking the high side,
227 low_offset = 0; // don't check one under the target.
228 }
229
230 for (AddressType offset = low_offset; offset <= high_offset; ++offset) {
231 AddressType address =
232 offset +
233 (!side ? range_test->address :
234 range_test->address + range_test->size - 1);
235
236 bool expected_result = false; // This is correct for tests not stored.
237 if (range_test->expect_storable) {
238 if (offset == 0) // When checking the target address,
239 expected_result = true; // test should always succeed.
240 else if (offset == -1) // When checking one below the target,
241 expected_result = side; // should fail low and succeed high.
242 else // When checking one above the target,
243 expected_result = !side; // should succeed low and fail high.
244 }
245
246 const EntryType* id;
247 AddressType retrieved_base;
248 AddressType retrieved_size;
249 bool retrieved = range_map->RetrieveRange(address, id,
250 &retrieved_base,
251 &retrieved_size);
252
253 bool observed_result = retrieved && *id == range_test->id;
254 EXPECT_EQ(observed_result, expected_result)
255 << "RetrieveRange id " << range_test->id
256 << ", side " << side << ", offset " << offset << " FAILED.";
257
258 // If a range was successfully retrieved, check that the returned
259 // bounds match the range as stored.
260 if (observed_result == true) {
261 EXPECT_EQ(retrieved_base, range_test->address)
262 << "RetrieveRange id " << range_test->id
263 << ", side " << side << ", offset " << offset << " FAILED.";
264 EXPECT_EQ(retrieved_size, range_test->size)
265 << "RetrieveRange id " << range_test->id
266 << ", side " << side << ", offset " << offset << " FAILED.";
267 }
268
269 // Now, check RetrieveNearestRange. The nearest range is always
270 // expected to be different from the test range when checking one
271 // less than the low side.
272 bool expected_nearest = range_test->expect_storable;
273 if (!side && offset < 0)
274 expected_nearest = false;
275
276 AddressType nearest_base;
277 AddressType nearest_size;
278 bool retrieved_nearest = range_map->RetrieveNearestRange(address,
279 id,
280 &nearest_base,
281 &nearest_size);
282
283 // When checking one greater than the high side, RetrieveNearestRange
284 // should usually return the test range. When a different range begins
285 // at that address, though, then RetrieveNearestRange should return the
286 // range at the address instead of the test range.
287 if (side && offset > 0 && nearest_base == address) {
288 expected_nearest = false;
289 }
290
291 bool observed_nearest = retrieved_nearest &&
292 *id == range_test->id;
293
294 EXPECT_EQ(observed_nearest, expected_nearest)
295 << "RetrieveRange id " << range_test->id
296 << ", side " << side << ", offset " << offset << " FAILED.";
297
298 // If a range was successfully retrieved, check that the returned
299 // bounds match the range as stored.
300 if (expected_nearest ==true) {
301 EXPECT_EQ(nearest_base, range_test->address)
302 << "RetrieveRange id " << range_test->id
303 << ", side " << side << ", offset " << offset << " FAILED.";
304 EXPECT_EQ(nearest_size, range_test->size)
305 << "RetrieveRange id " << range_test->id
306 << ", side " << side << ", offset " << offset << " FAILED.";
307 }
308 }
309 }
310 }
311
RetrieveIndexTest(const TestMap * range_map,int set)312 void TestStaticRangeMap::RetrieveIndexTest(const TestMap* range_map, int set) {
313 AddressType last_base = 0;
314 const EntryType* last_entry = 0;
315 const EntryType* entry;
316 int object_count = range_map->GetCount();
317 for (int object_index = 0; object_index < object_count; ++object_index) {
318 AddressType base;
319 ASSERT_TRUE(range_map->RetrieveRangeAtIndex(object_index,
320 entry,
321 &base,
322 NULL))
323 << "FAILED: RetrieveRangeAtIndex set " << set
324 << " index " << object_index;
325
326 ASSERT_TRUE(entry) << "FAILED: RetrieveRangeAtIndex set " << set
327 << " index " << object_index;
328
329 // It's impossible to do these comparisons unless there's a previous
330 // object to compare against.
331 if (last_entry) {
332 // The object must be different from the last_entry one.
333 EXPECT_NE(*entry, *last_entry) << "FAILED: RetrieveRangeAtIndex set "
334 << set << " index " << object_index;
335 // Each object must have a base greater than the previous object's base.
336 EXPECT_GT(base, last_base) << "FAILED: RetrieveRangeAtIndex set " << set
337 << " index " << object_index;
338 }
339 last_entry = entry;
340 last_base = base;
341 }
342
343 // Make sure that RetrieveRangeAtIndex doesn't allow lookups at indices that
344 // are too high.
345 ASSERT_FALSE(range_map->RetrieveRangeAtIndex(
346 object_count, entry, NULL, NULL)) << "FAILED: RetrieveRangeAtIndex set "
347 << set << " index " << object_count
348 << " (too large)";
349 }
350
351 // RunTests runs a series of test sets.
RunTestCase(int test_case)352 void TestStaticRangeMap::RunTestCase(int test_case) {
353 // Maintain the range map in a pointer so that deletion can be meaningfully
354 // tested.
355 scoped_ptr<RMap> rmap(new RMap());
356
357 const RangeTest* range_tests = range_test_sets[test_case].range_tests;
358 unsigned int range_test_count = range_test_sets[test_case].range_test_count;
359
360 // Run the StoreRange test, which validates StoreRange and initializes
361 // the RangeMap with data for the RetrieveRange test.
362 int stored_count = 0; // The number of ranges successfully stored
363 for (unsigned int range_test_index = 0;
364 range_test_index < range_test_count;
365 ++range_test_index) {
366 const RangeTest* range_test = &range_tests[range_test_index];
367 StoreTest(rmap.get(), range_test);
368
369 if (range_test->expect_storable)
370 ++stored_count;
371 }
372
373 scoped_array<char> memaddr(serializer_.Serialize(*rmap, NULL));
374 scoped_ptr<TestMap> static_range_map(new TestMap(memaddr.get()));
375
376 // The RangeMap's own count of objects should also match.
377 EXPECT_EQ(static_range_map->GetCount(), stored_count);
378
379 // Run the RetrieveRange test
380 for (unsigned int range_test_index = 0;
381 range_test_index < range_test_count;
382 ++range_test_index) {
383 const RangeTest* range_test = &range_tests[range_test_index];
384 RetrieveTest(static_range_map.get(), range_test);
385 }
386
387 RetrieveIndexTest(static_range_map.get(), test_case);
388 }
389
TEST_F(TestStaticRangeMap,TestCase0)390 TEST_F(TestStaticRangeMap, TestCase0) {
391 int test_case = 0;
392 RunTestCase(test_case);
393 }
394
TEST_F(TestStaticRangeMap,TestCase1)395 TEST_F(TestStaticRangeMap, TestCase1) {
396 int test_case = 1;
397 RunTestCase(test_case);
398 }
399
TEST_F(TestStaticRangeMap,TestCase2)400 TEST_F(TestStaticRangeMap, TestCase2) {
401 int test_case = 2;
402 RunTestCase(test_case);
403 }
404
TEST_F(TestStaticRangeMap,TestCase3)405 TEST_F(TestStaticRangeMap, TestCase3) {
406 int test_case = 3;
407 RunTestCase(test_case);
408 }
409
TEST_F(TestStaticRangeMap,RunTestCase0Again)410 TEST_F(TestStaticRangeMap, RunTestCase0Again) {
411 int test_case = 0;
412 RunTestCase(test_case);
413 }
414
415 } // namespace google_breakpad
416
main(int argc,char * argv[])417 int main(int argc, char *argv[]) {
418 ::testing::InitGoogleTest(&argc, argv);
419
420 return RUN_ALL_TESTS();
421 }
422