OLD | NEW |
(Empty) | |
| 1 // Copyright 2014 The Chromium Authors. All rights reserved. |
| 2 // Use of this source code is governed by a BSD-style license that can be |
| 3 // found in the LICENSE file. |
| 4 |
| 5 #include <stddef.h> |
| 6 #include <stdint.h> |
| 7 |
| 8 #include <string> |
| 9 #include <utility> |
| 10 |
| 11 #include "base/at_exit.h" |
| 12 #include "base/files/file_path.h" |
| 13 #include "base/files/file_util.h" |
| 14 #include "base/macros.h" |
| 15 #include "base/run_loop.h" |
| 16 #include "base/strings/utf_string_conversions.h" |
| 17 #include "base/test/scoped_task_environment.h" |
| 18 #include "base/threading/thread_task_runner_handle.h" |
| 19 #include "gin/array_buffer.h" |
| 20 #include "gin/public/isolate_holder.h" |
| 21 #include "gin/v8_initializer.h" |
| 22 #include "mojo/common/data_pipe_utils.h" |
| 23 #include "mojo/edk/js/mojo_runner_delegate.h" |
| 24 #include "mojo/edk/js/tests/js_to_cpp.mojom.h" |
| 25 #include "mojo/public/cpp/bindings/binding.h" |
| 26 #include "mojo/public/cpp/bindings/lib/validation_errors.h" |
| 27 #include "mojo/public/cpp/system/core.h" |
| 28 #include "mojo/public/cpp/system/wait.h" |
| 29 #include "testing/gtest/include/gtest/gtest.h" |
| 30 |
| 31 namespace mojo { |
| 32 namespace edk { |
| 33 namespace js { |
| 34 |
| 35 // Global value updated by some checks to prevent compilers from optimizing |
| 36 // reads out of existence. |
| 37 uint32_t g_waste_accumulator = 0; |
| 38 |
| 39 namespace { |
| 40 |
| 41 // Negative numbers with different values in each byte, the last of |
| 42 // which can survive promotion to double and back. |
| 43 const int8_t kExpectedInt8Value = -65; |
| 44 const int16_t kExpectedInt16Value = -16961; |
| 45 const int32_t kExpectedInt32Value = -1145258561; |
| 46 const int64_t kExpectedInt64Value = -77263311946305LL; |
| 47 |
| 48 // Positive numbers with different values in each byte, the last of |
| 49 // which can survive promotion to double and back. |
| 50 const uint8_t kExpectedUInt8Value = 65; |
| 51 const uint16_t kExpectedUInt16Value = 16961; |
| 52 const uint32_t kExpectedUInt32Value = 1145258561; |
| 53 const uint64_t kExpectedUInt64Value = 77263311946305LL; |
| 54 |
| 55 // Double/float values, including special case constants. |
| 56 const double kExpectedDoubleVal = 3.14159265358979323846; |
| 57 const double kExpectedDoubleInf = std::numeric_limits<double>::infinity(); |
| 58 const double kExpectedDoubleNan = std::numeric_limits<double>::quiet_NaN(); |
| 59 const float kExpectedFloatVal = static_cast<float>(kExpectedDoubleVal); |
| 60 const float kExpectedFloatInf = std::numeric_limits<float>::infinity(); |
| 61 const float kExpectedFloatNan = std::numeric_limits<float>::quiet_NaN(); |
| 62 |
| 63 // NaN has the property that it is not equal to itself. |
| 64 #define EXPECT_NAN(x) EXPECT_NE(x, x) |
| 65 |
| 66 void CheckDataPipe(ScopedDataPipeConsumerHandle data_pipe_handle) { |
| 67 std::string buffer; |
| 68 bool result = common::BlockingCopyToString(std::move(data_pipe_handle), |
| 69 &buffer); |
| 70 EXPECT_TRUE(result); |
| 71 EXPECT_EQ(64u, buffer.size()); |
| 72 for (int i = 0; i < 64; ++i) { |
| 73 EXPECT_EQ(i, buffer[i]); |
| 74 } |
| 75 } |
| 76 |
| 77 void CheckMessagePipe(MessagePipeHandle message_pipe_handle) { |
| 78 unsigned char buffer[100]; |
| 79 uint32_t buffer_size = static_cast<uint32_t>(sizeof(buffer)); |
| 80 MojoResult result = Wait(message_pipe_handle, MOJO_HANDLE_SIGNAL_READABLE); |
| 81 EXPECT_EQ(MOJO_RESULT_OK, result); |
| 82 result = ReadMessageRaw( |
| 83 message_pipe_handle, buffer, &buffer_size, 0, 0, 0); |
| 84 EXPECT_EQ(MOJO_RESULT_OK, result); |
| 85 EXPECT_EQ(64u, buffer_size); |
| 86 for (int i = 0; i < 64; ++i) { |
| 87 EXPECT_EQ(255 - i, buffer[i]); |
| 88 } |
| 89 } |
| 90 |
| 91 js_to_cpp::EchoArgsPtr BuildSampleEchoArgs() { |
| 92 js_to_cpp::EchoArgsPtr args(js_to_cpp::EchoArgs::New()); |
| 93 args->si64 = kExpectedInt64Value; |
| 94 args->si32 = kExpectedInt32Value; |
| 95 args->si16 = kExpectedInt16Value; |
| 96 args->si8 = kExpectedInt8Value; |
| 97 args->ui64 = kExpectedUInt64Value; |
| 98 args->ui32 = kExpectedUInt32Value; |
| 99 args->ui16 = kExpectedUInt16Value; |
| 100 args->ui8 = kExpectedUInt8Value; |
| 101 args->float_val = kExpectedFloatVal; |
| 102 args->float_inf = kExpectedFloatInf; |
| 103 args->float_nan = kExpectedFloatNan; |
| 104 args->double_val = kExpectedDoubleVal; |
| 105 args->double_inf = kExpectedDoubleInf; |
| 106 args->double_nan = kExpectedDoubleNan; |
| 107 args->name.emplace("coming"); |
| 108 args->string_array.emplace(3); |
| 109 (*args->string_array)[0] = "one"; |
| 110 (*args->string_array)[1] = "two"; |
| 111 (*args->string_array)[2] = "three"; |
| 112 return args; |
| 113 } |
| 114 |
| 115 void CheckSampleEchoArgs(js_to_cpp::EchoArgsPtr arg) { |
| 116 EXPECT_EQ(kExpectedInt64Value, arg->si64); |
| 117 EXPECT_EQ(kExpectedInt32Value, arg->si32); |
| 118 EXPECT_EQ(kExpectedInt16Value, arg->si16); |
| 119 EXPECT_EQ(kExpectedInt8Value, arg->si8); |
| 120 EXPECT_EQ(kExpectedUInt64Value, arg->ui64); |
| 121 EXPECT_EQ(kExpectedUInt32Value, arg->ui32); |
| 122 EXPECT_EQ(kExpectedUInt16Value, arg->ui16); |
| 123 EXPECT_EQ(kExpectedUInt8Value, arg->ui8); |
| 124 EXPECT_EQ(kExpectedFloatVal, arg->float_val); |
| 125 EXPECT_EQ(kExpectedFloatInf, arg->float_inf); |
| 126 EXPECT_NAN(arg->float_nan); |
| 127 EXPECT_EQ(kExpectedDoubleVal, arg->double_val); |
| 128 EXPECT_EQ(kExpectedDoubleInf, arg->double_inf); |
| 129 EXPECT_NAN(arg->double_nan); |
| 130 EXPECT_EQ(std::string("coming"), *arg->name); |
| 131 EXPECT_EQ(std::string("one"), (*arg->string_array)[0]); |
| 132 EXPECT_EQ(std::string("two"), (*arg->string_array)[1]); |
| 133 EXPECT_EQ(std::string("three"), (*arg->string_array)[2]); |
| 134 CheckDataPipe(std::move(arg->data_handle)); |
| 135 CheckMessagePipe(arg->message_handle.get()); |
| 136 } |
| 137 |
| 138 void CheckSampleEchoArgsList(const js_to_cpp::EchoArgsListPtr& list) { |
| 139 if (list.is_null()) |
| 140 return; |
| 141 CheckSampleEchoArgs(std::move(list->item)); |
| 142 CheckSampleEchoArgsList(list->next); |
| 143 } |
| 144 |
| 145 // More forgiving checks are needed in the face of potentially corrupt |
| 146 // messages. The values don't matter so long as all accesses are within |
| 147 // bounds. |
| 148 void CheckCorruptedString(const std::string& arg) { |
| 149 for (size_t i = 0; i < arg.size(); ++i) |
| 150 g_waste_accumulator += arg[i]; |
| 151 } |
| 152 |
| 153 void CheckCorruptedString(const base::Optional<std::string>& arg) { |
| 154 if (!arg) |
| 155 return; |
| 156 CheckCorruptedString(*arg); |
| 157 } |
| 158 |
| 159 void CheckCorruptedStringArray( |
| 160 const base::Optional<std::vector<std::string>>& string_array) { |
| 161 if (!string_array) |
| 162 return; |
| 163 for (size_t i = 0; i < string_array->size(); ++i) |
| 164 CheckCorruptedString((*string_array)[i]); |
| 165 } |
| 166 |
| 167 void CheckCorruptedDataPipe(MojoHandle data_pipe_handle) { |
| 168 unsigned char buffer[100]; |
| 169 uint32_t buffer_size = static_cast<uint32_t>(sizeof(buffer)); |
| 170 MojoResult result = MojoReadData( |
| 171 data_pipe_handle, buffer, &buffer_size, MOJO_READ_DATA_FLAG_NONE); |
| 172 if (result != MOJO_RESULT_OK) |
| 173 return; |
| 174 for (uint32_t i = 0; i < buffer_size; ++i) |
| 175 g_waste_accumulator += buffer[i]; |
| 176 } |
| 177 |
| 178 void CheckCorruptedMessagePipe(MojoHandle message_pipe_handle) { |
| 179 unsigned char buffer[100]; |
| 180 uint32_t buffer_size = static_cast<uint32_t>(sizeof(buffer)); |
| 181 MojoResult result = MojoReadMessage( |
| 182 message_pipe_handle, buffer, &buffer_size, 0, 0, 0); |
| 183 if (result != MOJO_RESULT_OK) |
| 184 return; |
| 185 for (uint32_t i = 0; i < buffer_size; ++i) |
| 186 g_waste_accumulator += buffer[i]; |
| 187 } |
| 188 |
| 189 void CheckCorruptedEchoArgs(const js_to_cpp::EchoArgsPtr& arg) { |
| 190 if (arg.is_null()) |
| 191 return; |
| 192 CheckCorruptedString(arg->name); |
| 193 CheckCorruptedStringArray(arg->string_array); |
| 194 if (arg->data_handle.is_valid()) |
| 195 CheckCorruptedDataPipe(arg->data_handle.get().value()); |
| 196 if (arg->message_handle.is_valid()) |
| 197 CheckCorruptedMessagePipe(arg->message_handle.get().value()); |
| 198 } |
| 199 |
| 200 void CheckCorruptedEchoArgsList(const js_to_cpp::EchoArgsListPtr& list) { |
| 201 if (list.is_null()) |
| 202 return; |
| 203 CheckCorruptedEchoArgs(list->item); |
| 204 CheckCorruptedEchoArgsList(list->next); |
| 205 } |
| 206 |
| 207 // Base Provider implementation class. It's expected that tests subclass and |
| 208 // override the appropriate Provider functions. When test is done quit the |
| 209 // run_loop(). |
| 210 class CppSideConnection : public js_to_cpp::CppSide { |
| 211 public: |
| 212 CppSideConnection() |
| 213 : run_loop_(nullptr), |
| 214 js_side_(nullptr), |
| 215 mishandled_messages_(0), |
| 216 binding_(this) {} |
| 217 ~CppSideConnection() override {} |
| 218 |
| 219 void set_run_loop(base::RunLoop* run_loop) { run_loop_ = run_loop; } |
| 220 base::RunLoop* run_loop() { return run_loop_; } |
| 221 |
| 222 void set_js_side(js_to_cpp::JsSide* js_side) { js_side_ = js_side; } |
| 223 js_to_cpp::JsSide* js_side() { return js_side_; } |
| 224 |
| 225 void Bind(InterfaceRequest<js_to_cpp::CppSide> request) { |
| 226 binding_.Bind(std::move(request)); |
| 227 // Keep the pipe open even after validation errors. |
| 228 binding_.EnableTestingMode(); |
| 229 } |
| 230 |
| 231 // js_to_cpp::CppSide: |
| 232 void StartTest() override { NOTREACHED(); } |
| 233 |
| 234 void TestFinished() override { NOTREACHED(); } |
| 235 |
| 236 void PingResponse() override { mishandled_messages_ += 1; } |
| 237 |
| 238 void EchoResponse(js_to_cpp::EchoArgsListPtr list) override { |
| 239 mishandled_messages_ += 1; |
| 240 } |
| 241 |
| 242 void BitFlipResponse( |
| 243 js_to_cpp::EchoArgsListPtr list, |
| 244 js_to_cpp::ForTestingAssociatedPtrInfo not_used) override { |
| 245 mishandled_messages_ += 1; |
| 246 } |
| 247 |
| 248 void BackPointerResponse(js_to_cpp::EchoArgsListPtr list) override { |
| 249 mishandled_messages_ += 1; |
| 250 } |
| 251 |
| 252 protected: |
| 253 base::RunLoop* run_loop_; |
| 254 js_to_cpp::JsSide* js_side_; |
| 255 int mishandled_messages_; |
| 256 mojo::Binding<js_to_cpp::CppSide> binding_; |
| 257 |
| 258 private: |
| 259 DISALLOW_COPY_AND_ASSIGN(CppSideConnection); |
| 260 }; |
| 261 |
| 262 // Trivial test to verify a message sent from JS is received. |
| 263 class PingCppSideConnection : public CppSideConnection { |
| 264 public: |
| 265 PingCppSideConnection() : got_message_(false) {} |
| 266 ~PingCppSideConnection() override {} |
| 267 |
| 268 // js_to_cpp::CppSide: |
| 269 void StartTest() override { js_side_->Ping(); } |
| 270 |
| 271 void PingResponse() override { |
| 272 got_message_ = true; |
| 273 run_loop()->Quit(); |
| 274 } |
| 275 |
| 276 bool DidSucceed() { |
| 277 return got_message_ && !mishandled_messages_; |
| 278 } |
| 279 |
| 280 private: |
| 281 bool got_message_; |
| 282 DISALLOW_COPY_AND_ASSIGN(PingCppSideConnection); |
| 283 }; |
| 284 |
| 285 // Test that parameters are passed with correct values. |
| 286 class EchoCppSideConnection : public CppSideConnection { |
| 287 public: |
| 288 EchoCppSideConnection() : |
| 289 message_count_(0), |
| 290 termination_seen_(false) { |
| 291 } |
| 292 ~EchoCppSideConnection() override {} |
| 293 |
| 294 // js_to_cpp::CppSide: |
| 295 void StartTest() override { |
| 296 js_side_->Echo(kExpectedMessageCount, BuildSampleEchoArgs()); |
| 297 } |
| 298 |
| 299 void EchoResponse(js_to_cpp::EchoArgsListPtr list) override { |
| 300 const js_to_cpp::EchoArgsPtr& special_arg = list->item; |
| 301 message_count_ += 1; |
| 302 EXPECT_EQ(-1, special_arg->si64); |
| 303 EXPECT_EQ(-1, special_arg->si32); |
| 304 EXPECT_EQ(-1, special_arg->si16); |
| 305 EXPECT_EQ(-1, special_arg->si8); |
| 306 EXPECT_EQ(std::string("going"), *special_arg->name); |
| 307 CheckSampleEchoArgsList(list->next); |
| 308 } |
| 309 |
| 310 void TestFinished() override { |
| 311 termination_seen_ = true; |
| 312 run_loop()->Quit(); |
| 313 } |
| 314 |
| 315 bool DidSucceed() { |
| 316 return termination_seen_ && |
| 317 !mishandled_messages_ && |
| 318 message_count_ == kExpectedMessageCount; |
| 319 } |
| 320 |
| 321 private: |
| 322 static const int kExpectedMessageCount = 10; |
| 323 int message_count_; |
| 324 bool termination_seen_; |
| 325 DISALLOW_COPY_AND_ASSIGN(EchoCppSideConnection); |
| 326 }; |
| 327 |
| 328 // Test that corrupted messages don't wreak havoc. |
| 329 class BitFlipCppSideConnection : public CppSideConnection { |
| 330 public: |
| 331 BitFlipCppSideConnection() : termination_seen_(false) {} |
| 332 ~BitFlipCppSideConnection() override {} |
| 333 |
| 334 // js_to_cpp::CppSide: |
| 335 void StartTest() override { js_side_->BitFlip(BuildSampleEchoArgs()); } |
| 336 |
| 337 void BitFlipResponse( |
| 338 js_to_cpp::EchoArgsListPtr list, |
| 339 js_to_cpp::ForTestingAssociatedPtrInfo not_used) override { |
| 340 CheckCorruptedEchoArgsList(list); |
| 341 } |
| 342 |
| 343 void TestFinished() override { |
| 344 termination_seen_ = true; |
| 345 run_loop()->Quit(); |
| 346 } |
| 347 |
| 348 bool DidSucceed() { |
| 349 return termination_seen_; |
| 350 } |
| 351 |
| 352 private: |
| 353 bool termination_seen_; |
| 354 DISALLOW_COPY_AND_ASSIGN(BitFlipCppSideConnection); |
| 355 }; |
| 356 |
| 357 // Test that severely random messages don't wreak havoc. |
| 358 class BackPointerCppSideConnection : public CppSideConnection { |
| 359 public: |
| 360 BackPointerCppSideConnection() : termination_seen_(false) {} |
| 361 ~BackPointerCppSideConnection() override {} |
| 362 |
| 363 // js_to_cpp::CppSide: |
| 364 void StartTest() override { js_side_->BackPointer(BuildSampleEchoArgs()); } |
| 365 |
| 366 void BackPointerResponse(js_to_cpp::EchoArgsListPtr list) override { |
| 367 CheckCorruptedEchoArgsList(list); |
| 368 } |
| 369 |
| 370 void TestFinished() override { |
| 371 termination_seen_ = true; |
| 372 run_loop()->Quit(); |
| 373 } |
| 374 |
| 375 bool DidSucceed() { |
| 376 return termination_seen_; |
| 377 } |
| 378 |
| 379 private: |
| 380 bool termination_seen_; |
| 381 DISALLOW_COPY_AND_ASSIGN(BackPointerCppSideConnection); |
| 382 }; |
| 383 |
| 384 } // namespace |
| 385 |
| 386 class JsToCppTest : public testing::Test { |
| 387 public: |
| 388 JsToCppTest() {} |
| 389 |
| 390 void RunTest(const std::string& test, CppSideConnection* cpp_side) { |
| 391 cpp_side->set_run_loop(&run_loop_); |
| 392 |
| 393 js_to_cpp::JsSidePtr js_side; |
| 394 auto js_side_proxy = MakeRequest(&js_side); |
| 395 |
| 396 cpp_side->set_js_side(js_side.get()); |
| 397 js_to_cpp::CppSidePtr cpp_side_ptr; |
| 398 cpp_side->Bind(MakeRequest(&cpp_side_ptr)); |
| 399 |
| 400 js_side->SetCppSide(std::move(cpp_side_ptr)); |
| 401 |
| 402 #ifdef V8_USE_EXTERNAL_STARTUP_DATA |
| 403 gin::V8Initializer::LoadV8Snapshot(); |
| 404 gin::V8Initializer::LoadV8Natives(); |
| 405 #endif |
| 406 |
| 407 gin::IsolateHolder::Initialize(gin::IsolateHolder::kStrictMode, |
| 408 gin::IsolateHolder::kStableV8Extras, |
| 409 gin::ArrayBufferAllocator::SharedInstance()); |
| 410 gin::IsolateHolder instance(base::ThreadTaskRunnerHandle::Get()); |
| 411 MojoRunnerDelegate delegate; |
| 412 gin::ShellRunner runner(&delegate, instance.isolate()); |
| 413 delegate.Start(&runner, js_side_proxy.PassMessagePipe().release().value(), |
| 414 test); |
| 415 |
| 416 run_loop_.Run(); |
| 417 } |
| 418 |
| 419 private: |
| 420 base::ShadowingAtExitManager at_exit_; |
| 421 base::test::ScopedTaskEnvironment scoped_task_environment_; |
| 422 base::RunLoop run_loop_; |
| 423 |
| 424 DISALLOW_COPY_AND_ASSIGN(JsToCppTest); |
| 425 }; |
| 426 |
| 427 TEST_F(JsToCppTest, Ping) { |
| 428 PingCppSideConnection cpp_side_connection; |
| 429 RunTest("mojo/edk/js/tests/js_to_cpp_tests", &cpp_side_connection); |
| 430 EXPECT_TRUE(cpp_side_connection.DidSucceed()); |
| 431 } |
| 432 |
| 433 TEST_F(JsToCppTest, Echo) { |
| 434 EchoCppSideConnection cpp_side_connection; |
| 435 RunTest("mojo/edk/js/tests/js_to_cpp_tests", &cpp_side_connection); |
| 436 EXPECT_TRUE(cpp_side_connection.DidSucceed()); |
| 437 } |
| 438 |
| 439 TEST_F(JsToCppTest, BitFlip) { |
| 440 // These tests generate a lot of expected validation errors. Suppress logging. |
| 441 mojo::internal::ScopedSuppressValidationErrorLoggingForTests log_suppression; |
| 442 |
| 443 BitFlipCppSideConnection cpp_side_connection; |
| 444 RunTest("mojo/edk/js/tests/js_to_cpp_tests", &cpp_side_connection); |
| 445 EXPECT_TRUE(cpp_side_connection.DidSucceed()); |
| 446 } |
| 447 |
| 448 TEST_F(JsToCppTest, BackPointer) { |
| 449 // These tests generate a lot of expected validation errors. Suppress logging. |
| 450 mojo::internal::ScopedSuppressValidationErrorLoggingForTests log_suppression; |
| 451 |
| 452 BackPointerCppSideConnection cpp_side_connection; |
| 453 RunTest("mojo/edk/js/tests/js_to_cpp_tests", &cpp_side_connection); |
| 454 EXPECT_TRUE(cpp_side_connection.DidSucceed()); |
| 455 } |
| 456 |
| 457 } // namespace js |
| 458 } // namespace edk |
| 459 } // namespace mojo |
OLD | NEW |