blob: b93d97b995f9580e9d029ef5b03b740fe8e07241 [file] [log] [blame]
Anthony Liguorid7ff3ac2009-11-11 10:38:59 -06001/*
2 * JSON streaming support
3 *
4 * Copyright IBM, Corp. 2009
5 *
6 * Authors:
7 * Anthony Liguori <aliguori@us.ibm.com>
8 *
9 * This work is licensed under the terms of the GNU LGPL, version 2.1 or later.
10 * See the COPYING.LIB file in the top-level directory.
11 *
12 */
13
Peter Maydellf2ad72b2016-01-29 17:50:01 +000014#include "qemu/osdep.h"
Markus Armbruster84a56f32018-08-23 18:40:06 +020015#include "qapi/error.h"
Markus Armbruster86cdf9e2018-08-23 18:40:20 +020016#include "json-parser-int.h"
Anthony Liguorid7ff3ac2009-11-11 10:38:59 -060017
Anthony Liguori29c75dd2011-06-01 12:14:53 -050018#define MAX_TOKEN_SIZE (64ULL << 20)
Markus Armbrusterdf649832015-11-25 22:23:33 +010019#define MAX_TOKEN_COUNT (2ULL << 20)
Markus Armbrusterda09cfb2018-08-23 18:40:15 +020020#define MAX_NESTING (1 << 10)
Anthony Liguori29c75dd2011-06-01 12:14:53 -050021
Paolo Bonzini95385fe2015-11-25 22:23:31 +010022static void json_message_free_tokens(JSONMessageParser *parser)
23{
Markus Armbrustera2731e02018-08-23 18:40:17 +020024 JSONToken *token;
25
26 while ((token = g_queue_pop_head(&parser->tokens))) {
27 g_free(token);
Paolo Bonzini95385fe2015-11-25 22:23:31 +010028 }
29}
30
Markus Armbruster037f2442018-08-23 18:40:00 +020031void json_message_process_token(JSONLexer *lexer, GString *input,
32 JSONTokenType type, int x, int y)
Anthony Liguorid7ff3ac2009-11-11 10:38:59 -060033{
34 JSONMessageParser *parser = container_of(lexer, JSONMessageParser, lexer);
Markus Armbrusterff281a22018-08-23 18:40:02 +020035 QObject *json = NULL;
Markus Armbruster62815d82018-08-23 18:40:01 +020036 Error *err = NULL;
Paolo Bonzini9bada892015-11-25 22:23:32 +010037 JSONToken *token;
Anthony Liguorid7ff3ac2009-11-11 10:38:59 -060038
Markus Armbrusterc5461662015-11-25 22:23:26 +010039 switch (type) {
40 case JSON_LCURLY:
41 parser->brace_count++;
42 break;
43 case JSON_RCURLY:
44 parser->brace_count--;
45 break;
46 case JSON_LSQUARE:
47 parser->bracket_count++;
48 break;
49 case JSON_RSQUARE:
50 parser->bracket_count--;
51 break;
Markus Armbruster269e57a2018-08-23 18:40:03 +020052 case JSON_ERROR:
Markus Armbruster84a56f32018-08-23 18:40:06 +020053 error_setg(&err, "JSON parse error, stray '%s'", input->str);
Markus Armbruster269e57a2018-08-23 18:40:03 +020054 goto out_emit;
Markus Armbrusterf9277912018-08-23 18:40:12 +020055 case JSON_END_OF_INPUT:
Markus Armbrustera2731e02018-08-23 18:40:17 +020056 if (g_queue_is_empty(&parser->tokens)) {
Markus Armbrusterf9277912018-08-23 18:40:12 +020057 return;
58 }
Markus Armbrustera2731e02018-08-23 18:40:17 +020059 json = json_parser_parse(&parser->tokens, parser->ap, &err);
Markus Armbrusterf9277912018-08-23 18:40:12 +020060 goto out_emit;
Markus Armbrusterc5461662015-11-25 22:23:26 +010061 default:
62 break;
Anthony Liguorid7ff3ac2009-11-11 10:38:59 -060063 }
64
Markus Armbrusterda09cfb2018-08-23 18:40:15 +020065 /*
66 * Security consideration, we limit total memory allocated per object
67 * and the maximum recursion depth that a message can force.
68 */
69 if (parser->token_size + input->len + 1 > MAX_TOKEN_SIZE) {
70 error_setg(&err, "JSON token size limit exceeded");
71 goto out_emit;
72 }
Markus Armbrustera2731e02018-08-23 18:40:17 +020073 if (g_queue_get_length(&parser->tokens) + 1 > MAX_TOKEN_COUNT) {
Markus Armbrusterda09cfb2018-08-23 18:40:15 +020074 error_setg(&err, "JSON token count limit exceeded");
75 goto out_emit;
76 }
77 if (parser->bracket_count + parser->brace_count > MAX_NESTING) {
78 error_setg(&err, "JSON nesting depth limit exceeded");
79 goto out_emit;
80 }
81
Markus Armbrusterabe7c202018-08-23 18:40:18 +020082 token = json_token(type, x, y, input);
Paolo Bonzinid2ca7c02015-11-25 22:23:29 +010083 parser->token_size += input->len;
Anthony Liguori29c75dd2011-06-01 12:14:53 -050084
Markus Armbrustera2731e02018-08-23 18:40:17 +020085 g_queue_push_tail(&parser->tokens, token);
Anthony Liguorid7ff3ac2009-11-11 10:38:59 -060086
Markus Armbruster8d3265b2018-08-23 18:40:16 +020087 if ((parser->brace_count > 0 || parser->bracket_count > 0)
Simran Singhal1394dc02020-04-02 23:58:48 +053088 && parser->brace_count >= 0 && parser->bracket_count >= 0) {
Markus Armbruster8d3265b2018-08-23 18:40:16 +020089 return;
Markus Armbrusterff281a22018-08-23 18:40:02 +020090 }
91
Markus Armbrustera2731e02018-08-23 18:40:17 +020092 json = json_parser_parse(&parser->tokens, parser->ap, &err);
Michael Roth5e2dafe2011-06-01 12:14:59 -050093
Michael Roth5e2dafe2011-06-01 12:14:59 -050094out_emit:
Michael Roth5e2dafe2011-06-01 12:14:59 -050095 parser->brace_count = 0;
96 parser->bracket_count = 0;
Markus Armbrusterff281a22018-08-23 18:40:02 +020097 json_message_free_tokens(parser);
Michael Roth5e2dafe2011-06-01 12:14:59 -050098 parser->token_size = 0;
Markus Armbruster62815d82018-08-23 18:40:01 +020099 parser->emit(parser->opaque, json, err);
Anthony Liguorid7ff3ac2009-11-11 10:38:59 -0600100}
101
102void json_message_parser_init(JSONMessageParser *parser,
Markus Armbruster62815d82018-08-23 18:40:01 +0200103 void (*emit)(void *opaque, QObject *json,
104 Error *err),
105 void *opaque, va_list *ap)
Anthony Liguorid7ff3ac2009-11-11 10:38:59 -0600106{
Markus Armbruster62815d82018-08-23 18:40:01 +0200107 parser->emit = emit;
108 parser->opaque = opaque;
109 parser->ap = ap;
Anthony Liguorid7ff3ac2009-11-11 10:38:59 -0600110 parser->brace_count = 0;
111 parser->bracket_count = 0;
Markus Armbrustera2731e02018-08-23 18:40:17 +0200112 g_queue_init(&parser->tokens);
Anthony Liguori29c75dd2011-06-01 12:14:53 -0500113 parser->token_size = 0;
Anthony Liguorid7ff3ac2009-11-11 10:38:59 -0600114
Markus Armbruster2cbd15a2018-08-23 18:40:05 +0200115 json_lexer_init(&parser->lexer, !!ap);
Anthony Liguorid7ff3ac2009-11-11 10:38:59 -0600116}
117
Marc-André Lureau7c1e1d52018-08-23 18:39:58 +0200118void json_message_parser_feed(JSONMessageParser *parser,
Anthony Liguorid7ff3ac2009-11-11 10:38:59 -0600119 const char *buffer, size_t size)
120{
Marc-André Lureau7c1e1d52018-08-23 18:39:58 +0200121 json_lexer_feed(&parser->lexer, buffer, size);
Anthony Liguorid7ff3ac2009-11-11 10:38:59 -0600122}
123
Marc-André Lureau7c1e1d52018-08-23 18:39:58 +0200124void json_message_parser_flush(JSONMessageParser *parser)
Anthony Liguorid7ff3ac2009-11-11 10:38:59 -0600125{
Marc-André Lureau7c1e1d52018-08-23 18:39:58 +0200126 json_lexer_flush(&parser->lexer);
Markus Armbrustera2731e02018-08-23 18:40:17 +0200127 assert(g_queue_is_empty(&parser->tokens));
Anthony Liguorid7ff3ac2009-11-11 10:38:59 -0600128}
129
130void json_message_parser_destroy(JSONMessageParser *parser)
131{
132 json_lexer_destroy(&parser->lexer);
Paolo Bonzini95385fe2015-11-25 22:23:31 +0100133 json_message_free_tokens(parser);
Anthony Liguorid7ff3ac2009-11-11 10:38:59 -0600134}