| // Protocol Buffers - Google's data interchange format |
| // Copyright 2023 Google LLC. All rights reserved. |
| // |
| // Use of this source code is governed by a BSD-style |
| // license that can be found in the LICENSE file or at |
| // https://developers.google.com/open-source/licenses/bsd |
| |
| #include "upb/json/decode.h" |
| |
| #include <string> |
| #include <vector> |
| |
| #include "google/protobuf/struct.upb.h" |
| #include <gtest/gtest.h> |
| #include "upb/base/status.hpp" |
| #include "upb/base/upcast.h" |
| #include "upb/json/test.upb.h" |
| #include "upb/json/test.upbdefs.h" |
| #include "upb/mem/arena.h" |
| #include "upb/mem/arena.hpp" |
| #include "upb/reflection/def.hpp" |
| |
| static upb_test_Box* JsonDecode(const char* json, upb_Arena* a) { |
| upb::Status status; |
| upb::DefPool defpool; |
| upb::MessageDefPtr m(upb_test_Box_getmsgdef(defpool.ptr())); |
| EXPECT_TRUE(m.ptr() != nullptr); |
| |
| upb_test_Box* box = upb_test_Box_new(a); |
| int options = 0; |
| bool ok = upb_JsonDecode(json, strlen(json), UPB_UPCAST(box), m.ptr(), |
| defpool.ptr(), options, a, status.ptr()); |
| return ok ? box : nullptr; |
| } |
| |
| struct FloatTest { |
| const std::string json; |
| float f; |
| }; |
| |
| static const std::vector<FloatTest> FloatTestsPass = { |
| {R"({"f": 0})", 0}, |
| {R"({"f": 1})", 1}, |
| {R"({"f": 1.000000})", 1}, |
| {R"({"f": 1.5e1})", 15}, |
| {R"({"f": 15e-1})", 1.5}, |
| {R"({"f": -3.5})", -3.5}, |
| {R"({"f": 3.402823e38})", 3.402823e38}, |
| {R"({"f": -3.402823e38})", -3.402823e38}, |
| {R"({"f": 340282346638528859811704183484516925440.0})", |
| 340282346638528859811704183484516925440.0}, |
| {R"({"f": -340282346638528859811704183484516925440.0})", |
| -340282346638528859811704183484516925440.0}, |
| }; |
| |
| static const std::vector<FloatTest> FloatTestsFail = { |
| {R"({"f": 1z})", 0}, |
| {R"({"f": 3.4028236e+38})", 0}, |
| {R"({"f": -3.4028236e+38})", 0}, |
| }; |
| |
| // Decode some floats. |
| TEST(JsonTest, DecodeFloats) { |
| upb::Arena a; |
| |
| for (const auto& test : FloatTestsPass) { |
| upb_test_Box* box = JsonDecode(test.json.c_str(), a.ptr()); |
| EXPECT_NE(box, nullptr); |
| float f = upb_test_Box_f(box); |
| EXPECT_EQ(f, test.f); |
| } |
| |
| for (const auto& test : FloatTestsFail) { |
| upb_test_Box* box = JsonDecode(test.json.c_str(), a.ptr()); |
| EXPECT_EQ(box, nullptr); |
| } |
| } |
| |
| TEST(JsonTest, DecodeConflictJsonName) { |
| upb::Arena a; |
| std::string json_string = R"({"value": 2})"; |
| upb_test_Box* box = JsonDecode(json_string.c_str(), a.ptr()); |
| EXPECT_EQ(2, upb_test_Box_new_value(box)); |
| EXPECT_EQ(0, upb_test_Box_value(box)); |
| } |
| |
| TEST(JsonTest, RejectsBadTrailingCharacters) { |
| upb::Arena a; |
| std::string json_string = R"({}abc)"; |
| upb_test_Box* box = JsonDecode(json_string.c_str(), a.ptr()); |
| EXPECT_EQ(box, nullptr); |
| } |
| |
| TEST(JsonTest, AcceptsTrailingWhitespace) { |
| upb::Arena a; |
| std::string json_string = "{} \n \r\n \t\t"; |
| upb_test_Box* box = JsonDecode(json_string.c_str(), a.ptr()); |
| EXPECT_NE(box, nullptr); |
| } |
| |
| // Regression: jsondec_base64_tablelookup() previously indexed a 256-byte |
| // signed-char table with table[(unsigned)ch], which let C integer |
| // promotion sign-extend bytes >= 0x80 into negative ints, producing |
| // OOB reads ~4 GiB past the table. Decoding a bytes-typed field whose |
| // JSON string contains high-bit-set bytes (e.g. the UTF-8 encoding of |
| // \u0080 = 0xC2 0x80) must fail gracefully without OOB-reading. |
| TEST(JsonTest, RejectsBase64WithHighBitBytes) { |
| upb::Arena a; |
| std::string json_string = R"({"data":"\u0080\u0080\u0080\u0080"})"; |
| upb_test_Box* box = JsonDecode(json_string.c_str(), a.ptr()); |
| EXPECT_EQ(box, nullptr); |
| } |
| |
| #include "upb/mem/alloc.h" |
| |
| struct FailAfterAlloc { |
| upb_alloc alloc; |
| int limit; |
| int count; |
| }; |
| |
| static void* FailAfterAllocFunc(upb_alloc* alloc, void* ptr, size_t oldsize, |
| size_t size, size_t* actual_size) { |
| FailAfterAlloc* self = reinterpret_cast<FailAfterAlloc*>(alloc); |
| if (size > 0) { |
| if (self->count >= self->limit) { |
| return nullptr; |
| } |
| self->count++; |
| } |
| return upb_alloc_global.func(alloc, ptr, oldsize, size, actual_size); |
| } |
| |
| static bool TryDecodeWithLimit(const char* json, int limit) { |
| FailAfterAlloc allocator = {{&FailAfterAllocFunc}, limit, 0}; |
| upb_Arena* a = upb_Arena_Init(nullptr, 0, &allocator.alloc); |
| if (!a) { |
| return false; |
| } |
| upb::Status status; |
| upb::DefPool defpool; |
| upb_test_Box* box = upb_test_Box_new(a); |
| bool ok = false; |
| if (box) { |
| upb::MessageDefPtr m(upb_test_Box_getmsgdef(defpool.ptr())); |
| int options = 0; |
| ok = upb_JsonDecode(json, strlen(json), UPB_UPCAST(box), m.ptr(), |
| defpool.ptr(), options, a, status.ptr()); |
| } |
| upb_Arena_Free(a); |
| return ok; |
| } |
| |
| static void TestJsonAllocationFailure(const char* json) { |
| int limit = 0; |
| bool success = false; |
| for (; limit < 1000; ++limit) { |
| if (TryDecodeWithLimit(json, limit)) { |
| success = true; |
| break; |
| } |
| } |
| EXPECT_TRUE(success) << "JSON failed to decode even with 1000 allocations: " |
| << json; |
| |
| for (int i = 0; i < limit; ++i) { |
| TryDecodeWithLimit(json, i); |
| } |
| } |
| |
| TEST(JsonTest, AllocationFailureFieldMask) { |
| TestJsonAllocationFailure(R"({"mask_val": "foo,bar,baz"})"); |
| } |
| |
| TEST(JsonTest, AllocationFailureListValue) { |
| TestJsonAllocationFailure(R"({"val": [1, 2, 3]})"); |
| } |
| |
| TEST(JsonTest, AllocationFailureStruct) { |
| TestJsonAllocationFailure(R"({"val": {"a": 1, "b": 2}})"); |
| } |
| |
| TEST(JsonTest, AllocationFailureAny) { |
| TestJsonAllocationFailure( |
| R"({"any_val": {"@type": "type.googleapis.com/google.protobuf.Value", "value": "foo"}})"); |
| } |