blob: 7fd0ff87562ed282a45586af90203116721ac11b [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"
Anthony Liguorid7ff3ac2009-11-11 10:38:59 -060015#include "qemu-common.h"
Paolo Bonzini7b1b5d12012-12-17 18:19:43 +010016#include "qapi/qmp/json-lexer.h"
Markus Armbruster62815d82018-08-23 18:40:01 +020017#include "qapi/qmp/json-parser.h"
Paolo Bonzini7b1b5d12012-12-17 18:19:43 +010018#include "qapi/qmp/json-streamer.h"
Anthony Liguorid7ff3ac2009-11-11 10:38:59 -060019
Anthony Liguori29c75dd2011-06-01 12:14:53 -050020#define MAX_TOKEN_SIZE (64ULL << 20)
Markus Armbrusterdf649832015-11-25 22:23:33 +010021#define MAX_TOKEN_COUNT (2ULL << 20)
Anthony Liguori29c75dd2011-06-01 12:14:53 -050022#define MAX_NESTING (1ULL << 10)
23
Eric Blakeba4dba52016-05-18 15:46:52 -060024static void json_message_free_token(void *token, void *opaque)
25{
26 g_free(token);
27}
28
Paolo Bonzini95385fe2015-11-25 22:23:31 +010029static void json_message_free_tokens(JSONMessageParser *parser)
30{
31 if (parser->tokens) {
Eric Blakeba4dba52016-05-18 15:46:52 -060032 g_queue_foreach(parser->tokens, json_message_free_token, NULL);
Paolo Bonzini95385fe2015-11-25 22:23:31 +010033 g_queue_free(parser->tokens);
34 parser->tokens = NULL;
35 }
36}
37
Markus Armbruster037f2442018-08-23 18:40:00 +020038void json_message_process_token(JSONLexer *lexer, GString *input,
39 JSONTokenType type, int x, int y)
Anthony Liguorid7ff3ac2009-11-11 10:38:59 -060040{
41 JSONMessageParser *parser = container_of(lexer, JSONMessageParser, lexer);
Markus Armbruster62815d82018-08-23 18:40:01 +020042 Error *err = NULL;
Paolo Bonzini9bada892015-11-25 22:23:32 +010043 JSONToken *token;
Markus Armbruster62815d82018-08-23 18:40:01 +020044 QObject *json;
Anthony Liguorid7ff3ac2009-11-11 10:38:59 -060045
Markus Armbrusterc5461662015-11-25 22:23:26 +010046 switch (type) {
47 case JSON_LCURLY:
48 parser->brace_count++;
49 break;
50 case JSON_RCURLY:
51 parser->brace_count--;
52 break;
53 case JSON_LSQUARE:
54 parser->bracket_count++;
55 break;
56 case JSON_RSQUARE:
57 parser->bracket_count--;
58 break;
59 default:
60 break;
Anthony Liguorid7ff3ac2009-11-11 10:38:59 -060061 }
62
Paolo Bonzini9bada892015-11-25 22:23:32 +010063 token = g_malloc(sizeof(JSONToken) + input->len + 1);
64 token->type = type;
65 memcpy(token->str, input->str, input->len);
66 token->str[input->len] = 0;
67 token->x = x;
68 token->y = y;
Anthony Liguorid7ff3ac2009-11-11 10:38:59 -060069
Paolo Bonzinid2ca7c02015-11-25 22:23:29 +010070 parser->token_size += input->len;
Anthony Liguori29c75dd2011-06-01 12:14:53 -050071
Paolo Bonzini9bada892015-11-25 22:23:32 +010072 g_queue_push_tail(parser->tokens, token);
Anthony Liguorid7ff3ac2009-11-11 10:38:59 -060073
Michael Roth5e2dafe2011-06-01 12:14:59 -050074 if (type == JSON_ERROR) {
75 goto out_emit_bad;
76 } else if (parser->brace_count < 0 ||
Anthony Liguori55f83012011-06-01 12:14:51 -050077 parser->bracket_count < 0 ||
78 (parser->brace_count == 0 &&
79 parser->bracket_count == 0)) {
Michael Roth5e2dafe2011-06-01 12:14:59 -050080 goto out_emit;
Anthony Liguori29c75dd2011-06-01 12:14:53 -050081 } else if (parser->token_size > MAX_TOKEN_SIZE ||
Markus Armbrusterdf649832015-11-25 22:23:33 +010082 g_queue_get_length(parser->tokens) > MAX_TOKEN_COUNT ||
Markus Armbruster4f2d31f2015-11-25 22:23:22 +010083 parser->bracket_count + parser->brace_count > MAX_NESTING) {
Anthony Liguori29c75dd2011-06-01 12:14:53 -050084 /* Security consideration, we limit total memory allocated per object
85 * and the maximum recursion depth that a message can force.
86 */
Markus Armbruster07531132015-11-25 22:23:23 +010087 goto out_emit_bad;
Anthony Liguorid7ff3ac2009-11-11 10:38:59 -060088 }
Michael Roth5e2dafe2011-06-01 12:14:59 -050089
90 return;
91
92out_emit_bad:
Markus Armbruster07531132015-11-25 22:23:23 +010093 /*
94 * Clear out token list and tell the parser to emit an error
Michael Roth5e2dafe2011-06-01 12:14:59 -050095 * indication by passing it a NULL list
96 */
Paolo Bonzini95385fe2015-11-25 22:23:31 +010097 json_message_free_tokens(parser);
Michael Roth5e2dafe2011-06-01 12:14:59 -050098out_emit:
99 /* send current list of tokens to parser and reset tokenizer */
100 parser->brace_count = 0;
101 parser->bracket_count = 0;
Markus Armbruster62815d82018-08-23 18:40:01 +0200102 json = json_parser_parse(parser->tokens, parser->ap, &err);
Paolo Bonzini95385fe2015-11-25 22:23:31 +0100103 parser->tokens = g_queue_new();
Michael Roth5e2dafe2011-06-01 12:14:59 -0500104 parser->token_size = 0;
Markus Armbruster62815d82018-08-23 18:40:01 +0200105 parser->emit(parser->opaque, json, err);
Anthony Liguorid7ff3ac2009-11-11 10:38:59 -0600106}
107
108void json_message_parser_init(JSONMessageParser *parser,
Markus Armbruster62815d82018-08-23 18:40:01 +0200109 void (*emit)(void *opaque, QObject *json,
110 Error *err),
111 void *opaque, va_list *ap)
Anthony Liguorid7ff3ac2009-11-11 10:38:59 -0600112{
Markus Armbruster62815d82018-08-23 18:40:01 +0200113 parser->emit = emit;
114 parser->opaque = opaque;
115 parser->ap = ap;
Anthony Liguorid7ff3ac2009-11-11 10:38:59 -0600116 parser->brace_count = 0;
117 parser->bracket_count = 0;
Paolo Bonzini95385fe2015-11-25 22:23:31 +0100118 parser->tokens = g_queue_new();
Anthony Liguori29c75dd2011-06-01 12:14:53 -0500119 parser->token_size = 0;
Anthony Liguorid7ff3ac2009-11-11 10:38:59 -0600120
Markus Armbruster037f2442018-08-23 18:40:00 +0200121 json_lexer_init(&parser->lexer);
Anthony Liguorid7ff3ac2009-11-11 10:38:59 -0600122}
123
Marc-André Lureau7c1e1d52018-08-23 18:39:58 +0200124void json_message_parser_feed(JSONMessageParser *parser,
Anthony Liguorid7ff3ac2009-11-11 10:38:59 -0600125 const char *buffer, size_t size)
126{
Marc-André Lureau7c1e1d52018-08-23 18:39:58 +0200127 json_lexer_feed(&parser->lexer, buffer, size);
Anthony Liguorid7ff3ac2009-11-11 10:38:59 -0600128}
129
Marc-André Lureau7c1e1d52018-08-23 18:39:58 +0200130void json_message_parser_flush(JSONMessageParser *parser)
Anthony Liguorid7ff3ac2009-11-11 10:38:59 -0600131{
Marc-André Lureau7c1e1d52018-08-23 18:39:58 +0200132 json_lexer_flush(&parser->lexer);
Anthony Liguorid7ff3ac2009-11-11 10:38:59 -0600133}
134
135void json_message_parser_destroy(JSONMessageParser *parser)
136{
137 json_lexer_destroy(&parser->lexer);
Paolo Bonzini95385fe2015-11-25 22:23:31 +0100138 json_message_free_tokens(parser);
Anthony Liguorid7ff3ac2009-11-11 10:38:59 -0600139}