OLD | NEW |
(Empty) | |
| 1 // Copyright (c) 2014, the Dart project authors. Please see the AUTHORS file |
| 2 // for details. All rights reserved. Use of this source code is governed by a |
| 3 // BSD-style license that can be found in the LICENSE file. |
| 4 |
| 5 #include "platform/assert.h" |
| 6 #include "vm/unit_test.h" |
| 7 #include "vm/verified_memory.h" |
| 8 |
| 9 namespace dart { |
| 10 |
| 11 void Init() { |
| 12 #if defined(DEBUG) |
| 13 FLAG_verified_mem = true; |
| 14 #endif |
| 15 } |
| 16 |
| 17 |
| 18 UNIT_TEST_CASE(VerifiedMemoryBasic) { |
| 19 Init(); |
| 20 const intptr_t kReservationSize = 64 * KB; |
| 21 VirtualMemory* vm = VerifiedMemory::Reserve(kReservationSize); |
| 22 EXPECT_EQ(kReservationSize, vm->size()); |
| 23 vm->Commit(false); |
| 24 double* addr = reinterpret_cast<double*>(vm->address()); |
| 25 VerifiedMemory::Write(&addr[0], 0.5); |
| 26 EXPECT_EQ(0.5, addr[0]); |
| 27 VerifiedMemory::Write(&addr[1], 1.5); |
| 28 VerifiedMemory::Write(&addr[2], 2.5); |
| 29 VerifiedMemory::Write(&addr[0], 0.25); |
| 30 static const double kNaN = NAN; |
| 31 VerifiedMemory::Write(&addr[0], kNaN); // Bitwise comparison should be used. |
| 32 VerifiedMemory::Write(&addr[0], 0.5); |
| 33 int64_t* unverified = reinterpret_cast<int64_t*>(&addr[3]); |
| 34 *unverified = 123; |
| 35 VerifiedMemory::Verify(reinterpret_cast<uword>(addr), 3 * sizeof(double)); |
| 36 } |
| 37 |
| 38 |
| 39 UNIT_TEST_CASE(VerifiedMemoryAccept) { |
| 40 Init(); |
| 41 const intptr_t kReservationSize = 64 * KB; |
| 42 VirtualMemory* vm = VerifiedMemory::Reserve(kReservationSize); |
| 43 EXPECT_EQ(kReservationSize, vm->size()); |
| 44 vm->Commit(false); |
| 45 double* addr = reinterpret_cast<double*>(vm->address()); |
| 46 VerifiedMemory::Write(&addr[0], 0.5); |
| 47 VerifiedMemory::Write(&addr[1], 1.5); |
| 48 VerifiedMemory::Write(&addr[2], 2.5); |
| 49 VerifiedMemory::Write(&addr[0], 0.25); |
| 50 // Unverified write followed by Accept ("I know what I'm doing"). |
| 51 memset(addr, 0xf3, 2 * sizeof(double)); |
| 52 VerifiedMemory::Accept(reinterpret_cast<uword>(addr), 2 * sizeof(double)); |
| 53 VerifiedMemory::Verify(reinterpret_cast<uword>(addr), 3 * sizeof(double)); |
| 54 } |
| 55 |
| 56 |
| 57 // Negative tests below. |
| 58 |
| 59 UNIT_TEST_CASE(VerifyImplicit_Crash) { |
| 60 Init(); |
| 61 const intptr_t kReservationSize = 64 * KB; |
| 62 VirtualMemory* vm = VerifiedMemory::Reserve(kReservationSize); |
| 63 EXPECT_EQ(kReservationSize, vm->size()); |
| 64 vm->Commit(false); |
| 65 double* addr = reinterpret_cast<double*>(vm->address()); |
| 66 addr[0] = 0.5; // Forget to use Write. |
| 67 VerifiedMemory::Write(&addr[0], 1.5); |
| 68 } |
| 69 |
| 70 |
| 71 UNIT_TEST_CASE(VerifyExplicit_Crash) { |
| 72 Init(); |
| 73 const intptr_t kReservationSize = 64 * KB; |
| 74 VirtualMemory* vm = VerifiedMemory::Reserve(kReservationSize); |
| 75 EXPECT_EQ(kReservationSize, vm->size()); |
| 76 vm->Commit(false); |
| 77 double* addr = reinterpret_cast<double*>(vm->address()); |
| 78 VerifiedMemory::Write(&addr[0], 0.5); |
| 79 VerifiedMemory::Write(&addr[1], 1.5); |
| 80 addr[1] = 3.5; // Forget to use Write. |
| 81 VerifiedMemory::Write(&addr[2], 2.5); |
| 82 VerifiedMemory::Verify(reinterpret_cast<uword>(addr), 3 * sizeof(double)); |
| 83 } |
| 84 |
| 85 } // namespace dart |
OLD | NEW |