OLD | NEW |
(Empty) | |
| 1 /* |
| 2 * Copyright (c) 2014 The Native Client Authors. All rights reserved. |
| 3 * Use of this source code is governed by a BSD-style license that can be |
| 4 * found in the LICENSE file. |
| 5 */ |
| 6 |
| 7 /* |
| 8 * This tests the generation of memory layout for a MinSFI sandbox. |
| 9 * First, we check that the generated limits match the expected values, |
| 10 * and then we verify that the algorithm fails on invalid inputs. |
| 11 */ |
| 12 |
| 13 #include "native_client/src/include/minsfi.h" |
| 14 #include "native_client/src/include/minsfi_priv.h" |
| 15 #include "native_client/src/include/nacl_assert.h" |
| 16 |
| 17 static const unsigned page_size = 0x1000; |
| 18 MinsfiMemoryLayout mem; |
| 19 |
| 20 MinsfiManifest InitManifest(void) { |
| 21 MinsfiManifest sb; |
| 22 sb.ptr_size = 24; |
| 23 sb.dataseg_offset = 0x1000; |
| 24 sb.dataseg_size = 0x2400; /* intentionally not page-aligned and larger than |
| 25 page_size to test rounding up */ |
| 26 |
| 27 ASSERT_EQ(true, MinsfiGenerateMemoryLayout(&sb, page_size, &mem)); |
| 28 return sb; |
| 29 } |
| 30 |
| 31 void test_valid_layout(void) { |
| 32 MinsfiManifest sb = InitManifest(); |
| 33 |
| 34 ASSERT_EQ(true, MinsfiGenerateMemoryLayout(&sb, page_size, &mem)); |
| 35 |
| 36 ASSERT_EQ( 0x1000, mem.dataseg.offset); |
| 37 ASSERT_EQ( 0x4000, mem.dataseg.offset + mem.dataseg.length); |
| 38 ASSERT_EQ( 0x5000, mem.heap.offset); |
| 39 ASSERT_EQ( 0xFDF000, mem.heap.offset + mem.heap.length); |
| 40 ASSERT_EQ( 0xFE0000, mem.stack.offset); |
| 41 ASSERT_EQ(0x1000000, mem.stack.offset + mem.stack.length); |
| 42 } |
| 43 |
| 44 void test_page_size_not_pow2(void) { |
| 45 MinsfiManifest sb = InitManifest(); |
| 46 ASSERT_EQ(false, MinsfiGenerateMemoryLayout(&sb, 1234, &mem)); |
| 47 } |
| 48 |
| 49 void test_ptrsize_invalid(void) { |
| 50 MinsfiManifest sb = InitManifest(); |
| 51 |
| 52 sb.ptr_size = 0; |
| 53 ASSERT_EQ(false, MinsfiGenerateMemoryLayout(&sb, page_size, &mem)); |
| 54 |
| 55 sb.ptr_size = 19; |
| 56 ASSERT_EQ(false, MinsfiGenerateMemoryLayout(&sb, page_size, &mem)); |
| 57 |
| 58 sb.ptr_size = 32; |
| 59 ASSERT_EQ(true, MinsfiGenerateMemoryLayout(&sb, page_size, &mem)); |
| 60 |
| 61 sb.ptr_size = 33; |
| 62 ASSERT_EQ(false, MinsfiGenerateMemoryLayout(&sb, page_size, &mem)); |
| 63 } |
| 64 |
| 65 void test_dataseg_offset_invalid(void) { |
| 66 MinsfiManifest sb = InitManifest(); |
| 67 |
| 68 /* offset not page-aligned */ |
| 69 sb.dataseg_offset = page_size + 7; |
| 70 ASSERT_EQ(false, MinsfiGenerateMemoryLayout(&sb, page_size, &mem)); |
| 71 |
| 72 /* offset out of bounds */ |
| 73 sb.dataseg_offset = (1 << (sb.ptr_size + 1)); |
| 74 ASSERT_EQ(false, MinsfiGenerateMemoryLayout(&sb, page_size, &mem)); |
| 75 } |
| 76 |
| 77 void test_dataseg_size_invalid(void) { |
| 78 MinsfiManifest sb = InitManifest(); |
| 79 |
| 80 /* end of the region out of bounds; size gets rounded up and fails */ |
| 81 sb.dataseg_size = (1 << sb.ptr_size) - (page_size + 1); |
| 82 ASSERT_EQ(false, MinsfiGenerateMemoryLayout(&sb, page_size, &mem)); |
| 83 } |
| 84 |
| 85 void test_no_space_for_heap(void) { |
| 86 MinsfiManifest sb = InitManifest(); |
| 87 bool ret; |
| 88 |
| 89 /* heap size exactly one page */ |
| 90 sb.dataseg_size = (1 << sb.ptr_size) - sb.dataseg_offset - 35 * page_size; |
| 91 ret = MinsfiGenerateMemoryLayout(&sb, page_size, &mem); |
| 92 ASSERT_EQ(true, ret); |
| 93 ASSERT_EQ(page_size, mem.heap.length); |
| 94 |
| 95 /* heap size less than one page. */ |
| 96 sb.dataseg_size += 1; |
| 97 ASSERT_EQ(false, MinsfiGenerateMemoryLayout(&sb, page_size, &mem)); |
| 98 |
| 99 /* heap size negative */ |
| 100 sb.dataseg_size += page_size; |
| 101 ASSERT_EQ(false, MinsfiGenerateMemoryLayout(&sb, page_size, &mem)); |
| 102 } |
| 103 |
| 104 int main(void) { |
| 105 test_valid_layout(); |
| 106 test_page_size_not_pow2(); |
| 107 test_ptrsize_invalid(); |
| 108 test_dataseg_offset_invalid(); |
| 109 test_dataseg_size_invalid(); |
| 110 test_no_space_for_heap(); |
| 111 return 0; |
| 112 } |
OLD | NEW |