| // Copyright (c) 2012 The Chromium Authors. All rights reserved. |
| // Use of this source code is governed by a BSD-style license that can be |
| // found in the LICENSE file. |
| |
| #include "base/json/json_parser.h" |
| |
| #include <cmath> |
| #include <utility> |
| #include <vector> |
| |
| #include "base/logging.h" |
| #include "base/macros.h" |
| #include "base/numerics/safe_conversions.h" |
| #include "base/strings/string_number_conversions.h" |
| #include "base/strings/string_piece.h" |
| #include "base/strings/string_util.h" |
| #include "base/strings/stringprintf.h" |
| #include "base/strings/utf_string_conversion_utils.h" |
| #include "base/strings/utf_string_conversions.h" |
| #include "base/third_party/icu/icu_utf.h" |
| #include "base/values.h" |
| |
| namespace base { |
| namespace internal { |
| |
| namespace { |
| |
| const int32_t kExtendedASCIIStart = 0x80; |
| |
| // Simple class that checks for maximum recursion/"stack overflow." |
| class StackMarker { |
| public: |
| StackMarker(int max_depth, int* depth) |
| : max_depth_(max_depth), depth_(depth) { |
| ++(*depth_); |
| DCHECK_LE(*depth_, max_depth_); |
| } |
| ~StackMarker() { |
| --(*depth_); |
| } |
| |
| bool IsTooDeep() const { return *depth_ >= max_depth_; } |
| |
| private: |
| const int max_depth_; |
| int* const depth_; |
| |
| DISALLOW_COPY_AND_ASSIGN(StackMarker); |
| }; |
| |
| constexpr uint32_t kUnicodeReplacementPoint = 0xFFFD; |
| |
| } // namespace |
| |
| // This is U+FFFD. |
| const char kUnicodeReplacementString[] = "\xEF\xBF\xBD"; |
| |
| JSONParser::JSONParser(int options, int max_depth) |
| : options_(options), |
| max_depth_(max_depth), |
| index_(0), |
| stack_depth_(0), |
| line_number_(0), |
| index_last_line_(0), |
| error_code_(JSONReader::JSON_NO_ERROR), |
| error_line_(0), |
| error_column_(0) { |
| CHECK_LE(max_depth, JSONReader::kStackMaxDepth); |
| } |
| |
| JSONParser::~JSONParser() = default; |
| |
| Optional<Value> JSONParser::Parse(StringPiece input) { |
| input_ = input; |
| index_ = 0; |
| line_number_ = 1; |
| index_last_line_ = 0; |
| |
| error_code_ = JSONReader::JSON_NO_ERROR; |
| error_line_ = 0; |
| error_column_ = 0; |
| |
| // ICU and ReadUnicodeCharacter() use int32_t for lengths, so ensure |
| // that the index_ will not overflow when parsing. |
| if (!base::IsValueInRangeForNumericType<int32_t>(input.length())) { |
| ReportError(JSONReader::JSON_TOO_LARGE, 0); |
| return nullopt; |
| } |
| |
| // When the input JSON string starts with a UTF-8 Byte-Order-Mark, |
| // advance the start position to avoid the ParseNextToken function mis- |
| // treating a Unicode BOM as an invalid character and returning NULL. |
| ConsumeIfMatch("\xEF\xBB\xBF"); |
| |
| // Parse the first and any nested tokens. |
| Optional<Value> root(ParseNextToken()); |
| if (!root) |
| return nullopt; |
| |
| // Make sure the input stream is at an end. |
| if (GetNextToken() != T_END_OF_INPUT) { |
| ReportError(JSONReader::JSON_UNEXPECTED_DATA_AFTER_ROOT, 1); |
| return nullopt; |
| } |
| |
| return root; |
| } |
| |
| JSONReader::JsonParseError JSONParser::error_code() const { |
| return error_code_; |
| } |
| |
| std::string JSONParser::GetErrorMessage() const { |
| return FormatErrorMessage(error_line_, error_column_, |
| JSONReader::ErrorCodeToString(error_code_)); |
| } |
| |
| int JSONParser::error_line() const { |
| return error_line_; |
| } |
| |
| int JSONParser::error_column() const { |
| return error_column_; |
| } |
| |
| // StringBuilder /////////////////////////////////////////////////////////////// |
| |
| JSONParser::StringBuilder::StringBuilder() : StringBuilder(nullptr) {} |
| |
| JSONParser::StringBuilder::StringBuilder(const char* pos) |
| : pos_(pos), length_(0) {} |
| |
| JSONParser::StringBuilder::~StringBuilder() = default; |
| |
| JSONParser::StringBuilder& JSONParser::StringBuilder::operator=( |
| StringBuilder&& other) = default; |
| |
| void JSONParser::StringBuilder::Append(uint32_t point) { |
| DCHECK(IsValidCharacter(point)); |
| |
| if (point < kExtendedASCIIStart && !string_) { |
| DCHECK_EQ(static_cast<char>(point), pos_[length_]); |
| ++length_; |
| } else { |
| Convert(); |
| if (UNLIKELY(point == kUnicodeReplacementPoint)) { |
| string_->append(kUnicodeReplacementString); |
| } else { |
| WriteUnicodeCharacter(point, &*string_); |
| } |
| } |
| } |
| |
| void JSONParser::StringBuilder::Convert() { |
| if (string_) |
| return; |
| string_.emplace(pos_, length_); |
| } |
| |
| std::string JSONParser::StringBuilder::DestructiveAsString() { |
| if (string_) |
| return std::move(*string_); |
| return std::string(pos_, length_); |
| } |
| |
| // JSONParser private ////////////////////////////////////////////////////////// |
| |
| Optional<StringPiece> JSONParser::PeekChars(int count) { |
| if (static_cast<size_t>(index_) + count > input_.length()) |
| return nullopt; |
| // Using StringPiece::substr() is significantly slower (according to |
| // base_perftests) than constructing a substring manually. |
| return StringPiece(input_.data() + index_, count); |
| } |
| |
| Optional<char> JSONParser::PeekChar() { |
| Optional<StringPiece> chars = PeekChars(1); |
| if (chars) |
| return (*chars)[0]; |
| return nullopt; |
| } |
| |
| Optional<StringPiece> JSONParser::ConsumeChars(int count) { |
| Optional<StringPiece> chars = PeekChars(count); |
| if (chars) |
| index_ += count; |
| return chars; |
| } |
| |
| Optional<char> JSONParser::ConsumeChar() { |
| Optional<StringPiece> chars = ConsumeChars(1); |
| if (chars) |
| return (*chars)[0]; |
| return nullopt; |
| } |
| |
| const char* JSONParser::pos() { |
| CHECK_LE(static_cast<size_t>(index_), input_.length()); |
| return input_.data() + index_; |
| } |
| |
| JSONParser::Token JSONParser::GetNextToken() { |
| EatWhitespaceAndComments(); |
| |
| Optional<char> c = PeekChar(); |
| if (!c) |
| return T_END_OF_INPUT; |
| |
| switch (*c) { |
| case '{': |
| return T_OBJECT_BEGIN; |
| case '}': |
| return T_OBJECT_END; |
| case '[': |
| return T_ARRAY_BEGIN; |
| case ']': |
| return T_ARRAY_END; |
| case '"': |
| return T_STRING; |
| case '0': |
| case '1': |
| case '2': |
| case '3': |
| case '4': |
| case '5': |
| case '6': |
| case '7': |
| case '8': |
| case '9': |
| case '-': |
| return T_NUMBER; |
| case 't': |
| return T_BOOL_TRUE; |
| case 'f': |
| return T_BOOL_FALSE; |
| case 'n': |
| return T_NULL; |
| case ',': |
| return T_LIST_SEPARATOR; |
| case ':': |
| return T_OBJECT_PAIR_SEPARATOR; |
| default: |
| return T_INVALID_TOKEN; |
| } |
| } |
| |
| void JSONParser::EatWhitespaceAndComments() { |
| while (Optional<char> c = PeekChar()) { |
| switch (*c) { |
| case '\r': |
| case '\n': |
| index_last_line_ = index_; |
| // Don't increment line_number_ twice for "\r\n". |
| if (!(c == '\n' && index_ > 0 && input_[index_ - 1] == '\r')) { |
| ++line_number_; |
| } |
| FALLTHROUGH; |
| case ' ': |
| case '\t': |
| ConsumeChar(); |
| break; |
| case '/': |
| if (!EatComment()) |
| return; |
| break; |
| default: |
| return; |
| } |
| } |
| } |
| |
| bool JSONParser::EatComment() { |
| Optional<StringPiece> comment_start = ConsumeChars(2); |
| if (!comment_start) |
| return false; |
| |
| if (comment_start == "//") { |
| // Single line comment, read to newline. |
| while (Optional<char> c = PeekChar()) { |
| if (c == '\n' || c == '\r') |
| return true; |
| ConsumeChar(); |
| } |
| } else if (comment_start == "/*") { |
| char previous_char = '\0'; |
| // Block comment, read until end marker. |
| while (Optional<char> c = PeekChar()) { |
| if (previous_char == '*' && c == '/') { |
| // EatWhitespaceAndComments will inspect pos(), which will still be on |
| // the last / of the comment, so advance once more (which may also be |
| // end of input). |
| ConsumeChar(); |
| return true; |
| } |
| previous_char = *ConsumeChar(); |
| } |
| |
| // If the comment is unterminated, GetNextToken will report T_END_OF_INPUT. |
| } |
| |
| return false; |
| } |
| |
| Optional<Value> JSONParser::ParseNextToken() { |
| return ParseToken(GetNextToken()); |
| } |
| |
| Optional<Value> JSONParser::ParseToken(Token token) { |
| switch (token) { |
| case T_OBJECT_BEGIN: |
| return ConsumeDictionary(); |
| case T_ARRAY_BEGIN: |
| return ConsumeList(); |
| case T_STRING: |
| return ConsumeString(); |
| case T_NUMBER: |
| return ConsumeNumber(); |
| case T_BOOL_TRUE: |
| case T_BOOL_FALSE: |
| case T_NULL: |
| return ConsumeLiteral(); |
| default: |
| ReportError(JSONReader::JSON_UNEXPECTED_TOKEN, 1); |
| return nullopt; |
| } |
| } |
| |
| Optional<Value> JSONParser::ConsumeDictionary() { |
| if (ConsumeChar() != '{') { |
| ReportError(JSONReader::JSON_UNEXPECTED_TOKEN, 1); |
| return nullopt; |
| } |
| |
| StackMarker depth_check(max_depth_, &stack_depth_); |
| if (depth_check.IsTooDeep()) { |
| ReportError(JSONReader::JSON_TOO_MUCH_NESTING, 0); |
| return nullopt; |
| } |
| |
| std::vector<Value::DictStorage::value_type> dict_storage; |
| |
| Token token = GetNextToken(); |
| while (token != T_OBJECT_END) { |
| if (token != T_STRING) { |
| ReportError(JSONReader::JSON_UNQUOTED_DICTIONARY_KEY, 1); |
| return nullopt; |
| } |
| |
| // First consume the key. |
| StringBuilder key; |
| if (!ConsumeStringRaw(&key)) { |
| return nullopt; |
| } |
| |
| // Read the separator. |
| token = GetNextToken(); |
| if (token != T_OBJECT_PAIR_SEPARATOR) { |
| ReportError(JSONReader::JSON_SYNTAX_ERROR, 1); |
| return nullopt; |
| } |
| |
| // The next token is the value. Ownership transfers to |dict|. |
| ConsumeChar(); |
| Optional<Value> value = ParseNextToken(); |
| if (!value) { |
| // ReportError from deeper level. |
| return nullopt; |
| } |
| |
| dict_storage.emplace_back(key.DestructiveAsString(), |
| std::make_unique<Value>(std::move(*value))); |
| |
| token = GetNextToken(); |
| if (token == T_LIST_SEPARATOR) { |
| ConsumeChar(); |
| token = GetNextToken(); |
| if (token == T_OBJECT_END && !(options_ & JSON_ALLOW_TRAILING_COMMAS)) { |
| ReportError(JSONReader::JSON_TRAILING_COMMA, 1); |
| return nullopt; |
| } |
| } else if (token != T_OBJECT_END) { |
| ReportError(JSONReader::JSON_SYNTAX_ERROR, 0); |
| return nullopt; |
| } |
| } |
| |
| ConsumeChar(); // Closing '}'. |
| |
| return Value(Value::DictStorage(std::move(dict_storage), KEEP_LAST_OF_DUPES)); |
| } |
| |
| Optional<Value> JSONParser::ConsumeList() { |
| if (ConsumeChar() != '[') { |
| ReportError(JSONReader::JSON_UNEXPECTED_TOKEN, 1); |
| return nullopt; |
| } |
| |
| StackMarker depth_check(max_depth_, &stack_depth_); |
| if (depth_check.IsTooDeep()) { |
| ReportError(JSONReader::JSON_TOO_MUCH_NESTING, 0); |
| return nullopt; |
| } |
| |
| Value::ListStorage list_storage; |
| |
| Token token = GetNextToken(); |
| while (token != T_ARRAY_END) { |
| Optional<Value> item = ParseToken(token); |
| if (!item) { |
| // ReportError from deeper level. |
| return nullopt; |
| } |
| |
| list_storage.push_back(std::move(*item)); |
| |
| token = GetNextToken(); |
| if (token == T_LIST_SEPARATOR) { |
| ConsumeChar(); |
| token = GetNextToken(); |
| if (token == T_ARRAY_END && !(options_ & JSON_ALLOW_TRAILING_COMMAS)) { |
| ReportError(JSONReader::JSON_TRAILING_COMMA, 1); |
| return nullopt; |
| } |
| } else if (token != T_ARRAY_END) { |
| ReportError(JSONReader::JSON_SYNTAX_ERROR, 1); |
| return nullopt; |
| } |
| } |
| |
| ConsumeChar(); // Closing ']'. |
| |
| return Value(std::move(list_storage)); |
| } |
| |
| Optional<Value> JSONParser::ConsumeString() { |
| StringBuilder string; |
| if (!ConsumeStringRaw(&string)) |
| return nullopt; |
| |
| return Value(string.DestructiveAsString()); |
| } |
| |
| bool JSONParser::ConsumeStringRaw(StringBuilder* out) { |
| if (ConsumeChar() != '"') { |
| ReportError(JSONReader::JSON_UNEXPECTED_TOKEN, 1); |
| return false; |
| } |
| |
| // StringBuilder will internally build a StringPiece unless a UTF-16 |
| // conversion occurs, at which point it will perform a copy into a |
| // std::string. |
| StringBuilder string(pos()); |
| |
| while (PeekChar()) { |
| uint32_t next_char = 0; |
| if (!ReadUnicodeCharacter(input_.data(), |
| static_cast<int32_t>(input_.length()), |
| &index_, |
| &next_char) || |
| !IsValidCharacter(next_char)) { |
| if ((options_ & JSON_REPLACE_INVALID_CHARACTERS) == 0) { |
| ReportError(JSONReader::JSON_UNSUPPORTED_ENCODING, 1); |
| return false; |
| } |
| ConsumeChar(); |
| string.Append(kUnicodeReplacementPoint); |
| continue; |
| } |
| |
| if (next_char == '"') { |
| ConsumeChar(); |
| *out = std::move(string); |
| return true; |
| } |
| if (next_char != '\\') { |
| // If this character is not an escape sequence... |
| ConsumeChar(); |
| string.Append(next_char); |
| } else { |
| // And if it is an escape sequence, the input string will be adjusted |
| // (either by combining the two characters of an encoded escape sequence, |
| // or with a UTF conversion), so using StringPiece isn't possible -- force |
| // a conversion. |
| string.Convert(); |
| |
| // Read past the escape '\' and ensure there's a character following. |
| Optional<StringPiece> escape_sequence = ConsumeChars(2); |
| if (!escape_sequence) { |
| ReportError(JSONReader::JSON_INVALID_ESCAPE, 0); |
| return false; |
| } |
| |
| switch ((*escape_sequence)[1]) { |
| // Allowed esape sequences: |
| case 'x': { // UTF-8 sequence. |
| // UTF-8 \x escape sequences are not allowed in the spec, but they |
| // are supported here for backwards-compatiblity with the old parser. |
| escape_sequence = ConsumeChars(2); |
| if (!escape_sequence) { |
| ReportError(JSONReader::JSON_INVALID_ESCAPE, -2); |
| return false; |
| } |
| |
| int hex_digit = 0; |
| if (!HexStringToInt(*escape_sequence, &hex_digit) || |
| !IsValidCharacter(hex_digit)) { |
| ReportError(JSONReader::JSON_INVALID_ESCAPE, -2); |
| return false; |
| } |
| |
| string.Append(hex_digit); |
| break; |
| } |
| case 'u': { // UTF-16 sequence. |
| // UTF units are of the form \uXXXX. |
| uint32_t code_point; |
| if (!DecodeUTF16(&code_point)) { |
| ReportError(JSONReader::JSON_INVALID_ESCAPE, 0); |
| return false; |
| } |
| string.Append(code_point); |
| break; |
| } |
| case '"': |
| string.Append('"'); |
| break; |
| case '\\': |
| string.Append('\\'); |
| break; |
| case '/': |
| string.Append('/'); |
| break; |
| case 'b': |
| string.Append('\b'); |
| break; |
| case 'f': |
| string.Append('\f'); |
| break; |
| case 'n': |
| string.Append('\n'); |
| break; |
| case 'r': |
| string.Append('\r'); |
| break; |
| case 't': |
| string.Append('\t'); |
| break; |
| case 'v': // Not listed as valid escape sequence in the RFC. |
| string.Append('\v'); |
| break; |
| // All other escape squences are illegal. |
| default: |
| ReportError(JSONReader::JSON_INVALID_ESCAPE, 0); |
| return false; |
| } |
| } |
| } |
| |
| ReportError(JSONReader::JSON_SYNTAX_ERROR, 0); |
| return false; |
| } |
| |
| // Entry is at the first X in \uXXXX. |
| bool JSONParser::DecodeUTF16(uint32_t* out_code_point) { |
| Optional<StringPiece> escape_sequence = ConsumeChars(4); |
| if (!escape_sequence) |
| return false; |
| |
| // Consume the UTF-16 code unit, which may be a high surrogate. |
| int code_unit16_high = 0; |
| if (!HexStringToInt(*escape_sequence, &code_unit16_high)) |
| return false; |
| |
| // If this is a high surrogate, consume the next code unit to get the |
| // low surrogate. |
| if (CBU16_IS_SURROGATE(code_unit16_high)) { |
| // Make sure this is the high surrogate. If not, it's an encoding |
| // error. |
| if (!CBU16_IS_SURROGATE_LEAD(code_unit16_high)) |
| return false; |
| |
| // Make sure that the token has more characters to consume the |
| // lower surrogate. |
| if (!ConsumeIfMatch("\\u")) |
| return false; |
| |
| escape_sequence = ConsumeChars(4); |
| if (!escape_sequence) |
| return false; |
| |
| int code_unit16_low = 0; |
| if (!HexStringToInt(*escape_sequence, &code_unit16_low)) |
| return false; |
| |
| if (!CBU16_IS_TRAIL(code_unit16_low)) |
| return false; |
| |
| uint32_t code_point = |
| CBU16_GET_SUPPLEMENTARY(code_unit16_high, code_unit16_low); |
| if (!IsValidCharacter(code_point)) |
| return false; |
| |
| *out_code_point = code_point; |
| } else { |
| // Not a surrogate. |
| DCHECK(CBU16_IS_SINGLE(code_unit16_high)); |
| if (!IsValidCharacter(code_unit16_high)) { |
| if ((options_ & JSON_REPLACE_INVALID_CHARACTERS) == 0) { |
| return false; |
| } |
| *out_code_point = kUnicodeReplacementPoint; |
| return true; |
| } |
| |
| *out_code_point = code_unit16_high; |
| } |
| |
| return true; |
| } |
| |
| Optional<Value> JSONParser::ConsumeNumber() { |
| const char* num_start = pos(); |
| const int start_index = index_; |
| int end_index = start_index; |
| |
| if (PeekChar() == '-') |
| ConsumeChar(); |
| |
| if (!ReadInt(false)) { |
| ReportError(JSONReader::JSON_SYNTAX_ERROR, 1); |
| return nullopt; |
| } |
| end_index = index_; |
| |
| // The optional fraction part. |
| if (PeekChar() == '.') { |
| ConsumeChar(); |
| if (!ReadInt(true)) { |
| ReportError(JSONReader::JSON_SYNTAX_ERROR, 1); |
| return nullopt; |
| } |
| end_index = index_; |
| } |
| |
| // Optional exponent part. |
| Optional<char> c = PeekChar(); |
| if (c == 'e' || c == 'E') { |
| ConsumeChar(); |
| if (PeekChar() == '-' || PeekChar() == '+') { |
| ConsumeChar(); |
| } |
| if (!ReadInt(true)) { |
| ReportError(JSONReader::JSON_SYNTAX_ERROR, 1); |
| return nullopt; |
| } |
| end_index = index_; |
| } |
| |
| // ReadInt is greedy because numbers have no easily detectable sentinel, |
| // so save off where the parser should be on exit (see Consume invariant at |
| // the top of the header), then make sure the next token is one which is |
| // valid. |
| int exit_index = index_; |
| |
| switch (GetNextToken()) { |
| case T_OBJECT_END: |
| case T_ARRAY_END: |
| case T_LIST_SEPARATOR: |
| case T_END_OF_INPUT: |
| break; |
| default: |
| ReportError(JSONReader::JSON_SYNTAX_ERROR, 1); |
| return nullopt; |
| } |
| |
| index_ = exit_index; |
| |
| StringPiece num_string(num_start, end_index - start_index); |
| |
| int num_int; |
| if (StringToInt(num_string, &num_int)) |
| return Value(num_int); |
| |
| double num_double; |
| if (StringToDouble(num_string.as_string(), &num_double) && |
| std::isfinite(num_double)) { |
| return Value(num_double); |
| } |
| |
| return nullopt; |
| } |
| |
| bool JSONParser::ReadInt(bool allow_leading_zeros) { |
| size_t len = 0; |
| char first = 0; |
| |
| while (Optional<char> c = PeekChar()) { |
| if (!IsAsciiDigit(c)) |
| break; |
| |
| if (len == 0) |
| first = *c; |
| |
| ++len; |
| ConsumeChar(); |
| } |
| |
| if (len == 0) |
| return false; |
| |
| if (!allow_leading_zeros && len > 1 && first == '0') |
| return false; |
| |
| return true; |
| } |
| |
| Optional<Value> JSONParser::ConsumeLiteral() { |
| if (ConsumeIfMatch("true")) |
| return Value(true); |
| if (ConsumeIfMatch("false")) |
| return Value(false); |
| if (ConsumeIfMatch("null")) |
| return Value(Value::Type::NONE); |
| ReportError(JSONReader::JSON_SYNTAX_ERROR, 1); |
| return nullopt; |
| } |
| |
| bool JSONParser::ConsumeIfMatch(StringPiece match) { |
| if (match == PeekChars(match.size())) { |
| ConsumeChars(match.size()); |
| return true; |
| } |
| return false; |
| } |
| |
| void JSONParser::ReportError(JSONReader::JsonParseError code, |
| int column_adjust) { |
| error_code_ = code; |
| error_line_ = line_number_; |
| error_column_ = index_ - index_last_line_ + column_adjust; |
| } |
| |
| // static |
| std::string JSONParser::FormatErrorMessage(int line, int column, |
| const std::string& description) { |
| if (line || column) { |
| return StringPrintf("Line: %i, column: %i, %s", |
| line, column, description.c_str()); |
| } |
| return description; |
| } |
| |
| } // namespace internal |
| } // namespace base |